Abstract
This paper considers the rigorous design of Systems of Systems (SoS), i.e. systems composed of a set of heterogeneous components whose number evolves with time. Such components cooperate to accomplish functions that they could not achieve in isolation. Examples of SoS include smart cities or airport management system. The dynamical evolution of SoS behavior and architecture makes it impossible to design an appropriate solution beforehand. Consequently, existing approaches build on an iterative process that takes SoS evolution into account. A key challenge in this process is the ability to reason about and analyze a given view of the SoS (on a fixed number of SoS constituents) with respect to a set of goals, and use the results to eventually predict the evolution of the SoS. To address this challenge, we rely on a scalable formal verification technique known as Statistical Model Checking (SMC). SMC quantifies how close the current view is from achieving a given mission. We integrate SMC with existing industrial practice, by addressing both methodological and technological issues. Our contribution is: (1) a methodology for validation of SoS formal requirements; (2) a formal specification language able to express complex SoS requirements; (3) the adoption of current industry standards for simulation and heterogeneous systems integration ; (4) a robust SMC tool-chain integrated with system design tools used in practice.We illustrate the application of our SMC tool-chain and the obtained results on a case study.
Highlights
Context and challenges A System of Systems (SoS) is a large-scale, geographically distributed set of#Research supported by the European Community’s Seventh Framework Programme [FP7] under grant agreement no 287716 (DANSE). ##This paper is an extension of the paper “An Application of Statistical Model Checking (SMC) to continuous validation of heterogeneous systems.” published in the proceedings of the SIMUTOOLS 2016 conference.EAI Endorsed Transactions onAn SoS adapts itself to its environment through (1) an evolution of the functions provided by its Constituent Systems and (2) an evolution of its architecture
This tool-chain is demonstrated on an industrial case study in Section 7, where we show its application to a Fire Emergency Response system designed in DANSE [12], modeling a complex SoS that manages fire emergencies in a large city
The remaining of this Section describes how we extended UPDM to accomplish architectural and behavioural representations of SoSs supporting statistical model checking analysis
Summary
Context and challenges A System of Systems (SoS) is a large-scale, geographically distributed set of. One of the main contributions of the paper is a full integrated tool-chain between IBM Rhapsody, the statistical model checker PLASMA [5] and DESYRE This tool-chain is, to the best of our knowledge, the first one offering a full SMC-based approach for the verification of complex heterogeneous systems. We propose to support wide-spread industry standards for SoS This is done by exploiting UPDM [11] for SoS architecture design and the FMI standard for constituent systems integration. This tool-chain is demonstrated on an industrial case study, where we show its application to a Fire Emergency Response system designed in DANSE [12], modeling a complex SoS that manages fire emergencies in a large city This tool-chain is demonstrated on an industrial case study in Section 7, where we show its application to a Fire Emergency Response system designed in DANSE [12], modeling a complex SoS that manages fire emergencies in a large city
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
