Statistical Model Checking of Systems of Systems: An Industrial Approach

Résumé : S'assurer qu'un Système de Systèmes (SdS) se comporte correctement est essentiel pour notre société. La complexité et le côté dynamique inhérent à ce type de systèmes constitue un défi pour les méthodes de conception traditionnelles. Nous proposons une méthodologie et une chaîne d'outils permettant de valider la conformité du comportement d'un SdS vis-à-vis d'un ensemble de propriétés formelles. Cette méthodologie est fondée sur la vérification statistique de modèles (SMC). Nous intégrons SMC dans les pratiques industrielles existantes, en résolvant des problèmes méthodologiques et technologiques. Notre contribution comporte: (1) une méthodologie passant à l'échelle pour valider la conformité d'un SdS avec des propriétés formelles ; (2) un langage proche du langage naturel pour exprimer les propriétés formelles complexes attendues du SdS ; (3) l'adoption de standards pour la simulation et l'intégration de modèles hétérogènes largement utilisés dans l'industrie (FMI et UPDM); (4) le développement d'une chaîne d'outils robuste intégrant les outils de conception de systèmes utilisés par les praticiens. Nous illustrons l'utilisation de notre chaîne d'outils et les résultat obtenus avec un cas d'étude industriel provenant du projet DANSE.
Type de document :
Rapport
[Research Report] RR-8828, Inria. 2015
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01242864
Contributeur : Jean Quilbeuf <>
Soumis le : lundi 18 avril 2016 - 11:55:19
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : mardi 15 novembre 2016 - 05:19:13

Fichier

RR-8828.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01242864, version 2

Citation

Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, et al.. Statistical Model Checking of Systems of Systems: An Industrial Approach. [Research Report] RR-8828, Inria. 2015. 〈hal-01242864v2〉

Partager

Métriques

Consultations de la notice

370

Téléchargements de fichiers

162