The Dynamic Fault Tree Rare Event Simulator

Carlos E. Budde; Enno Ruijters; Mariëlle Stoelinga

doi:10.1007/978-3-030-59854-9_17

The Dynamic Fault Tree Rare Event Simulator

Carlos E. Budde^*, Enno Ruijters, Mariëlle Stoelinga

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

4 Citations (Scopus)

67 Downloads (Pure)

Abstract

The dynamic-fault-tree rare event simulator, DFTRES, is a statistical model checker for dynamic fault trees (DFTs), supporting the analysis of highly dependable systems, e.g. with unavailability or unreliability under 10^(-30). To efficiently estimate such low probabilities, we apply the Path-ZVA algorithm to implement Importance Sampling with minimal user input. Calculation speed is further improved by selective automata composition and bisimulation reduction. DFTRES reads DFTs in the Galileo or JANI textual formats. The tool is written in Java 11 with multi-platform support, and it is released under the GPLv3. In this paper we describe the architecture, setup, and input language of DFTRES, and showcase its accurate estimation of dependability metrics of (resilient) repairable DFTs from the FFORT benchmark suite.

Original language	English
Title of host publication	Quantitative Evaluation of Systems
Subtitle of host publication	17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings
Editors	Marco Gribaudo, David N. Jansen, Anne Remke
Place of Publication	Cham
Publisher	Springer
Pages	233-238
Number of pages	6
ISBN (Electronic)	978-3-030-59854-9
ISBN (Print)	978-3-030-59853-2
DOIs	https://doi.org/10.1007/978-3-030-59854-9_17
Publication status	Published - 2020
Event	17th International Conference on Quantitative Evaluation Systems, QEST 2020 - Online event, Vienna, Austria Duration: 31 Aug 2020 → 3 Sept 2020 Conference number: 17

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	12289
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Name	Theoretical Computer Science and General Issues
Publisher	Springer

Conference

Conference	17th International Conference on Quantitative Evaluation Systems, QEST 2020
Abbreviated title	QEST 2020
Country/Territory	Austria
City	Vienna
Period	31/08/20 → 3/09/20

Keywords

2021 OA procedure

Access to Document

10.1007/978-3-030-59854-9_17

Budde2020dynamicFinal published version, 619 KBLicence: Taverne

Cite this

Budde, C. E., Ruijters, E., & Stoelinga, M. (2020). The Dynamic Fault Tree Rare Event Simulator. In M. Gribaudo, D. N. Jansen, & A. Remke (Eds.), Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings (pp. 233-238). (Lecture Notes in Computer Science; Vol. 12289), (Theoretical Computer Science and General Issues). Springer. https://doi.org/10.1007/978-3-030-59854-9_17

Budde, Carlos E. ; Ruijters, Enno ; Stoelinga, Mariëlle. / The Dynamic Fault Tree Rare Event Simulator. Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings. editor / Marco Gribaudo ; David N. Jansen ; Anne Remke. Cham : Springer, 2020. pp. 233-238 (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues).

@inbook{62849b4d99334a3ab5a3d719cfb60194,

title = "The Dynamic Fault Tree Rare Event Simulator",

abstract = "The dynamic-fault-tree rare event simulator, DFTRES, is a statistical model checker for dynamic fault trees (DFTs), supporting the analysis of highly dependable systems, e.g. with unavailability or unreliability under 10^(-30). To efficiently estimate such low probabilities, we apply the Path-ZVA algorithm to implement Importance Sampling with minimal user input. Calculation speed is further improved by selective automata composition and bisimulation reduction. DFTRES reads DFTs in the Galileo or JANI textual formats. The tool is written in Java 11 with multi-platform support, and it is released under the GPLv3. In this paper we describe the architecture, setup, and input language of DFTRES, and showcase its accurate estimation of dependability metrics of (resilient) repairable DFTs from the FFORT benchmark suite.",

keywords = "2021 OA procedure",

author = "Budde, {Carlos E.} and Enno Ruijters and Mari{\"e}lle Stoelinga",

year = "2020",

doi = "10.1007/978-3-030-59854-9_17",

language = "English",

isbn = "978-3-030-59853-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "233--238",

editor = "Marco Gribaudo and Jansen, {David N.} and Anne Remke",

booktitle = "Quantitative Evaluation of Systems",

address = "Germany",

note = "17th International Conference on Quantitative Evaluation Systems, QEST 2020, QEST 2020 ; Conference date: 31-08-2020 Through 03-09-2020",

}

Budde, CE, Ruijters, E & Stoelinga, M 2020, The Dynamic Fault Tree Rare Event Simulator. in M Gribaudo, DN Jansen & A Remke (eds), Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings. Lecture Notes in Computer Science, vol. 12289, Theoretical Computer Science and General Issues, Springer, Cham, pp. 233-238, 17th International Conference on Quantitative Evaluation Systems, QEST 2020, Vienna, Austria, 31/08/20. https://doi.org/10.1007/978-3-030-59854-9_17

The Dynamic Fault Tree Rare Event Simulator. / Budde, Carlos E.; Ruijters, Enno; Stoelinga, Mariëlle.
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings. ed. / Marco Gribaudo; David N. Jansen; Anne Remke. Cham: Springer, 2020. p. 233-238 (Lecture Notes in Computer Science; Vol. 12289), (Theoretical Computer Science and General Issues).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - The Dynamic Fault Tree Rare Event Simulator

AU - Budde, Carlos E.

AU - Ruijters, Enno

AU - Stoelinga, Mariëlle

N1 - Conference code: 17

PY - 2020

Y1 - 2020

N2 - The dynamic-fault-tree rare event simulator, DFTRES, is a statistical model checker for dynamic fault trees (DFTs), supporting the analysis of highly dependable systems, e.g. with unavailability or unreliability under 10^(-30). To efficiently estimate such low probabilities, we apply the Path-ZVA algorithm to implement Importance Sampling with minimal user input. Calculation speed is further improved by selective automata composition and bisimulation reduction. DFTRES reads DFTs in the Galileo or JANI textual formats. The tool is written in Java 11 with multi-platform support, and it is released under the GPLv3. In this paper we describe the architecture, setup, and input language of DFTRES, and showcase its accurate estimation of dependability metrics of (resilient) repairable DFTs from the FFORT benchmark suite.

AB - The dynamic-fault-tree rare event simulator, DFTRES, is a statistical model checker for dynamic fault trees (DFTs), supporting the analysis of highly dependable systems, e.g. with unavailability or unreliability under 10^(-30). To efficiently estimate such low probabilities, we apply the Path-ZVA algorithm to implement Importance Sampling with minimal user input. Calculation speed is further improved by selective automata composition and bisimulation reduction. DFTRES reads DFTs in the Galileo or JANI textual formats. The tool is written in Java 11 with multi-platform support, and it is released under the GPLv3. In this paper we describe the architecture, setup, and input language of DFTRES, and showcase its accurate estimation of dependability metrics of (resilient) repairable DFTs from the FFORT benchmark suite.

KW - 2021 OA procedure

UR - http://www.scopus.com/inward/record.url?scp=85097084474&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-59854-9_17

DO - 10.1007/978-3-030-59854-9_17

M3 - Chapter

AN - SCOPUS:85097084474

SN - 978-3-030-59853-2

T3 - Lecture Notes in Computer Science

SP - 233

EP - 238

BT - Quantitative Evaluation of Systems

A2 - Gribaudo, Marco

A2 - Jansen, David N.

A2 - Remke, Anne

PB - Springer

CY - Cham

T2 - 17th International Conference on Quantitative Evaluation Systems, QEST 2020

Y2 - 31 August 2020 through 3 September 2020

ER -

Budde CE, Ruijters E, Stoelinga M. The Dynamic Fault Tree Rare Event Simulator. In Gribaudo M, Jansen DN, Remke A, editors, Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings. Cham: Springer. 2020. p. 233-238. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues). Epub 2020 Aug 31. doi: 10.1007/978-3-030-59854-9_17

The Dynamic Fault Tree Rare Event Simulator

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

DFTRES tool demo (video)