A formal definition of Minimal Cut Sequences for dynamic, repairable and reconfigurable systems

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

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

MCS (Minimal Cut Sequences) 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 systems are repairable and reconfigurable, then proposes a new definition for this class of systems. This proposal is illustrated on a case study from power industry. Comparison of the obtained MCS to those which are yielded by algorithms based on previous definitions permits to highlight the relevance of the approach.

Domaines: Sciences de l'ingénieur [physics]

Pierre-Yves Piriou, Jean-Marc Faure, Jean-Jacques Lesage. A formal definition of Minimal Cut Sequences for dynamic, repairable and reconfigurable systems. 2016 European Safety and Reliability Conference (ESREL 2016), Sep 2016, Glasgow, United Kingdom. ⟨hal-01325898⟩