Skip to Main content Skip to Navigation
Theses

Contribution à l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques, réparables et reconfigurables

Abstract : Existing works on Model Based Safety Analysis of an automated system generally focus on the process part. Process reconfiguration strategies that are driven by the control are often modeled without failure and with a lack of accuracy. However these strategies have a real impact on the safety of the closed-loop system. In order to improve the relevance of analysis, this impact has to be captured in models. This thesis contributes to modeling and analysis of dynamic repairable reconfigurable systems. Firstly a new modeling formalism is proposed to relevantly take into account different reconfiguration strategies that can fail. This formalism develops and generalizes the principle of Boolean logic Driven Markov Processes (BDMP), and enriches it with Moore machine for formally specifying reconfiguration strategies. In a second stage, two analysis techniques based on a Generalized BDMP (GBDMP) model are described. These techniques allow to obtain a qualitative result: the set of shortest Minimal Cut Sequences (MCS), and a quantitative result: probabilistic indicator of system availability. Finally, a case study coming from the electric power production field is addressed. This case study shows how several industrial problems can be solved in GBDMP framework.
Complete list of metadatas

Cited literature [84 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01251556
Contributor : Abes Star :  Contact
Submitted on : Wednesday, January 6, 2016 - 1:44:09 PM
Last modification on : Friday, May 15, 2020 - 12:16:19 PM
Document(s) archivé(s) le : Thursday, April 7, 2016 - 3:59:53 PM

File

72424_PIRIOU_2015_archivage.pd...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01251556, version 1

Citation

Pierre-Yves Piriou. Contribution à l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques, réparables et reconfigurables. Automatique / Robotique. Université Paris-Saclay, 2015. Français. ⟨NNT : 2015SACLN012⟩. ⟨tel-01251556⟩

Share

Metrics

Record views

750

Files downloads

3674