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 airpo
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.independently managed, heterogeneous Constituent Systems (CS)
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 Sign-in/Register to access full text options 
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.
