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:<br>fault tolerant and resilient hardware and sofware<br>architectures<br>error–detection and error recovery mechanisms<br>distributed and real–time monitoring and control<br>security and privacy protection mechanisms<br>safety/security risk assessment<br>model–based design and analysis<br>risk reduction and mitigation techniques<br>formal methods, verification and validation<br>in–the–loop and model–based testing<br>methods for qualification, assurance and certification<br>dependability analysis using simulation and experimental measurement<br>human and social aspects in dependability analysis<br>cyber–physical threats and vulnerability analysis<br>safety guidelines, standards and certification<br>safety and security interactions and tradeoffs<br>safety and security cases<br>
Abbrevation
Safecomp
City
Toulouse
Country
France
Deadline Paper
Start Date
End Date
Abstract