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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 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.
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
Duration: 3 Nov 20156 Nov 2015
Conference number: 17

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

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). editor / Michael Butler ; Sylvain Conchon ; Fatiha Zaïdi. Berlin : Springer Verlag, 2015. pp. 304-311 (Lecture Notes in Computer Science).
@inproceedings{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{\"e}lle Ida Antoinette}",
note = "http://fmt.ewi.utwente.nl/puptol/dftcalc/",
year = "2015",
month = "11",
doi = "10.1007/978-3-319-25423-4_19",
language = "Undefined",
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{\"i}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/11/15. 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: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

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

CY - Berlin

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