Skip to Main content Skip to Navigation
Theses

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.
Document type :
Theses
Complete list of metadatas

Cited literature [70 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00441310
Contributor : Romain Bernard <>
Submitted on : Tuesday, December 15, 2009 - 3:50:03 PM
Last modification on : Thursday, January 11, 2018 - 6:20:16 AM
Document(s) archivé(s) le : Thursday, June 17, 2010 - 8:24:35 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

702

Files downloads

8937