A Safety Roadmap to Cyber-Physical Systems

In recent years, the term cyber-physical systems has emerged to characterize a new generation of embedded systems. In cyber-physical systems, embedded systems will be open in the sense that they will dynamically interconnect with other systems and will be able to dynamically adapt to changing runtime contexts. Such open adaptive systems provide a huge potential for society and for the economy. On the other hand, however, openness and adaptivity make it hard or even impossible for developers to predict a system’s dynamic structure and behavior. This impedes the assurance of important system quality properties, especially safety and reliability. Safety assurance of cyber-physical systems will therefore be both one of the most urgent and one of the most challenging research questions of the next decade. This chapter analyzes the state of the art in order to identify open gaps and suggests a runtime safety assurance framework for cyber-physical systems to structure ongoing and future research activities.

[1]  Gordon S. Blair,et al.  An architecture for next generation middleware , 2009 .

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

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

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

[5]  H. S. Osborne,et al.  The international electrotechnical commission , 1953, Electrical Engineering.

[6]  Thomas Kuhn,et al.  Integration of Component Fault Trees into the UML , 2010, MoDELS.

[7]  Gordon S. Blair,et al.  Exploiting reflection in mobile computing middleware , 2002, MOCO.

[8]  Tim Kelly,et al.  The Who, Where, How, Why And When of Modular and Incremental Certification , 2007 .

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

[10]  Tim Kelly,et al.  INVESTIGATING THE USE OF ARGUMENT MODULARITY TO OPTIMISE THROUGH-LIFE SYSTEM SAFETY ASSURANCE , 2008 .

[11]  John A. McDermid,et al.  Hierarchically Performed Hazard Origin and Propagation Studies , 1999, SAFECOMP.

[12]  Mary Shaw,et al.  Software Engineering for Self-Adaptive Systems: A Research Roadmap , 2009, Software Engineering for Self-Adaptive Systems.

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

[14]  Jochen Ludewig,et al.  Models in software engineering – an introduction , 2003, Software and Systems Modeling.

[15]  Dominik Domis,et al.  Safety Concept Trees , 2009, 2009 Annual Reliability and Maintainability Symposium.

[16]  Daniel Schneider,et al.  Conditional Safety Certification of Open Adaptive Systems , 2013, TAAS.

[17]  Mario Trapp,et al.  Vertical Safety Interfaces - Improving the Efficiency of Modular Certification , 2011, SAFECOMP.

[18]  Heather Goldsby,et al.  AMOEBA-RT: Run-Time Verification of Adaptive Software , 2008, MoDELS.

[19]  Mario Trapp,et al.  Component-Based Abstraction in Fault Tree Analysis , 2009, SAFECOMP.

[20]  Peter Liggesmeyer,et al.  A New Component Concept for Fault Trees , 2003, SCS.

[21]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

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

[23]  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.

[24]  Martin Törngren,et al.  Integrating safety analysis into the model-based development toolchain of automotive embedded systems , 2010, LCTES '10.

[25]  Mario Trapp,et al.  Integrating Safety Analyses and Component-Based Design , 2008, SAFECOMP.

[26]  Gordon S. Blair,et al.  Models@ run.time , 2009, Computer.

[27]  Ji Zhang,et al.  Specifying adaptation semantics , 2005, ACM SIGSOFT Softw. Eng. Notes.

[28]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[29]  Martin Leucker.  Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers , 2008, RV.