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 software architectures
    Fault detection and recovery mechanisms
    Distributed and real-time monitoring and control
    Security and privacy protection mechanisms for safety applications
    Safety/security risk assessment
    Model-based analysis, design, and assessment
    Formal methods for verification, validation, and fault tolerance
    Probabilistic verification and validation
    In-the-loop and model-based testing
    Validation and verification methodologies and tools
    Methods for qualification, assurance and certification
    Compositional verification and certification
    Architecture-driven assurance of safety and security
    Dependability analysis using simulation and experimental measurement
    Cyber-physical threats and vulnerability analysis
    Safety guidelines, standards and certification
    Safety and security interactions and tradeoffs
    Safety and security cases
    Multi-concern dependability assurance and standardization

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

    Railways, automotive, space, avionics, nuclear and process industries
    Autonomous systems, advanced robotics, construction engines and off-road vehicles
    Telecommunication and networks
    Safety-related application of technology trends (e.g. AI, Edge and cloud computing, Digital twin, 5G and 6G, Big data analytics, IoT and IIoT)
    Critical infrastructures, smart grids, SCADA
    Medical devices and healthcare
    Defense, emergency & rescue
    Logistics, industrial automation, off-shore technology