Finding the Minimal Cut Sequences of dynamic, repairable and reconfigurable systems from GBDMP models

Pierre-Yves Piriou (1) , Jean-Marc Faure (2) , Jean-Jacques Lesage (2)

1 EDF R&D STEP - Simulation et Traitement de l'information pour l'Exploitation des systèmes de Production
2 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

Minimal Cut Sequences (MCS) computation is the main objective of qualitative safety analysis of dynamic systems. This paper shows first that the existing definitions of MCS are not suitable when these systems are both repairable and reconfigurable. A new definition for this class of systems as well as an algorithm to compute these sequences from a safety analysis model, in the form of a GBDMP (Generalized Boolean logic Driven Markov Processes) model, are then proposed. These contributions are illustrated on a case study from power industry. Comparison of the obtained MCS to those which are yielded by algorithms based on the previous definitions permits to highlight the relevance of the approach.

Domaines: Automatique / Robotique

Pierre-Yves Piriou, Jean-Marc Faure, Jean-Jacques Lesage. Finding the Minimal Cut Sequences of dynamic, repairable and reconfigurable systems from GBDMP models. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, In press. ⟨hal-01974198⟩