DFTCalc: a tool for efficient fault tree analysis

TitleDFTCalc: a tool for efficient fault tree analysis
Publication TypeConference Paper
Year of Publication2013
AuthorsArnold F., Belinfante A.FE, Van der Berg F.I, Guck D., Stoelinga M.IA
Conference NameProceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Toulouse, France
Date PublishedSeptember
PublisherSpringer Verlag
Conference LocationBerlin
KeywordsDynamic Fault trees, Interactive Markov chains, Reliability

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.