Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs

Khan, Shahid; Katoen, Joost-Pieter; Volk, Matthias; Bouissou, Marc

doi:10.1109/prdc47002.2019.00057

Cited by 5 publications

(1 citation statement)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Moreover, the application of Markov-chain-based approaches is under the assumption that the system failure data is exponentially distributed. To overcome this limitation, other approaches such as Petri net-based approaches [9]- [12], Bayesian Network-based approaches [13]- [15], sequential binary decision diagrams (SBDD) [16], [17], Boolean logic Driven Markov Process [18], [19], Dynamic Reliability Block Diagrams [20], [21], stochastic methods [22], and a hybrid method with the combination of stochastic methods and simulation [23]- [25] have been proposed. These approaches can provide exact solutions, however, non-exact solutions to DFTs can be obtained via simulation approaches [26], [27].…”

Section: Introductionmentioning

confidence: 99%

A Hybrid Modular Approach for Dynamic Fault Tree Analysis

et al. 2020

View full text Add to dashboard Cite

Over the years, several approaches have been developed for the quantitative analysis of dynamic fault trees (DFTs). These approaches have strong theoretical and mathematical foundations; however, they appear to suffer from the state-space explosion and high computational requirements, compromising their efficacy. Modularisation techniques have been developed to address these issues by identifying and quantifying static and dynamic modules of the fault tree separately by using binary decision diagrams and Markov models. Although these approaches appear effective in reducing computational effort and avoiding state-space explosion, the reliance of the Markov chain on exponentially distributed data of system components can limit their widespread industrial applications. In this paper, we propose a hybrid modularisation scheme where independent sub-trees of a DFT are identified and quantified in a hierarchical order. A hybrid framework with the combination of algebraic solution, Petri Nets, and Monte Carlo simulation is used to increase the efficiency of the solution. The proposed approach uses the advantages of each existing approach in the right place (independent module). We have experimented the proposed approach on five independent hypothetical and industrial examples in which the experiments show the capabilities of the proposed approach facing repeated basic events and non-exponential failure distributions. The proposed approach could provide an approximate solution to DFTs without unacceptable loss of accuracy. Moreover, the use of modularised or hierarchical Petri nets makes this approach more generally applicable by allowing quantitative evaluation of DFTs with a wide range of failure rate distributions for basic events of the tree.INDEX TERMS Reliability analysis, fault tree analysis, dynamic fault trees, modularisation, petri nets.

show abstract