DFTCalc: a tool for efficient fault tree analysis (extended version)

Florian Arnold, Axel Belinfante, Freark van der Berg, Freark Iwert van der Berg, Dennis Guck, Mariëlle Ida Antoinette Stoelinga

Research output: Book/ReportReport

Abstract

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.
LanguageUndefined
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
StatePublished - Jun 2013

Publication series

NameCTIT Technical Report Series
PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
No.TR-CTIT-13-13
ISSN (Print)1381-3625

Keywords

  • Interactive Markov chains
  • EWI-23404
  • EC Grant Agreement nr.: FP7/318003
  • Dynamic Fault Trees
  • METIS-297678
  • EC Grant Agreement nr.: FP7/2007-2013
  • IR-86711
  • Reliability

Cite this

Arnold, F., Belinfante, A., van der Berg, F., van der Berg, F. I., Guck, D., & Stoelinga, M. I. A. (2013). DFTCalc: a tool for efficient fault tree analysis (extended version). (CTIT Technical Report Series; No. TR-CTIT-13-13). Enschede: Centre for Telematics and Information Technology (CTIT).
Arnold, Florian ; Belinfante, Axel ; van der Berg, Freark ; van der Berg, Freark Iwert ; Guck, Dennis ; Stoelinga, Mariëlle Ida Antoinette. / DFTCalc: a tool for efficient fault tree analysis (extended version). Enschede : Centre for Telematics and Information Technology (CTIT), 2013. (CTIT Technical Report Series; TR-CTIT-13-13).
@book{bf83d7b54c654b10bfcc5e9eb494844c,
title = "DFTCalc: a tool for efficient fault tree analysis (extended version)",
abstract = "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.",
keywords = "Interactive Markov chains, EWI-23404, EC Grant Agreement nr.: FP7/318003, Dynamic Fault Trees, METIS-297678, EC Grant Agreement nr.: FP7/2007-2013, IR-86711, Reliability",
author = "Florian Arnold and Axel Belinfante and {van der Berg}, Freark and {van der Berg}, {Freark Iwert} and Dennis Guck and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
note = "Foreground = 20{\%}; Type of activity = technical report; Main leader = UT; Type of audience = scientific community; Size of audience = n.a.; Countries addressed = international;",
year = "2013",
month = "6",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-13-13",
address = "Netherlands",

}

Arnold, F, Belinfante, A, van der Berg, F, van der Berg, FI, Guck, D & Stoelinga, MIA 2013, DFTCalc: a tool for efficient fault tree analysis (extended version). CTIT Technical Report Series, no. TR-CTIT-13-13, Centre for Telematics and Information Technology (CTIT), Enschede.

DFTCalc: a tool for efficient fault tree analysis (extended version). / Arnold, Florian; Belinfante, Axel; van der Berg, Freark; van der Berg, Freark Iwert; Guck, Dennis; Stoelinga, Mariëlle Ida Antoinette.

Enschede : Centre for Telematics and Information Technology (CTIT), 2013. (CTIT Technical Report Series; No. TR-CTIT-13-13).

Research output: Book/ReportReport

TY - BOOK

T1 - DFTCalc: a tool for efficient fault tree analysis (extended version)

AU - Arnold,Florian

AU - Belinfante,Axel

AU - van der Berg,Freark

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 -

Arnold F, Belinfante A, van der Berg F, van der Berg FI, Guck D, Stoelinga MIA. DFTCalc: a tool for efficient fault tree analysis (extended version). Enschede: Centre for Telematics and Information Technology (CTIT), 2013. (CTIT Technical Report Series; TR-CTIT-13-13).