Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01242864
Contributor : Jean Quilbeuf <>
Submitted on : Monday, April 18, 2016 - 11:55:19 AM
Last modification on : Thursday, January 7, 2021 - 4:13:10 PM
Long-term archiving on: : Tuesday, November 15, 2016 - 5:19:13 AM

File

RR-8828.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01242864, version 2

Citation

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⟩

Share

Metrics

Record views

660

Files downloads

601