Formalisation de la cohérence et calcul des séquences de coupe minimales pour les systèmes binaires dynamiques et réparables

Abstract : Preventive risk assessment of a complex system rely on a dynamic models which describe the link between the system failure and the scenarios of failure and repair events from its components. The qualitative analyses of a binary dynamic and repairable system is aiming at computing and analyse the scenarios that lead to the system failure. Since such systems describe a large set of those, only the most representative ones, called Minimal Cut Sequences (MCS), are of interest for the safety engineer. The lack of a formal definition for the MCS has generated multiple definitions either specific to a given model (and thus not generic) or informal. This work proposes i) a formal framework and definition for the MCS while staying independent of the reliability model used, ii) the methodology to compute them using property extracted from their formal definition, iii) an extension of the formal framework for multi-states components in order to perform the qualitative analyses of Boolean logic Driven Markov Processes (BDMP) models. Under the hypothesis that the scenarios implicitly described by any reliability model can always be represented by a finite automaton, this work is defining the coherency for dynamic and repairable systems as the way to give a minimal representation of all scenarios that are leading to the system failure.
Document type :
Theses
Complete list of metadatas

Cited literature [58 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00910331
Contributor : Abes Star <>
Submitted on : Wednesday, November 27, 2013 - 6:22:27 PM
Last modification on : Monday, June 26, 2017 - 11:16:14 AM
Long-term archiving on : Monday, March 3, 2014 - 5:05:12 PM

File

Chaux2013.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00910331, version 1

Collections

Citation

Pierre-Yves Chaux. Formalisation de la cohérence et calcul des séquences de coupe minimales pour les systèmes binaires dynamiques et réparables. Autre. École normale supérieure de Cachan - ENS Cachan, 2013. Français. ⟨NNT : 2013DENS0014⟩. ⟨tel-00910331⟩

Share

Metrics

Record views

594

Files downloads

1554