Sujet : « Evaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité » .

Celle-ci se déroulera le jeudi 5 mars à 14h00 dans la Salle A008 du Loria.  Un pot aura lieu après la soutenance, dans la salle club à côté de la caféteria.

Composition du jury

Rapporteurs :
Daniel LE BERRE, Professeur, CRIL, Université d’Artois
Zineb SIMEU-ABAZI, Professeure, G-SCOP, Université de Grenoble

Examinateurs :
Sylvain CONCHON, Professeur, LRI, Université Paris-Sud
Marie DUFLOT, Maîtresse de conférence, LORIA, Université de Lorraine
Jean-Marc FAURE, Professeur, LURPA, Université Paris-Sud
Marine MINIER, Professeure, LORIA, Université de Lorraine

Directeur de thèse :
Stephan MERZ, Directeur de recherche, LORIA, Université de Lorraine

Co-directeur de thèse :
Nicolae BRÎNZEI, Maître de conférence, CRAN, Université de Lorraine

Résumé :

Les travaux de cette thèse portent sur la conception des systèmes critiques, dont le fonctionnement est impacté par des défaillances, qui pourraient être dangereuses pour les biens et les personnes qui l’entourent. Lors de sa conception, il est essentiel de réaliser une analyse de sûreté de fonctionnement pour déterminer les potentielles défaillances, leur criticité et leur probabilité d’occurrence. Cette analyse permet de statuer sur la confiance qu’il est justifié d’accorder au système et de renforcer le système si nécessaire. L’objectif de cette thèse est de faire intervenir les techniques de satisfiabilité pour préparer le calcul de la fiabilité du système : sa probabilité d’assurer sa mission pour un temps donné.

Dans une première partie, nous nous intéressons aux systèmes statiques, ceux dont l’état (marche, arrêt) ne dépend que de l’état de ses composants. Nous modélisons le système par un arbre de défaillances, qui est un outil de modélisation très répandu dans la communauté de la sûreté de fonctionnement. La fonction de structure est une formule décrivant les combinaisons de défaillances qui sont tolérées ou non par le système, qui peut être déterminée à partir de l’arbre de défaillances du système. Nous faisons appel aux techniques de satisfiabilité pour identifier les liens minimaux, sous-ensembles des composants dont le fonctionnement garantit le fonctionnement du système. Nous modélisons également le système par un diagramme de Hasse, qui représente l’état du système en fonction de l’état de ses composants. L’évaluation probabiliste du niveau de confiance accordé au système est basée sur le polynôme de fiabilité, obtenu à partir du diagramme de Hasse.

Dans une seconde partie, nous considérons les systèmes dits dynamiques, pour lesquels l’ordre d’occurrence des défaillances impacte le fonctionnement du système. C’est par exemple le cas des générateurs électriques, dont la défaillance prive de courant les autres composants et les empêche d’assurer leur fonction. Afin d’adapter aux systèmes dynamiques l’approche développée dans la première partie, nous définissons les séquences de lien minimales, extension des liens minimaux aux systèmes dynamiques, que nous déterminons grâce aux techniques de satisfiabilité. Nous proposons également une adaptation du diagramme de Hasse aux systèmes dynamiques afin de déterminer leur fiabilité.

Subject : ” Assessment of reliability of systems modeled by fault tress thanks to satisfiability techniques ” .

This will take place on Thursday 5 of March at 2 pm in Room A008 in Loria. You are also invited to the buffet after the defense, in the room near the cafeteria.

Jury Composition

Reviewers :
Daniel LE BERRE, Professeur, CRIL, Université d’Artois
Zineb SIMEU-ABAZI, Professeure, G-SCOP, Université de Grenoble

Examiners :
Sylvain CONCHON, Professeur, LRI, Université Paris-Sud
Marie DUFLOT, Maîtresse de conférence, LORIA, Université de Lorraine
Jean-Marc FAURE, Professeur, LURPA, Université Paris-Sud
Marine MINIER, Professeure, LORIA, Université de Lorraine

Thesis Director :
Stephan MERZ, Directeur de recherche, LORIA, Université de Lorraine

Thesis co-Director :
Nicolae BRÎNZEI, Maître de conférence, CRAN, Université de Lorraine

Abstract:

This thesis focuses on designing critical systems, those functioning is impacted by failures that could be dangerous for goods and people. During its design, it is crucial to convey a dependability analysis in order to determine the potential failures, their criticity and their probability of occurrence. The aim of this thesis is to involve satisfiability techniques in the computation of the reliability of the system : its probability to ensure its mission for a given time.

In the first part, we consider static systems, those for which the functioning only depends on the functioning of their components functioning. We model the system by a fault tree, which is a widespread modeling tool in the reliability community, from which we can obtain the structure function. The structure function is a formula discrisbing the combinations of components failure which are tolerated or not by the system. We also model the system by a Hasse diagram, which represents the states of the system depending on the states of the components. The probabilistic assessment of the trust placed to the system is based on the reliability function determined from the Hasse diagram.

In the second part, we consider dynamic systems, for which the order between failures has an impact on the system. For example, it is the case for electric generators, which deprive the others components of electricity when they fail. In order to adapt to dynamic systems the approach developped of the first part, we define minimal tie set sequences as the extension of minimal tie sets for dynamic systems, and we compute them by using satisfiability techniques. We also propose an adaptation of hasse diagrams for dynamic systems to determine the reliability function.