DFTCalc: a tool for efficient fault tree analysis

Florian Arnold, Axel Belinfante, Freark van der Berg, Freark Iwert van der Berg, Dennis Guck, Mariëlle Ida Antoinette Stoelinga

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 25 Citations

Abstract

Effective risk management is a key to ensure that our nuclear power plants, medical equipment, and power grids are dependable; and it is often required by law. Fault Tree Analysis (FTA) is a widely used methodology here, computing important dependability measures like system reliability. This paper presents DFTCalc, a powerful tool for FTA, providing (1) efficient fault tree modelling via compact representations; (2) effective analysis, allowing a wide range of dependability properties to be analysed (3) efficient analysis, via state-of-the-art stochastic techniques; and (4) a flexible and extensible framework, where gates can easily be changed or added. Technically, DFTCalc is realised via stochastic model checking, an innovative technique offering a wide plethora of powerful analysis techniques, including aggressive compression techniques to keep the underlying state space small.
LanguageUndefined
Title of host publicationProceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
Place of PublicationBerlin
PublisherSpringer
Pages293-301
Number of pages9
ISBN (Print)978-3-642-40793-2
DOIs
StatePublished - Sep 2013
Event32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Toulouse, France - Toulouse, France, Toulouse, France
Duration: 24 Sep 201327 Sep 2013
Conference number: 32
http://conf.laas.fr/SAFECOMP2013/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume8153
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Toulouse, France
Abbreviated titleSAFECOMP 2013
CountryFrance
CityToulouse
Period24/09/1327/09/13
Internet address

Keywords

  • EC Grant Agreement nr.: FP7/318003
  • EWI-23820
  • EC Grant Agreement nr.: FP7/2007-2013
  • METIS-300073
  • Interactive Markov chains
  • Reliability
  • IR-87570
  • Dynamic Fault Trees

Cite this

Arnold, F., Belinfante, A., van der Berg, F., van der Berg, F. I., Guck, D., & Stoelinga, M. I. A. (2013). DFTCalc: a tool for efficient fault tree analysis. In Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) (pp. 293-301). (Lecture Notes in Computer Science; Vol. 8153). Berlin: Springer. DOI: 10.1007/978-3-642-40793-2_27
Arnold, Florian ; Belinfante, Axel ; van der Berg, Freark ; van der Berg, Freark Iwert ; Guck, Dennis ; Stoelinga, Mariëlle Ida Antoinette. / DFTCalc: a tool for efficient fault tree analysis. Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). Berlin : Springer, 2013. pp. 293-301 (Lecture Notes in Computer Science).
@inproceedings{583aa32e5c114e1bb21658e6838c9020,
title = "DFTCalc: a tool for efficient fault tree analysis",
abstract = "Effective risk management is a key to ensure that our nuclear power plants, medical equipment, and power grids are dependable; and it is often required by law. Fault Tree Analysis (FTA) is a widely used methodology here, computing important dependability measures like system reliability. This paper presents DFTCalc, a powerful tool for FTA, providing (1) efficient fault tree modelling via compact representations; (2) effective analysis, allowing a wide range of dependability properties to be analysed (3) efficient analysis, via state-of-the-art stochastic techniques; and (4) a flexible and extensible framework, where gates can easily be changed or added. Technically, DFTCalc is realised via stochastic model checking, an innovative technique offering a wide plethora of powerful analysis techniques, including aggressive compression techniques to keep the underlying state space small.",
keywords = "EC Grant Agreement nr.: FP7/318003, EWI-23820, EC Grant Agreement nr.: FP7/2007-2013, METIS-300073, Interactive Markov chains, Reliability, IR-87570, Dynamic Fault Trees",
author = "Florian Arnold and Axel Belinfante and {van der Berg}, Freark and {van der Berg}, {Freark Iwert} and Dennis Guck and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
note = "Foreground = 30{\%}; Type of activity = Conference; Main leader = UT; Type of audience = scientific community; Size of audience = 80; Countries addressed = international;",
year = "2013",
month = "9",
doi = "10.1007/978-3-642-40793-2_27",
language = "Undefined",
isbn = "978-3-642-40793-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "293--301",
booktitle = "Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP)",

}

Arnold, F, Belinfante, A, van der Berg, F, van der Berg, FI, Guck, D & Stoelinga, MIA 2013, DFTCalc: a tool for efficient fault tree analysis. in Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). Lecture Notes in Computer Science, vol. 8153, Springer, Berlin, pp. 293-301, 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Toulouse, France, Toulouse, France, 24/09/13. DOI: 10.1007/978-3-642-40793-2_27

DFTCalc: a tool for efficient fault tree analysis. / Arnold, Florian; Belinfante, Axel; van der Berg, Freark; van der Berg, Freark Iwert; Guck, Dennis; Stoelinga, Mariëlle Ida Antoinette.

Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). Berlin : Springer, 2013. p. 293-301 (Lecture Notes in Computer Science; Vol. 8153).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - DFTCalc: a tool for efficient fault tree analysis

AU - Arnold,Florian

AU - Belinfante,Axel

AU - van der Berg,Freark

AU - van der Berg,Freark Iwert

AU - Guck,Dennis

AU - Stoelinga,Mariëlle Ida Antoinette

N1 - Foreground = 30%; Type of activity = Conference; Main leader = UT; Type of audience = scientific community; Size of audience = 80; Countries addressed = international;

PY - 2013/9

Y1 - 2013/9

N2 - Effective risk management is a key to ensure that our nuclear power plants, medical equipment, and power grids are dependable; and it is often required by law. Fault Tree Analysis (FTA) is a widely used methodology here, computing important dependability measures like system reliability. This paper presents DFTCalc, a powerful tool for FTA, providing (1) efficient fault tree modelling via compact representations; (2) effective analysis, allowing a wide range of dependability properties to be analysed (3) efficient analysis, via state-of-the-art stochastic techniques; and (4) a flexible and extensible framework, where gates can easily be changed or added. Technically, DFTCalc is realised via stochastic model checking, an innovative technique offering a wide plethora of powerful analysis techniques, including aggressive compression techniques to keep the underlying state space small.

AB - Effective risk management is a key to ensure that our nuclear power plants, medical equipment, and power grids are dependable; and it is often required by law. Fault Tree Analysis (FTA) is a widely used methodology here, computing important dependability measures like system reliability. This paper presents DFTCalc, a powerful tool for FTA, providing (1) efficient fault tree modelling via compact representations; (2) effective analysis, allowing a wide range of dependability properties to be analysed (3) efficient analysis, via state-of-the-art stochastic techniques; and (4) a flexible and extensible framework, where gates can easily be changed or added. Technically, DFTCalc is realised via stochastic model checking, an innovative technique offering a wide plethora of powerful analysis techniques, including aggressive compression techniques to keep the underlying state space small.

KW - EC Grant Agreement nr.: FP7/318003

KW - EWI-23820

KW - EC Grant Agreement nr.: FP7/2007-2013

KW - METIS-300073

KW - Interactive Markov chains

KW - Reliability

KW - IR-87570

KW - Dynamic Fault Trees

U2 - 10.1007/978-3-642-40793-2_27

DO - 10.1007/978-3-642-40793-2_27

M3 - Conference contribution

SN - 978-3-642-40793-2

T3 - Lecture Notes in Computer Science

SP - 293

EP - 301

BT - Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP)

PB - Springer

CY - Berlin

ER -

Arnold F, Belinfante A, van der Berg F, van der Berg FI, Guck D, Stoelinga MIA. DFTCalc: a tool for efficient fault tree analysis. In Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). Berlin: Springer. 2013. p. 293-301. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-642-40793-2_27