Call for Papers

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:

➜ Distributed and real-time monitoring and control
➜ Fault-tolerant and resilient hardware and software architectures
➜ Fault detection and recovery mechanisms
➜ Security and privacy protection mechanisms for safety applications
➜ Safety guidelines and standards
➜ Safety/security co-engineering and tradeoffs
➜ Safety and security qualification, quantification, assurance and certification
➜ Threats and vulnerability analysis
➜ Risk assessment in safe and secure systems
➜ Dependability analysis using simulation and experimental measurement
➜ Model-based analysis, design, and assessment
➜ Formal methods for verification, validation, and fault tolerance
➜ Testing, verification, and validation methodologies and tools
➜ Multi-concern dependability assurance and standardization

Different domains of application are relevant including

➜ Railways, automotive, space, avionics & process industries
➜ Highly automated and autonomous systems
➜ Telecommunication and networks
➜ Safety-related applications of smart systems and IoT