Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor

Enno Jozef Johannes Ruijters, Dennis Guck, Peter Drolenga, Margot Peters, Mariëlle Ida Antoinette Stoelinga

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

    12 Citations (Scopus)
    96 Downloads (Pure)


    Maintenance is crucial to ensuring and improving system dependability: By performing timely inspections, repairs, and renewals the lifespan and reliability of systems can be significantly improved. Good maintenance planning, however, has to balance these improvements against the downsides of maintenance, such as costs and planned downtime. In this paper, we study the effect of different maintenance strategies on a pneumatic compressor used in trains. This compressor is critical to the operation of the train, and a failure can lead to a lengthy and expensive disruption. Within the rolling stock maintenance company NedTrain, we have modelled this compressor as a fault maintenance tree (FMT), i.e. a fault tree augmented with maintenance aspects. We show how this FMT naturally models complex maintenance plans including condition-based maintenance with regular inspections. The FMT is analysed using statistical model checking, which allows us to obtain several key performance indicators such as the system reliability, number of failures, and required unscheduled maintenance. Our analysis demonstrates that FMTs can be used to model the compressor, a practical system used in industry, including its maintenance policy. We validate this model against experiences in the field, compute the importance of performing minor services at a reasonable frequency, and find that the currently scheduled overhaul may not be cost-effective.
    Original languageUndefined
    Title of host publicationProceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016
    EditorsGul Agha, Benny Van Houdt
    Place of PublicationBerlin
    Number of pages16
    ISBN (Print)978-3-319-43424-7
    Publication statusPublished - Aug 2016
    Event13th International Conference on Quantitative Evaluation of SysTems, QEST 2016 - Hôtel Château Laurier, Quebec City, Canada
    Duration: 23 Aug 201625 Aug 2016
    Conference number: 13

    Publication series

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


    Conference13th International Conference on Quantitative Evaluation of SysTems, QEST 2016
    Abbreviated titleQEST
    CityQuebec City
    Internet address


    • Reliability analysis
    • EC Grant Agreement nr.: FP7/318003
    • EWI-27087
    • IR-100739
    • Fault Tree Analysis
    • METIS-318464
    • Fault Maintenance Trees

    Cite this