Skip to Main content Skip to Navigation

Statistical Model Checking of Systems of Systems: An Industrial Approach

Abstract : Ensuring a correct behaviour of Systems of Systems (SoS) has a significant social impact. Their complexity and inherent dynamicity pose a serious challenge to traditional design methodologies. We propose a methodology and a tool-chain supporting continuous validation of SoS behaviour against formal requirements, based on a scalable formal verification technique known as Statistical Model Checking (SMC). We integrate SMC with existing industrial practice, by addressing both methodological and technological issues. Our contribution is summarized as follows: (1) a methodology for continuous and scalable validation of SoS formal requirements; (2) a natural-language based formal specification language able to express complex SoS requirements; (3) adoption of widely used industry standards for simulation and heterogeneous systems integration (FMI and UPDM); (4) development of 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 an industrial case study from the DANSE project.
Document type :
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Jean Quilbeuf Connect in order to contact the contributor
Submitted on : Monday, April 18, 2016 - 11:55:19 AM
Last modification on : Thursday, January 20, 2022 - 5:33:11 PM
Long-term archiving on: : Tuesday, November 15, 2016 - 5:19:13 AM


Files produced by the author(s)


  • HAL Id : hal-01242864, version 2


Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, et al.. Statistical Model Checking of Systems of Systems: An Industrial Approach. [Research Report] RR-8828, Inria. 2015. ⟨hal-01242864v2⟩



Record views


Files downloads