Skip to Main content Skip to Navigation
Theses

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

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

Cited literature [104 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01750979
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 1:00:25 PM
Last modification on : Tuesday, April 10, 2018 - 1:27:47 AM

File

DDOC_T_2014_0133_DAKIL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01750979, version 1

Collections

Citation

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

Share

Metrics

Record views

89

Files downloads

46