| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Verifying Systems-of-Systems with Statistical Model Checking
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.
Cited literature [3 references]
https://hal.inria.fr/hal-01242652
Contributor : Jean Quilbeuf <>
Submitted on : Thursday, February 4, 2016 - 2:17:12 PM
Last modification on : Thursday, January 7, 2021 - 4:22:12 PM
Long-term archiving on: : Saturday, November 12, 2016 - 8:35:43 AM
Contributor : Jean Quilbeuf <>
Submitted on : Thursday, February 4, 2016 - 2:17:12 PM
Last modification on : Thursday, January 7, 2021 - 4:22:12 PM
Long-term archiving on: : Saturday, November 12, 2016 - 8:35:43 AM
File
verif.pdf
Files produced by the author(s)