Development of a joint methodology for 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.
Résumé
This thesis concerns the development of methods and tools of a joint analysis of structural properties and dependability.
More specifically, the study focuses on structured systems such as linear, bilinear or switched systems. These systems must verify important structural properties (observability, controllability, etc) for the accomplishment of their missions. The structure of a system can be represented by a graph consisting of vertices and edges. Vertices represent the system variables and edges represent the relationships between these variables.
The verification of structural properties depends mainly on four elementary graphical conditions which are connectivity, linking, distance and complete matching conditions. These conditions are combined according to the structural property which gives a generic aspect of our approach. Moreover, we have developed algorithms with their proofs to express these conditions and so the structural properties that depend on this conditions as boolean expressions based on the edges of the system graph. In the graphical representation of a structured system, the relationships between its variables are provided by physical laws and components that can be cleverly associated to edges of the graph. Thus, each edge of the graph is related to one or more external components (sensors/actuators), or internal components. A failure on one or several components can cause structural changes in the system, and can make a structural property unsatisfied. Thanks to a association edge-components, structural properties can be reformulated as boolean expressions based on the operating state of the components.
In this thesis, we focus on the probabilistic assessment of structural properties. Using Boolean expressions associated to structural properties, their reliability and/or availability can be calculated knowing the dependability characteristics of the involved components. The calculation of reliability and availability of the structural properties is performed using some dependability tools, such as reliability diagrams blocks, Markov chains, Bayesian networks and dynamic Bayesian networks.
Through this study, the calculation of reliability and/or availability of structural properties allows us to verify if, during the mission time of the system, the studied structural property remain satisfied and/or respect a level of performance required in the system specification. When this level of performance is not respected, it is necessary to take some measures to maintain on the the system components such as increase their reliability and availability or provide hardware redundancy.
Pour l’accomplissement des missions requises des systèmes linéaires, bilinéaires et linéaires à commutations, la validité de certaines propriétés dites structurelles comme l’observabilité, la commandabilité, etc. est nécessaire.
Pour l’étude de ces propriétés structurelles, un système structuré peut être représenté par un graphe orienté où les sommets correspondent aux variables du système et les arcs représentent les liens entre ces variables. Ainsi, l’analyse des propriétés structurelles d’un système peut être menée graphiquement afin de bénéficier de la puissance algorithmique de la théorie des graphes. La validité de ces propriétés structurelles dépend principalement de la vérification de 4 catégories de conditions élémentaires graphiques : il s’agit des conditions de connectivité, de lien, de distance et de couplage. Dans une première partie, ces 4 conditions élémentaires graphiques sont associées à des algorithmes spécifiquement développés pour générer des expressions booléennes de la validité de chaque condition. Ces expressions sont basées sur les arcs dans le graphe associé au système et, correspondent à la vérification des conditions élémentaires graphiques. Ainsi, les propriétés structurelles peuvent également être associées à des expressions booléennes basées sur les arcs.
Les arcs, du graphe représentant le système, peuvent être associés aux différents composants physiques internes (e.g. résistance, ressort, etc.) et externes (capteurs et actionneurs) du système. Grâce à cette association entre les arcs et les composants, la validité des propriétés structurelles est formulée comme des expressions booléennes basées sur l’état de fonctionnement des composants.
En utilisant ces expressions booléennes, nous nous intéressons à l’évaluation probabiliste prévisionnelle comme la fiabilité ou la disponibilité des propriétés structurelles. Cette évaluation probabiliste est basée sur les caractéristiques des composants et, peut être effectuée en utilisant des outils usuels de la sûreté de fonctionnement (blocs diagramme de fiabilité, chaînes de Markov, etc.).
A travers ce travail de thèse et en concordance avec les exigences du client, en terme de sûreté de fonctionnement, il est possible de vérifier si ces exigences sont respectées pendant le temps de mission du système. Dans le cas échéant, la fiabilité et la disponibilité des propriétés structurelles peuvent être améliorées en prenant des mesures de maintenance au niveau des composants concernés telles que augmenter leurs
fiabilité et disponibilité ou prévoir une redondance matérielle.
Loading...