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. 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.

The Dynamic Fault Tree Rare Event Simulator / Budde, Carlos E.; E., Ruijters; Stoelinga, Mariëlle. - ELETTRONICO. - 12289:(2020), pp. 233-238. (Intervento presentato al convegno 17th International Conference on Quantitative Evaluation Systems, QEST 2020 tenutosi a Vienna, Austria nel August 31 – September 3, 2020) [10.1007/978-3-030-59854-9_17].

The Dynamic Fault Tree Rare Event Simulator

Carlos E. Budde
;
2020-01-01

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. 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.
2020
Quantitative Evaluation Systems, QEST 2020
Switzerland
Springer Science and Business Media Deutschland GmbH
978-3-030-59853-2
978-3-030-59854-9
Budde, Carlos E.; E., Ruijters; Stoelinga, Mariëlle
The Dynamic Fault Tree Rare Event Simulator / Budde, Carlos E.; E., Ruijters; Stoelinga, Mariëlle. - ELETTRONICO. - 12289:(2020), pp. 233-238. (Intervento presentato al convegno 17th International Conference on Quantitative Evaluation Systems, QEST 2020 tenutosi a Vienna, Austria nel August 31 – September 3, 2020) [10.1007/978-3-030-59854-9_17].
File in questo prodotto:
File Dimensione Formato  
main.pdf

accesso aperto

Descrizione: Article camera-ready
Tipologia: Post-print referato (Refereed author’s manuscript)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 511.4 kB
Formato Adobe PDF
511.4 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/314707
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 3
social impact