Verifying Systems-of-Systems with Statistical Model Checking - Archive ouverte HAL Access content directly
Journal Articles ERCIM News Year : 2015

Verifying Systems-of-Systems with Statistical Model Checking

(1) , (1) , (2)
Flavio Oquendo


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)

Dates and versions

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


  • HAL Id : hal-01242652 , version 1


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


Gmail Facebook Twitter LinkedIn More