Integrating satisfiability solving in the assessment of system reliability modeled by dynamic fault trees - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1, 2) , (1) , (3, 2) , (2)
1
2
3

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.
Fichier principal
Vignette du fichier
final.pdf (314.48 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02262205 , version 1 (02-08-2019)

Identifiers

Cite

Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz. Integrating satisfiability solving in the assessment of system reliability modeled by dynamic fault trees. 29th European Safety and Reliability Conference, ESREL 2019, Sep 2019, Hannover, Germany. ⟨10.3850/981-973-0000-00-0⟩. ⟨hal-02262205⟩
187 View
244 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More