SAFECOMP 2024 - 43rd International Conference on Computer Safety, Reliability and Security (SafeComp)

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