DFTCalc: a tool for efficient fault tree analysis
Title | DFTCalc: a tool for efficient fault tree analysis |
Publication Type | Conference Paper |
Year of Publication | 2013 |
Authors | Arnold F., Belinfante A.FE, Van der Berg F.I, Guck D., Stoelinga M.IA |
Conference Name | Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Toulouse, France |
Date Published | September |
Publisher | Springer Verlag |
Conference Location | Berlin |
Keywords | Dynamic Fault trees, Interactive Markov chains, Reliability |
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. |
DOI | 10.1007/978-3-642-40793-2_27 |