Computational Intelligence for Safety Assurance of Cooperative Systems of Systems

Cooperative systems of systems (CSoSs) form a new technological frontier for their enormous economic and societal potentials in various domains. This article presents a novel framework for dynamic safety assurance of CSoSs that integrates design time models and runtime techniques to provide continuous assurance during CSoS operation.

[1]  Ewen Denney,et al.  Tool support for assurance case development , 2017, Automated Software Engineering.

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

[3]  Sohag Kabir,et al.  A Runtime Safety Analysis Concept for Open Adaptive Systems , 2019, IMBSA.

[4]  Radu Calinescu,et al.  A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures , 2015, 2015 41st Euromicro Conference on Software Engineering and Advanced Applications.

[5]  Ewen Denney,et al.  Dynamic Safety Cases for Through-Life Safety Assurance , 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

[6]  Patrick Graydon,et al.  An investigation of proposed techniques for quantifying confidence in assurance arguments , 2017 .

[7]  Sebastian Müller,et al.  Safety Assurance for Emergent Collaboration of Open Distributed Systems , 2016, 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

[8]  Devesh Bhatt,et al.  Considerations in Assuring Safety of Increasingly Autonomous Systems [STUB] , 2018 .

[9]  André van Hoorn,et al.  Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models , 2019, SE/SWM.

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

[11]  Jie Chen,et al.  Robust Model-Based Fault Diagnosis for Dynamic Systems , 1998, The International Series on Asian Studies in Computer and Information Science.

[12]  John McDermid,et al.  Towards a Framework for Safety Assurance of Autonomous Systems , 2019, AISafety@IJCAI.

[13]  Myra B. Cohen,et al.  Beyond the rainbow: self-adaptive failure avoidance in configurable systems , 2014, FSE 2014.

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

[15]  Sohag Kabir,et al.  Safety + AI: A Novel Approach to Update Safety Models Using Artificial Intelligence , 2019, IEEE Access.

[16]  Radu Calinescu,et al.  Dynamic QoS Management and Optimization in Service-Based Systems , 2011, IEEE Transactions on Software Engineering.

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

[18]  Rogério de Lemos,et al.  Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances , 2013, Software Engineering for Self-Adaptive Systems.

[19]  Richard Hawkins,et al.  Challenges of Safety Assurance for Industry 4.0 , 2017, 2017 13th European Dependable Computing Conference (EDCC).

[20]  Frank Ortmeier,et al.  Safety and Dependability Analysis of Self-Adaptive Systems , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

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

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

[23]  Mario Trapp,et al.  B-space: dynamic management and assurance of open systems of systems , 2018, Journal of Internet Services and Applications.

[24]  Rick Salay,et al.  An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain , 2018, 2018 IEEE Intelligent Vehicles Symposium (IV).

[25]  Fabian Schuldt,et al.  Defining and Substantiating the Terms Scene, Situation, and Scenario for Automated Driving , 2015, 2015 IEEE 18th International Conference on Intelligent Transportation Systems.

[26]  John Rushby.  Trustworthy Self-Integrating Systems , 2016, ICDCIT.

[27]  Yanlei Diao,et al.  High-performance complex event processing over streams , 2006, SIGMOD Conference.