Verifying Systems-of-Systems with Statistical Model Checking

Axel Legay 1 Jean Quilbeuf 1 Flavio Oquendo 2
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
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.
Type de document :
Article dans une revue
ERCIM News, ERCIM, 2015
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01242652
Contributeur : Jean Quilbeuf <>
Soumis le : jeudi 4 février 2016 - 14:17:12
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : samedi 12 novembre 2016 - 08:35:43

Fichier

verif.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01242652, version 1

Citation

Axel Legay, Jean Quilbeuf, Flavio Oquendo. Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News, ERCIM, 2015. 〈hal-01242652〉

Partager

Métriques

Consultations de la notice

489

Téléchargements de fichiers

84