Abstract

SAFECOMP is an annual event covering new trends, technologies and experiences in the areas of safety, security and reliability of critical computer applications. Since it was established in 1979, SAFECOMP has continuously contributed to the progress of state-of-the-art in dependability of computers in critical systems. The key theme of SAFECOMP2012 will be “Virtually safe – making system safety traceable”. Dependability is an abstract concept and so are most methods for analyzing them. But engineers, reviewers and the public need to understand why a system is safe. Therefore, in 2012 we will focus on methods which make system safety traceable and understandable. Examples range from virtual reality models and scenarios through simulation and model-based analyses to approaches for tracing requirements.

All accepted papers will be published in a special volume of Springer LNCS. In addition, the best contributions will be invited to a special issue of the International Journal on Reliability Engineering and System Safety (RESS) published by Elsevier. Deadline for abstracts is February 5th 2012.

Dependability related topics for SAFECOMP2012 include but are not limited to: * safety/security risk assessment * model-based design and analysis * risk reduction and mitigation techniques * self-healing and resilience * formal methods, verification and validation * in-the-loop and model-based testing * methods for qualification and certification * dependability analysis using simulation and virtual reality * human factors in dependability analysis * cyber-physical threats and vulnerability analysis * safety guidelines, standards and certification * safety and security interactions * traceability & safety cases

Domains of application include but are not limited to: * networking and telecommunication * railway systems, automotive, aerospace and avionics * logistics, production automation and robotics * medical devices and e-health * critical infrastructures and power systems * off-shore technology * education & training

SAFECOMP will also offer various workshops on September 25th related to dependability. We will provide organization (including rooms, catering and payment). If workshops have adequate quality measures (i.e. program committee, acceptance rate, etc.), they might be included in a special Springer LNCS volume for SAFECOMP workshops. If you are interested in organizing a workshop please contact safecomp@ovgu.de for further details. Workshop proposals will be accepted/reject within in two weeks. Workshop proposal arriving before Nov 30th 2012, will be offered the possibility of including the workshops CFP in a joint CFP for workshops.