DFTCalc: A Tool for Efficient Fault Tree Analysis

Abstract

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.

Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

“…The program DFTCalc was developed by Arnold et al [116] to analyze reliability and availability of DFT using the I/O IMC methodology.…”

Uncovering Dynamic Fault Trees

“…SEQs are not included. Tool-support is given by DFTCalc [43], which includes support for evidence by replacing BEs with constants.…”

DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper)

“…Finally, the requested dependability metrics, which are (a) the reliability for one or more mission times T , or (b) the probability on a system failure during an interval [T 1 , T 2 ], or (c) the mean time to failure, can be computed. A complete description of DFTCalc can be found in [1].…”

“…A first version of DFTCalc was reported in [1] concerning fault tree analysis only. This paper reports the extensions of DFTCalc with preventive and corrective maintenance models and their analysis.…”