Analyses de sûreté de fonctionnement multi-systèmes

Résumé : Cette thèse se situe au croisement de deux domaines : la sûreté de fonctionnement des systèmes critiques et les méthodes formelles. Nous cherchons à établir la cohérence des analyses de sûreté de fonctionnement réalisées à l'aide de modèles représentant un même système à des niveaux de détail différents. Pour cela, nous proposons une notion de raffinement dans le cadre de la conception de modèles AltaRica : un modèle détaillé raffine un modèle abstrait si le modèle abstrait simule le modèle détaillé. La vérification du raffinement de modèles AltaRica est supportée par l'outil de model-checking MecV. Ceci permet de réaliser des analyses multi-systèmes à l'aide de modèles à des niveaux de détail hétérogènes : le système au centre de l'étude est détaillé tandis que les systèmes en interface sont abstraits. Cette approche a été appliquée à l'étude d'un système de contrôle de gouverne de direction d'un avion connecté à un système de génération et distribution électrique.
Type de document :
Thèse
Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, 2009. Français
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-00441310
Contributeur : Romain Bernard <>
Soumis le : mardi 15 décembre 2009 - 15:50:03
Dernière modification le : jeudi 11 janvier 2018 - 06:20:16
Document(s) archivé(s) le : jeudi 17 juin 2010 - 20:24:35

Identifiants

  • HAL Id : tel-00441310, version 1

Collections

Citation

Romain Bernard. Analyses de sûreté de fonctionnement multi-systèmes. Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, 2009. Français. 〈tel-00441310〉

Partager

Métriques

Consultations de la notice

627

Téléchargements de fichiers

6990