Verifying Systems-of-Systems with Statistical Model Checking - Université de Rennes Accéder directement au contenu
Article Dans Une Revue ERCIM News Année : 2015

Verifying Systems-of-Systems with Statistical Model Checking

Flavio Oquendo

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01242652 , version 1

Citer

Axel Legay, Jean Quilbeuf, Flavio Oquendo. Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News, 2015, 103. ⟨hal-01242652⟩
350 Consultations
111 Téléchargements

Partager

Gmail Facebook X LinkedIn More