The SafeComp Conference Series offers a platform for knowledge and technology transfer between academia, industry, research institutions and standardization bodies in the areas of safety, reliability and security regarding critical computer applications. It provides ample opportunity to exchange insights and experience on emerging methods and practical applications across the borders of different disciplines.

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:

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

Domains of application are (but not limited to):

Railways, automotive, space, avionics & process industries
Highly automated and autonomous systems
Telecommunication and networks
Safety-related applications of smart systems and IoT
Critical infrastructures, smart grids, SCADA
Medical devices and healthcare
Surveillance, defense, emergency & rescue
Logistics, industrial automation, off-shore technology
Education & training