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

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.
Original 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

Fingerprint

Fault tree analysis
Biomedical equipment
Model checking
Stochastic models
Risk management
Nuclear power plants

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; No. TR-CTIT-13-13).

Research output: ProfessionalReport

@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ë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",
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: ProfessionalReport

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)

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).