Safety and Security Co-engineering and Argumentation Framework

Automotive systems become increasingly complex due to their functional range and data exchange with the outside world. Until now, functional safety of such safety-critical electrical/electronic systems has been covered successfully. However, the data exchange requires interconnection across trusted boundaries of the vehicle. This leads to security issues like hacking and malicious attacks against interfaces, which could bring up new types of safety issues. Before mass-production of automotive systems, arguments supported by evidences are required regarding safety and security. Product engineering must be compliant to specific standards and must support arguments that the system is free of unreasonable risks.

[1]  Chen Yan Can You Trust Autonomous Vehicles : Contactless Attacks against Sensors of Self-driving Vehicle , 2016 .

[2]  Christopher Preschern,et al.  Security analysis of safety patterns , 2013 .

[3]  Rance Cleaveland,et al.  Security Assurance Cases for Medical Cyber–Physical Systems , 2015, IEEE Design & Test.

[4]  Benjamin Glas,et al.  Automotive Safety and Security Integration Challenges , 2014, Automotive - Safety & Security.

[5]  Asim Abdulkhaleq,et al.  XSTAMPP: An eXtensible STAMP platform as tool support for safety engineering , 2015 .

[6]  Nancy G. Leveson,et al.  A new accident model for engineering safer systems , 2004 .

[7]  Christoph Schmittner,et al.  Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis , 2016, SAFECOMP Workshops.

[8]  Kenji Taguchi,et al.  Safe & Sec Case Patterns , 2014, SAFECOMP Workshops.

[9]  Christoph Schmittner,et al.  Security Application of Failure Mode and Effect Analysis (FMEA) , 2014, SAFECOMP.

[10]  Eric Armengaud,et al.  SAHARA: A security-aware hazard and risk analysis method , 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[11]  Huáscar Espinoza,et al.  A Tool Suite for Assurance Cases and Evidences: Avionics Experiences , 2015, EuroSPI.

[12]  Christoph Schmittner,et al.  Integration of Security in the Development Lifecycle of Dependable Automotive CPS , 2021, Research Anthology on Artificial Intelligence Applications in Security.

[13]  Erwin Kristen,et al.  FlexRay Robustness Testing Contributing to Automated Safety Certification , 2015, SAFECOMP Workshops.

[14]  Nancy G. Leveson,et al.  Systems thinking for safety and security , 2013, ACSAC.