Skip to Main content Skip to Navigation

Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement

Abstract : This thesis aimed at providing methods to assist modelling and assessing qualitatively embedded complex systems safety architectures. These architectures are often based on generic systems architectures models corresponding to safety mechanisms such as redundancies, detections, etc. While taking as a starting point the principles of the design pattern approach used in the software community, we proposed a modeling of these mechanisms and attributes allowing their re-use during safety assessments. These analyses require to reason on the behavior of systems in the presence of failures which can be modelled using formal languages like AltaRica. In our case, patterns are corresponding to concrete architectures' abstractions and so require a more declarative modelling, using properties. Those properties being generally dynamic, we chose a temporal logic to model them. Safety patterns are therefore made of an AltaRica part and a property part. We believe this kind of mixed modelling to be of great interest, especially in the preliminary system architecture design phase where it is necessary to deal with detailed parts of systems as well as specifications. It should also ease the allocation of requirements and prototyping. A notation mixing operational and declarative views has been defined.
Document type :
Complete list of metadata
Contributor : Christophe Kehren Connect in order to contact the contributor
Submitted on : Monday, January 30, 2006 - 6:35:30 PM
Last modification on : Wednesday, October 24, 2018 - 10:23:02 AM
Long-term archiving on: : Saturday, April 3, 2010 - 9:59:20 PM


  • HAL Id : tel-00011496, version 1



Christophe Kehren. Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement. Modélisation et simulation. Ecole nationale superieure de l'aeronautique et de l'espace, 2005. Français. ⟨tel-00011496v1⟩



Record views


Files downloads