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 | |
Publication status | Published - Sept 2013 |
Event | 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Toulouse, France - Toulouse, France, 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), Toulouse, France |
---|---|
Abbreviated title | SAFECOMP 2013 |
Country/Territory | France |
City | Toulouse |
Period | 24/09/13 → 27/09/13 |
Internet address |
Keywords
- EC Grant Agreement nr.: FP7/318003
- EWI-23820
- EC Grant Agreement nr.: FP7/2007-2013
- METIS-300073
- Interactive Markov chains
- Reliability
- IR-87570
- Dynamic Fault Trees