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