Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00011496
Contributor : Christophe Kehren Connect in order to contact the contributor
Submitted on : Wednesday, March 15, 2006 - 10:11:49 AM
Last modification on : Wednesday, October 24, 2018 - 10:23:02 AM
Long-term archiving on: : Monday, September 20, 2010 - 2:21:54 PM

Identifiers

  • HAL Id : tel-00011496, version 2

Collections

Citation

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-00011496v2⟩

Share

Metrics

Record views

644

Files downloads

1276