Integrating Satisfiability Solving in the Assessment of System Reliability Modeled by Dynamic Fault Trees

Fault trees (FTs) and their extensions are diagrammatic formalisms that are commonly used for reliability assessment and that represent the structure function of systems. The structure function determines tie sets and cut sets, and minimal tie sets are instrumental for assessing systems reliability. In a previous paper, we used satisfiability (SAT) techniques to compute tie sets from the structure function. In this paper we define minimal tie sets with sequences (MTSSs) as an extension of minimal tie sets for analyzing dynamic fault trees (DFTs), and we extend our previous techniques for computing MTSSs. We illustrate our approach using a standard case study and assess its performance over several industrial-size benchmarks.

[1]  Nicolae Brinzei,et al.  Graphs models and algorithms for reliability assessment of coherent and non-coherent systems , 2018 .

[2]  Vianney Perchet,et al.  Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulation , 2016, Qual. Reliab. Eng. Int..

[3]  Arnold Kaufmann,et al.  Mathematical Models for the Study of the Reliability of Systems , 1977 .

[4]  J. B. Dugan,et al.  Automatic synthesis of fault trees for computer-based systems , 1999 .

[5]  Shin-ichi Minato,et al.  Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems , 1993, 30th ACM/IEEE Design Automation Conference.

[6]  Jean-Jacques Lesage,et al.  Quantitative Analysis of Dynamic Fault Trees Based on the Structure Function , 2014, Qual. Reliab. Eng. Int..

[7]  Stephan Merz,et al.  Satisfiability techniques for computing minimal tie sets in reliability assessment , 2017 .

[8]  W E Vesely,et al.  Fault Tree Handbook , 1987 .

[9]  Meng Lin,et al.  Quantitative analysis of dynamic fault trees using improved Sequential Binary Decision Diagrams , 2015, Reliab. Eng. Syst. Saf..

[10]  Mariëlle Stoelinga,et al.  Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

[11]  Mariëlle Stoelinga,et al.  Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools , 2014, Comput. Sci. Rev..

[12]  Liudong Xing,et al.  Reliability Analysis of Nonrepairable Cold-Standby Systems Using Sequential Binary Decision Diagrams , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[13]  Jean-Jacques Lesage,et al.  Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare Gates , 2010 .

[14]  Ming Jian Zuo,et al.  A Stochastic Approach for the Analysis of Fault Trees With Priority AND Gates , 2014, IEEE Transactions on Reliability.

[15]  Joanne Bechta Dugan,et al.  A discrete-time Bayesian network reliability modeling and analysis framework , 2005, Reliab. Eng. Syst. Saf..