The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety-critical computer systems.

Major topics include, but are not limited to:

• Fault-tolerant and resilient hardware and sofware architectures
• Error detection and error recovery mechanisms
• Distributed and real-time monitoring and control
• Security and privacy protection mechanisms
• Safety/security risk assessment
• Model-based design and analysis
• Risk reduction and mitigation techniques
• Formal methods, verification and validation
• In-the-loop and model-based testing
• Methods for qualification, assurance and certification
• Dependability analysis using simulation and experimental measurement
• Human and social aspects in dependability analysis
• Cyber-physical threats and vulnerability analysis
• Safety guidelines, standards and certification
• Safety and security interactions and tradeoffs
• Safety and security cases

Domains of application include (but are not limited to):

• Railways, automotive, aerospace and avionics
• Telecommunication and networks
• Critical infrastructures, smart grids, SCADA
• Medical devices and healthcare
• Defence, emergency & rescue
• Logistics, production automation and robotics, off-shore technology
• Education & training