Topics

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
eduction & training