Finding the Minimal Cut Sequences of dynamic, repairable and reconfigurable systems from GBDMP models
Résumé
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
Fichier principal
Article_JRR_Piriou_Faure_Lesage_final_version.pdf (1.11 Mo)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...