Computer Safety, Reliability, and Security

An ITS represents a Cyber-Physical System (CPS), which will involve information exchange at operational level as well as potential explicit collaboration between separate entities (systems of systems). Specific emphasis is required to manage the complexity and safety of such future CPS. In this paper we focus on model-based approaches for these purposes for analyzing and managing safety throughout the lifecycle of ITS. We argue that: (1) run-time risk assessment will be necessary for efficient ITS; (2) an information centric approach will be instrumental for future ITS to support all aspects of safety management – a “safety loop”; (3) a formal basis is required to deal with the large amounts of information present in an ITS. We elaborate these arguments and discuss what is required to support their realization.

[1]  G.E. Moore,et al.  Cramming More Components Onto Integrated Circuits , 1998, Proceedings of the IEEE.

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

[3]  Richard Hawkins,et al.  Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study , 2007, SSS.

[4]  Henrik Eriksson,et al.  The DECOS Concept of Generic Safety Cases - A Step towards Modular Certification , 2009, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications.

[5]  John M. Rushby,et al.  Runtime Certification , 2008, RV.

[6]  John M. Rushby,et al.  Just-in-Time Certification , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[7]  Mario Trapp,et al.  A Safety Engineering Framework for Open Adaptive Systems , 2011, 2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems.

[8]  Mario Trapp,et al.  Conditional safety certificates in open systems , 2010, EDCC-CARS.

[9]  Peter Liggesmeyer,et al.  Combination of Safety and Security Analysis - Finding Security Problems That Threaten The Safety of a System , 2013, DECS@SAFECOMP.

[10]  Peter Liggesmeyer,et al.  Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees , 2013, DECS@SAFECOMP.

[11]  Jonathan M. Ford,et al.  Modular Certification , 2002 .

[12]  Tim Kelly,et al.  Using software architecture techniques to support the modular certification of safety-critical systems , 2007 .

[13]  Iain Bate,et al.  Architectural considerations in the certification of modular systems , 2002, Reliab. Eng. Syst. Saf..