Integrating satisfiability solving in the assessment of system reliability modeled by dynamic fault trees

Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz

Abstract

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.

Available as: PDF

Reference

@inproceedings{duroeulx:integrating,
  TITLE = {Integrating satisfiability solving in the assessment of system reliability modeled by dynamic fault trees},
  AUTHOR = {Duroeulx, Margaux and Brinzei, Nicolae and Duflot, Marie and Merz, Stephan},
  BOOKTITLE = {{29th European Safety and Reliability Conference, ESREL 2019}},
  ADDRESS = {Hannover, Germany},
  PUBLISHER = {{Research Publishing Services}},
  YEAR = {2019},
}