Développement d'une méthodologie conjointe d'analyse structurelle et de sûreté de fonctionnement des propriétés d'un système complexe - Université de Lorraine Accéder directement au contenu
Thèse Année : 2014

Development of a joint methodology of structural analysis and dependability of a complex system properties

Développement d'une méthodologie conjointe d'analyse structurelle et de sûreté de fonctionnement des propriétés d'un système complexe

Manal Dakil

Résumé

This thesis concerns the development of analysis of structural properties in interaction with indicators of reliability. Our study focuses on (linear, bilinear or switching) structured systems, they must verify some important properties for the accomplishment of their mission. Properties depend on the structure of the system, hence the term "structural properties". The structure of the system can be represented by a graph consisting of vertices and edges. Verification of structural properties depends mainly on four basic conditions of connectivity, link distance and complete linkage. We have developed algorithms to express the form of Boolean expressions based on the edges of the graph representing the system. We consider that each edge is linked to the system components. A failure at the component level can cause changes in the structure of the system, and therefore can make a structural property unsatisfied. Thus, the structural properties are written as boolean expressions based on the operating state of the components. Using boolean expressions associated to the structural properties, reliability and / or availability can be calculated knowing the characteristics of the system components. Through this study, we can check if during the mission time of the system, a structural property remain satisfied and / or comply with a level of performance required by the specifications
Ce sujet de thèse concerne le développement d’analyse des propriétés structurelles en interaction avec des indicateurs de fiabilité. Notre étude porte sur des systèmes structurés (linéaire, bilinéaire ou linéaire à commutations), ces derniers doivent vérifier quelques propriétés importantes pour l’accomplissement de leur mission. Ces propriétés dépendent de la structure du système, d’où l’appellation "propriétés structurelles". La structure du système peut être représentée par un graphe composé de sommets et d’arcs. La vérification des propriétés structurelles dépend principalement de 4 conditions élémentaires de connectivité, de lien, de distance et de couplage complet. Nous avons développé des algorithmes permettant de les exprimer sous forme d’expressions booléennes basées sur les arcs du graphe représentant le système. Nous considérons que chaque arc est lié aux composants du système. Une défaillance au niveau des composants peut provoquer la modification de la structure du système, et donc peut rendre une propriété structurelle insatisfaite. Ainsi, les propriétés structurelles sont écrites sous forme d’expressions booléennes basées sur l’état de fonctionnement des composants. En utilisant les expressions booléennes associées aux propriétés structurelles, leur fiabilité et/ou disponibilité peut être calculée sachant les caractéristiques de sûreté de fonctionnement des composants du système. À travers cette étude, nous pouvons vérifier si, pendant le temps de mission du système, une propriété structurelle restera satisfaite et/ou respectera un niveau de performance exigé par un cahier des charges.
Fichier principal
Vignette du fichier
DDOC_T_2014_0133_DAKIL.pdf (1.62 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

tel-01750979 , version 1 (06-01-2015)
tel-01750979 , version 2 (29-03-2018)

Identifiants

  • HAL Id : tel-01750979 , version 2

Citer

Manal Dakil. Développement d'une méthodologie conjointe d'analyse structurelle et de sûreté de fonctionnement des propriétés d'un système complexe. Autre. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0133⟩. ⟨tel-01750979v2⟩
253 Consultations
317 Téléchargements

Partager

Gmail Facebook X LinkedIn More