Verifying Systems-of-Systems with Statistical Model Checking
(2015) ERCIM News — n° 103 (2015)
Files
No attached file found for this publication.
Details
- Authors
- 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.
- Affiliations
Citations
Legay, A., Quilbeuf, J., & Oquendo, F. (2015). Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News, 103. https://hdl.handle.net/2078.5/173234 (Original work published 2015)