Fault maintenance trees: reliability centered maintenance via statistical model checking

Enno J.J. Ruijters, Dennis Guck, Peter Drolenga, Mariëlle I.A. Stoelinga

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

    29 Citations (Scopus)
    394 Downloads (Pure)


    The current trend in infrastructural asset management is towards risk-based (a.k.a. reliability centered) maintenance, promising better performance at lower cost. By maintaining crucial components more intensively than less important ones, dependability increases while costs decrease. This requires good insight into the effect of maintenance on the dependability and associated costs. To gain these insights, we propose a novel framework that integrates fault tree analysis with maintenance. We support a wide range of maintenance procedures and dependability measures, including the system reliability, availability, mean time to failure, as well as the maintenance and failure costs over time, split into different cost components. Technically, our framework is realized via statistical model checking, a state-of-the-art tool for flexible modelling and simulation. Our compositional approach is flexible and extendible. We deploy our framework to two cases from industrial practice: insulated joints, and train compressors.
    Original languageEnglish
    Title of host publicationProceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016
    Place of PublicationPiscataway, NJ
    Number of pages6
    ISBN (Print)978-1-5090-0248-1, 978-1-5090-0249-8
    Publication statusPublished - Jan 2016
    EventIEEE 62nd Annual Reliability and Maintainability Symposium - Phoenix, United States
    Duration: 25 Jan 201628 Jan 2016
    Conference number: 62


    ConferenceIEEE 62nd Annual Reliability and Maintainability Symposium
    Abbreviated titleRAMS 2016
    Country/TerritoryUnited States
    Internet address


    • Repairable systems
    • Maintenance
    • Fault tree analysis


    Dive into the research topics of 'Fault maintenance trees: reliability centered maintenance via statistical model checking'. Together they form a unique fingerprint.

    Cite this