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.