Towards an unified definition of Minimal Cut Sequences

Pierre-Yves Chaux (1) , Jean-Marc Roussel (1) , Jean-Jacques Lesage (1) , Gilles Deleuze (2) , Marc Bouissou (2)

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée
2 EDF R&D - EDF R&D

The growing complexity of systems makes the complexity of reliability model growing, implying the need to model both the dynamics of systems and the reparability of components. The qualitative reliability analyses aim at finding the minimal representation of all the scenarios of failures and repairs of the components, leading to the system failure. This minimal representation is the set of Minimal Cut Sequences. In order to provide a formal definition of these specific scenarios, whatever the risk analysis model used, this paper proposes coherency rules for dynamic and repairable systems those dysfunctional scenarios are modeled by a finite automaton.

Mots clés: Minimal Cut Sequences; Dynamic Systems; Repairable Components; Qualitative studies; Coherence Rules; Finite Automaton.; Finite Automaton

Domaines: Automatique / Robotique

Pierre-Yves Chaux, Jean-Marc Roussel, Jean-Jacques Lesage, Gilles Deleuze, Marc Bouissou. Towards an unified definition of Minimal Cut Sequences. 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), Sep 2013, York, United Kingdom. Paper n°1. ⟨hal-00858391⟩