DFTCalc: a tool for efficient fault tree analysis

Florian Arnold; Axel Belinfante; Freark van der Berg; Dennis Guck; Mariëlle Stoelinga

doi:10.1007/978-3-642-40793-2_27

DFTCalc: a tool for efficient fault tree analysis

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

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

54 Citations (Scopus)

675 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
Place of Publication	Berlin
Publisher	Springer
Pages	293-301
Number of pages	9
ISBN (Print)	978-3-642-40793-2
DOIs	https://doi.org/10.1007/978-3-642-40793-2_27
Publication status	Published - Sept 2013
Event	32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013 - Toulouse, France Duration: 24 Sept 2013 → 27 Sept 2013 Conference number: 32 http://conf.laas.fr/SAFECOMP2013/

Publication series

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

Conference

Conference	32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013
Abbreviated title	SAFECOMP 2013
Country/Territory	France
City	Toulouse
Period	24/09/13 → 27/09/13
Internet address	http://conf.laas.fr/SAFECOMP2013/

Keywords

EC Grant Agreement nr.: FP7/318003
EC Grant Agreement nr.: FP7/2007-2013
Interactive Markov chains
Reliability
Dynamic fault trees

Access to Document

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

ArticleAccepted author version, 551 KB

Cite this

@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, EC Grant Agreement nr.: FP7/2007-2013, Interactive Markov chains, Reliability, Dynamic fault trees",

author = "Florian Arnold and Axel Belinfante and \{van der Berg\}, Freark and Dennis Guck and Mari{\"e}lle Stoelinga",

note = "Foreground = 30\%; Type of activity = Conference; Main leader = UT; Type of audience = scientific community; Size of audience = 80; Countries addressed = international;; 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, SAFECOMP 2013 ; Conference date: 24-09-2013 Through 27-09-2013",

year = "2013",

month = sep,

doi = "10.1007/978-3-642-40793-2\_27",

language = "English",

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)",

address = "Germany",

url = "http://conf.laas.fr/SAFECOMP2013/",

}

Arnold, F, Belinfante, A, van der Berg, F, Guck, D & Stoelinga, M 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 2013, Toulouse, France, 24/09/13. https://doi.org/10.1007/978-3-642-40793-2_27

DFTCalc: a tool for efficient fault tree analysis. / Arnold, Florian; Belinfante, Axel; van der Berg, Freark et al.
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 proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - DFTCalc

T2 - 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013

AU - Arnold, Florian

AU - Belinfante, Axel

AU - van der Berg, Freark

AU - Guck, Dennis

AU - Stoelinga, Mariëlle

N1 - Conference code: 32

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 - EC Grant Agreement nr.: FP7/2007-2013

KW - Interactive Markov chains

KW - Reliability

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

Y2 - 24 September 2013 through 27 September 2013

ER -

DFTCalc: a tool for efficient fault tree analysis

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this