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

Abstract : This thesis links two fields : system safety analyses and formal methods.We aim at checking the consistensy of safety analyses based on formal models that represent a system at different levels of detail. To reach this objective, we introduce a refinement notion in the AltaRica modelling process : a detailed model refines an abstract model if the abstract model simulates the detailed model. The AltaRica model refinement verification is supported by the MecV model-checker. This allows to perform multi-system safety analyses using models with heterogeneous levels of detail : the main system is detailed whereas the interfaced systems remain abstract. This approach has been applied to the analysis of a rudder control system linked to an electrical power generation and distribution system.
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
Long-term archiving on : 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

676

Files downloads

8396