posted by user: mplaneta || 1025 views || tracked by 1 users: [display]

SAFECOMP 2023 : 42nd International Conference on Computer Safety, Reliability and Security

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Computer Safety, Reliability, and Security
 
Link: https://safecomp2023.cnrs.fr
 
When Sep 19, 2023 - Sep 22, 2023
Where Toulouse, France
Submission Deadline Feb 13, 2023
Notification Due Apr 22, 2023
Final Version Due Jun 1, 2023
 

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:

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

Related Resources

SRSE 2025   IEEE--2025 The 7th International Conference on System Reliability and Safety Engineering (SRSE 2025)
SAFECOMP 2025   The 44th International Conference on Computer Safety, Reliability and Security
SEAS 2025   14th International Conference on Software Engineering and Applications
CCS 2025   ACM Conference on Computer and Communications Security 2024 (round 2)
ISSSR 2025   The 11th IEEE International Symposium on System Security, Safety, and Reliability
ESORICS 2025   European Symposium on Research in Computer Security (round 2)
SafeComp 2024   43rd International Conference on Computer Safety, Reliability and Security
IEEE SRSE 2025   IEEE--2025 The 7th International Conference on System Reliability and Safety Engineering (SRSE 2025)
IEEE ICSRS 2024   IEEE--2024 The 8th International Conference on System Reliability and Safety (ICSRS 2024)
QRS 2025   The 25th International Conference on Software Quality, Reliability, and Security