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