WOSD 2014
NEW! 2014-09-10 The date of the workshop determined: 4 November, 11:00-18:00
NEW! 2014-09-10 List of accepted contributed papers and invited talks:
Contributed papers
Jelena Frtunikj, Michael Armbruster and Alois Knoll: Run-time Adaptive Error and State Management for Open Automotive Systems
Shuichiro Yamamoto and and Shuji Morisaki: An Evaluation of Assuring Test Case Sufficiency using A D-Case Pattern
Toshinori Takai and Hiroyuki Kido: A supplemental notation of GSN to deal with changes of assurance cases
Dr. V.B. Singh and Meera Sharma: Prediction of the complexity of code changes based on number of open bugs, new feature and feature improvement
Ling Fang and Guoqiang Li: Toward SIL Evaluation for A Resilience Strategy
Invited talks
Hillary Sillitto: The 21st Century challenge - open systems on a closed planet
Mario Tokoro: Open Systems Dependability - Achievements and future strategy: culture, technology, standards and research
We shall also have a discussion session on Open Systems Dependability landscape and future directions.
The programme will soon be uploaded here.
The Fourth Workshop on Open Systems Dependability
The aim of this workshop is to promote discussion on the open systems dependability and stimulate study on the construction and management of ever-changing systems. The workshop is to give the participants an opportunity to exchange scientific and engineering ideas which are new and worth discussion but may have not yet matured enough to be published.
The past three WOSD (Workshop on Open Systems Dependability) contributed to the establishment of the notion of open systems dependability. We try to make further progress by seeking techniques to achieve and evaluate open systems dependability, as well as the concepts underlying them. We take "techniques" in its broadest sense, so not only design techniques such as data base and system monitoring, but also system modelling, human factor techniques and organisational approaches to resilience. In addition, techniques to communicate and construct assurance cases and the role of international standardisation are both in the scope of WOSD.
Examples of underlying concepts are process models for open systems dependability, assurance of open systems dependability, formal assurance case, feedback system of monitored data, the role of standardisation in open systems dependability and the relationship between open systems dependability and resilience.