TY - BOOK
T1 - DFTCalc: a tool for efficient fault tree analysis (extended version)
AU - Arnold, Florian
AU - Belinfante, Axel
AU - van der Berg, Freark Iwert
AU - Guck, Dennis
AU - Stoelinga, Mariëlle Ida Antoinette
N1 - Foreground = 20%; Type of activity = technical report; Main leader = UT; Type of audience = scientific community; Size of audience = n.a.; Countries addressed = international;
PY - 2013/6
Y1 - 2013/6
N2 - Effective risk management is a key to ensure that our nuclear power plants, medical equipment, and power grids are dependable; and 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 pow- erful 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 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 pow- erful analysis techniques, including aggressive compression techniques to keep the underlying state space small.
KW - Interactive Markov chains
KW - EWI-23404
KW - EC Grant Agreement nr.: FP7/318003
KW - Dynamic Fault Trees
KW - METIS-297678
KW - EC Grant Agreement nr.: FP7/2007-2013
KW - IR-86711
KW - Reliability
M3 - Report
T3 - CTIT Technical Report Series
BT - DFTCalc: a tool for efficient fault tree analysis (extended version)
PB - Centre for Telematics and Information Technology (CTIT)
CY - Enschede
ER -