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 metadatas

Cited literature [3 references]  Display  Hide  Download

https://hal.inria.fr/hal-01242652
Contributor : Jean Quilbeuf <>
Submitted on : Thursday, February 4, 2016 - 2:17:12 PM
Last modification on : Thursday, February 7, 2019 - 4:33:08 PM
Long-term archiving on : Saturday, November 12, 2016 - 8:35:43 AM

File

verif.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01242652, version 1

Citation

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

Share

Metrics

Record views

528

Files downloads

126