Computer Safety, Reliability, and Security

co-located with SAFECOMP 2017, the 36th International Conference on

Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.

The 38 revised full papers presented together with 5 introductory papers to each workshop,

and three invited papers, were carefully reviewed and selected from 49 submissions.

This year's workshops are: ASSURE 2017 – Assurance Cases for Software-Intensive Systems;

DECSoS 2017 – ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical

Systems and Systems-of-Systems; SASSUR 2017 – Next Generation of System Assurance

 Approaches for Safety-Critical Systems; TIPS 2017 – Timing Performance in Safety Engineering;

TELERISE 2017 Technical and legal Aspects of Data Privacy and Security.

• fault-tolerant hardware and software architectures
• fault detection and recovery
• mechanisms
• distributed and real-time monitoring and control
• security and privacy protection mechanisms
• safety/security risk assessment
• model-based analysis
• design and assessment
• formal methods
• 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
• cyber-physical threats and vulnerability analysis
• safety and security cases
• multi-concern dependability assurance and standardization

• Fondazione Bruno Kessler, Trento, Italy

  Stefano Tonetta

• Austrian Institute of Technology GmbH, Vienna, Austria

  Erwin Schoitsch

• Thales Transportation Systems GmbH, Ditzingen, Germany

  Friedemann Bitsch

Policies and ethics