SAFECOMP 2012 - The 31st International Conference on Computer Safety, Reliability and Security

Today, we are surrounded by socio-technical, embedded systems which have huge influence on our daily life starting from energy distribution, through transportation systems to communication and logistics.

Continous integration and automation leads to always rising complexity and criticality. Although the importance of system safety is widely recognized, an increasing number of severe accidents shows that new and better methods for designing and assessing are needed. Some reasons are inadequate understanding of the system, relying on previous experience and ignoring interdependencies between safety and security. The leading theme of the 31st SAFECOMP conference will be

Virtually safe ?/! -- From virtually safe systems to traceable system safety

Therefore we specifically adress research, which aims at making depenability assessments both more precise and better to understand. Some examples might be model based approaches, understandable presentation of analysis results and/or methods for ensuring quality of the used safety arguments. A special focus will be given to multi-disciplinary approaches adressing several dependability issues and their interdependencies at the same time.

Scope of the Conference

Relevant topics 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
Simulation and Virtual Reality Analysis&Design
physical, cyber and cyber-physical threats, vulnerability analysis
Guidelines and Certification
Safety and Security Interactions
Domains of application include

Networked (distributed) Embedded and Control Systems
Networking & Telecommunication
Railway Systems
Automotive
Aerospace and Avionics
Automation and Robotics
Medical Devices and E-Health
Critical Infrastructures and Power Systems
The tradition of SAFECOMP is to act as platform for bringing academic research and industrial needs together. Therefore, industrial contributions and real-world experience reports are explictly invited.