Verifying Systems-of-Systems with Statistical Model Checking - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles ERCIM News Year : 2015

Verifying Systems-of-Systems with Statistical Model Checking

Flavio Oquendo

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.
Fichier principal
Vignette du fichier
verif.pdf (139.57 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01242652 , version 1 (04-02-2016)

Identifiers

  • HAL Id : hal-01242652 , version 1

Cite

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

Share

More