B-space: dynamic management and assurance of open systems of systems

Connected cars, freely configurable operating rooms, or autonomous harvesting fleets: dynamically emerging open systems of systems will shape a new generation of systems opening up a vast potential for new kinds of applications. In light of the hard-to-predict structure and behavior of such systems, assuring their safety will require some disruptive changes of established safety paradigms. Combining current research results from different disciplines with industrial experience, this paper dares to think out of the box and look beyond the limits of traditional safety assurance. It structures upcoming challenges posed by the emergence of open systems of systems, tries to shift existing paradigms to meet those new challenges, and proposes an abstract conceptual framework building on comprehensive interlinked multi-concern runtime models for dynamically assuring the safety as well as other properties of open systems of systems. As there currently is no comprehensive realization of the framework, we discuss what kind of approaches could fit into which parts of the framework and exemplify this for the case of conditional safety certificates.

[1]  Klara Nahrstedt,et al.  A control-based middleware framework for quality-of-service adaptations , 1999, IEEE J. Sel. Areas Commun..

[2]  Frank Eliassen,et al.  Using architecture models for runtime adaptability , 2006, IEEE Software.

[3]  Mario Trapp,et al.  Safety Assurance of Open Adaptive Systems - A Survey , 2011, Models@run.time@Dagstuhl.

[4]  Radu Grosu,et al.  Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study , 2018 .

[5]  Danny Weyns,et al.  Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases , 2017, IEEE Transactions on Software Engineering.

[6]  Thomas Vogel,et al.  Mechanisms for Leveraging Models at Runtime in Self-adaptive Software , 2014, Models@run.time@Dagstuhl.

[7]  Eric Armengaud,et al.  DEIS: Dependability Engineering Innovation for Industrial CPS , 2018 .

[8]  Holger Giese,et al.  Living with Uncertainty in the Age of Runtime Models , 2014, Models@run.time@Dagstuhl.

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

[10]  Nelly Bencomo,et al.  Models@run.time , 2014, Lecture Notes in Computer Science.

[11]  Danny Weyns,et al.  ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases , 2018, ICSE.

[12]  Nelly Bencomo,et al.  A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty , 2009, MoDELS.

[13]  Chen-Khong Tham,et al.  Integrated quality of service and network management , 2000, Proceedings IEEE International Conference on Networks 2000 (ICON 2000). Networking Trends and Challenges in the New Millennium.

[14]  Eric Armengaud,et al.  WAP: Digital dependability identities , 2015, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE).

[15]  Ezio Bartocci,et al.  Runtime Verification with State Estimation , 2011, RV.

[16]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[17]  Jean-Claude Laprie,et al.  From Dependability to Resilience , 2008, DSN 2008.

[18]  Martin Gogolla,et al.  Using Models at Runtime to Address Assurance for Self-Adaptive Systems , 2015, Models@run.time@Dagstuhl.

[19]  Gabor Karsai,et al.  Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems , 2013, Software Engineering for Self-Adaptive Systems.

[20]  Eric Armengaud,et al.  Towards Dependability Engineering of Cooperative Automotive Cyber-Physical Systems , 2017, EuroSPI.

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

[22]  Bradley R. Schmerl,et al.  Software Engineering for Self-Adaptive Systems: A Second Research Roadmap , 2010, Software Engineering for Self-Adaptive Systems.

[23]  Alejandra Ruiz,et al.  Multidirectional Modular Conditional Safety Certificates , 2014, SAFECOMP Workshops.