Skip to Main content Skip to Navigation
Journal articles

Verifying Systems-of-Systems with Statistical Model Checking

Axel Legay 1 Jean Quilbeuf 1 Flavio Oquendo 2
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : Verifying the correctness of systems-of-systems (SoS) is a key challenge, largely because SoSs are evolutionarily developed by combining autonomous systems to fulfill a mission that could not be performed by one of the constituent systems alone. In the trade-off of correctness vs. scalability, model checking does not scale up to address the trustworthiness of SoSs, owing to the state explosion problem. A recent technique, however, has overcome this shortcoming: ‘Statistical Model Checking’ is based on sampling traces of the system-of-interest until adequate statistical evidence has been established.
Document type :
Journal articles
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download
Contributor : Jean Quilbeuf Connect in order to contact the contributor
Submitted on : Thursday, February 4, 2016 - 2:17:12 PM
Last modification on : Tuesday, October 19, 2021 - 11:58:58 PM
Long-term archiving on: : Saturday, November 12, 2016 - 8:35:43 AM


Files produced by the author(s)


  • HAL Id : hal-01242652, version 1


Axel Legay, Jean Quilbeuf, Flavio Oquendo. Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News, ERCIM, 2015. ⟨hal-01242652⟩



Les métriques sont temporairement indisponibles