DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper)

Dennis Guck, Jip Spel, Mariëlle Ida Antoinette Stoelinga

  • 4 Citations

Abstract

Reliability, availability, maintenance and safety (RAMS) analysis is essential in the evaluation of safety critical systems like nuclear power plants and the railway infrastructure. A widely used methodology within RAMS analysis are fault trees, representing failure propagations throughout a system. We present DFTCalc, a tool-set to conduct quantitative analysis on dynamic fault trees including the effect of a maintenance strategy on the system dependability.
Original languageUndefined
Title of host publicationProceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015)
EditorsMichael Butler, Sylvain Conchon, Fatiha Zaïdi
Place of PublicationBerlin
PublisherSpringer Verlag
Pages304-311
Number of pages8
ISBN (Print)978-3-319-25422-7
DOIs
StatePublished - Nov 2015
Event17th International Conference on Formal Engineering Methods, ICFEM 2015 - Paris, France

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume9407
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference17th International Conference on Formal Engineering Methods, ICFEM 2015
Abbreviated titleICFEM
CountryFrance
CityParis
Period3/11/156/11/15

Fingerprint

Availability
Fault tree analysis
Nuclear power plants
Chemical analysis

Keywords

  • EWI-26146
  • Reliability
  • context-dependent reduction
  • IR-98698
  • Dynamic Fault Trees
  • METIS-314920
  • Maintenance

Cite this

Guck, D., Spel, J., & Stoelinga, M. I. A. (2015). DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper). In M. Butler, S. Conchon, & F. Zaïdi (Eds.), Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015) (pp. 304-311). (Lecture Notes in Computer Science; Vol. 9407). Berlin: Springer Verlag. DOI: 10.1007/978-3-319-25423-4_19

Guck, Dennis; Spel, Jip; Stoelinga, Mariëlle Ida Antoinette / DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper).

Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015). ed. / Michael Butler; Sylvain Conchon; Fatiha Zaïdi. Berlin : Springer Verlag, 2015. p. 304-311 (Lecture Notes in Computer Science; Vol. 9407).

Research output: Scientific - peer-reviewConference contribution

@inbook{582d623bc2374efda9e97672d96e0924,
title = "DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper)",
abstract = "Reliability, availability, maintenance and safety (RAMS) analysis is essential in the evaluation of safety critical systems like nuclear power plants and the railway infrastructure. A widely used methodology within RAMS analysis are fault trees, representing failure propagations throughout a system. We present DFTCalc, a tool-set to conduct quantitative analysis on dynamic fault trees including the effect of a maintenance strategy on the system dependability.",
keywords = "EWI-26146, Reliability, context-dependent reduction, IR-98698, Dynamic Fault Trees, METIS-314920, Maintenance",
author = "Dennis Guck and Jip Spel and Stoelinga, {Mariëlle Ida Antoinette}",
note = "http://fmt.ewi.utwente.nl/puptol/dftcalc/",
year = "2015",
month = "11",
doi = "10.1007/978-3-319-25423-4_19",
isbn = "978-3-319-25422-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "304--311",
editor = "Michael Butler and Sylvain Conchon and Fatiha Zaïdi",
booktitle = "Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015)",
address = "Germany",

}

Guck, D, Spel, J & Stoelinga, MIA 2015, DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper). in M Butler, S Conchon & F Zaïdi (eds), Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015). Lecture Notes in Computer Science, vol. 9407, Springer Verlag, Berlin, pp. 304-311, 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, 3-6 November. DOI: 10.1007/978-3-319-25423-4_19

DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper). / Guck, Dennis; Spel, Jip; Stoelinga, Mariëlle Ida Antoinette.

Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015). ed. / Michael Butler; Sylvain Conchon; Fatiha Zaïdi. Berlin : Springer Verlag, 2015. p. 304-311 (Lecture Notes in Computer Science; Vol. 9407).

Research output: Scientific - peer-reviewConference contribution

TY - CHAP

T1 - DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper)

AU - Guck,Dennis

AU - Spel,Jip

AU - Stoelinga,Mariëlle Ida Antoinette

N1 - http://fmt.ewi.utwente.nl/puptol/dftcalc/

PY - 2015/11

Y1 - 2015/11

N2 - Reliability, availability, maintenance and safety (RAMS) analysis is essential in the evaluation of safety critical systems like nuclear power plants and the railway infrastructure. A widely used methodology within RAMS analysis are fault trees, representing failure propagations throughout a system. We present DFTCalc, a tool-set to conduct quantitative analysis on dynamic fault trees including the effect of a maintenance strategy on the system dependability.

AB - Reliability, availability, maintenance and safety (RAMS) analysis is essential in the evaluation of safety critical systems like nuclear power plants and the railway infrastructure. A widely used methodology within RAMS analysis are fault trees, representing failure propagations throughout a system. We present DFTCalc, a tool-set to conduct quantitative analysis on dynamic fault trees including the effect of a maintenance strategy on the system dependability.

KW - EWI-26146

KW - Reliability

KW - context-dependent reduction

KW - IR-98698

KW - Dynamic Fault Trees

KW - METIS-314920

KW - Maintenance

U2 - 10.1007/978-3-319-25423-4_19

DO - 10.1007/978-3-319-25423-4_19

M3 - Conference contribution

SN - 978-3-319-25422-7

T3 - Lecture Notes in Computer Science

SP - 304

EP - 311

BT - Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015)

PB - Springer Verlag

ER -

Guck D, Spel J, Stoelinga MIA. DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper). In Butler M, Conchon S, Zaïdi F, editors, Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015). Berlin: Springer Verlag. 2015. p. 304-311. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-319-25423-4_19