Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems. (July 2017)

• Record Type: Journal Article
• Authors: Piriou, Pierre-Yves; Faure, Jean-Marc; Lesage, Jean-Jacques
• Is Part Of: Reliability engineering & system safety. Volume 163(2017)
• Page Start: 57
• Page End: 68
• Publication Date: 2017-07
• Subjects: Model based safety analysis -- Generalized Boolean logic Driven Markov Processes -- Dynamic and repairable system -- Reconfiguration strategies -- Moore machine; Reliability (Engineering) -- Periodicals; System safety -- Periodicals; Industrial safety -- Periodicals; Fiabilité -- Périodiques; Sécurité des systèmes -- Périodiques; Sécurité du travail -- Périodiques; 620.00452
• DOI: 10.1016/j.ress.2017.02.001
• Languages: English
• ISSNs: 0951-8320

Abstract

Abstract: This paper presents a modeling framework that permits to describe in an integrated manner the structure of the critical system to analyze, by using an enriched fault tree, the dysfunctional behavior of its components, by means of Markov processes, and the reconfiguration strategies that have been planned to ensure safety and availability, with Moore machines. This framework has been developed from BDMP (Boolean logic Driven Markov Processes), a previous framework for dynamic repairable systems. First, the contribution is motivated by pinpointing the limitations of BDMP to model complex reconfiguration strategies and the failures of the control of these strategies. The syntax and semantics of GBDMP (Generalized Boolean logic Driven Markov Processes) are then formally defined; in particular, an algorithm to analyze the dynamic behavior of a GBDMP model is developed. The modeling capabilities of this framework are illustrated on three representative examples. Last, qualitative and quantitative analysis of GDBMP models highlight the benefits of the approach.