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 contributionAcademicpeer-review

6 Citations (Scopus)
278 Downloads (Pure)

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
Pages304-311
Number of pages8
ISBN (Print)978-3-319-25422-7
DOIs
Publication statusPublished - 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. https://doi.org/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, 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",
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)",

}

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, Berlin, pp. 304-311, 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, 3/11/15. https://doi.org/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, 2015. p. 304-311 (Lecture Notes in Computer Science; Vol. 9407).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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)

A2 - Butler, Michael

A2 - Conchon, Sylvain

A2 - Zaïdi, Fatiha

PB - Springer

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. 2015. p. 304-311. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-25423-4_19