SAFECOMP 2013 - 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP2013)

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 sofware
architectures
error-detection and error recovery mechanisms
distributed and real-time monitoring and control
security and privacy protection mechanisms
safety/security risk assessment
model-based design and analysis
risk reduction and mitigation techniques
formal methods, verification and validation
in-the-loop and model-based testing
methods for qualification, assurance and certification
dependability analysis using simulation and experimental measurement
human and social aspects in dependability analysis
cyber-physical threats and vulnerability analysis
safety guidelines, standards and certification
safety and security interactions and tradeoffs
safety and security cases