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 contribution

  • 4 Citations

Abstract

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.
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
PublisherSpringer Verlag
Pages331-347
Number of pages16
ISBN (Print)978-3-319-43424-7
DOIs
StatePublished - 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
http://www.qest.org/qest2016/

Publication series

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

Conference

Conference13th International Conference on Quantitative Evaluation of SysTems, QEST 2016
Abbreviated titleQEST
CountryCanada
CityQuebec City
Period23/08/1625/08/16
Internet address

Keywords

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

Cite this

Ruijters, E. J. J., Guck, D., Drolenga, P., Peters, M., & Stoelinga, M. I. A. (2016). Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor. In G. Agha, & B. Van Houdt (Eds.), Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016 (pp. 331-347). (Lecture Notes in Computer Science; Vol. 9826). Berlin: Springer Verlag. DOI: 10.1007/978-3-319-43425-4_22
Ruijters, Enno Jozef Johannes ; Guck, Dennis ; Drolenga, Peter ; Peters, Margot ; Stoelinga, Mariëlle Ida Antoinette. / Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor. Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016. editor / Gul Agha ; Benny Van Houdt. Berlin : Springer Verlag, 2016. pp. 331-347 (Lecture Notes in Computer Science).
@inproceedings{07b33df1264445319a9e03cdc6de8077,
title = "Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor",
abstract = "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.",
keywords = "Reliability analysis, EC Grant Agreement nr.: FP7/318003, EWI-27087, IR-100739, Fault Tree Analysis, METIS-318464, Fault Maintenance Trees",
author = "Ruijters, {Enno Jozef Johannes} and Dennis Guck and Peter Drolenga and Margot Peters and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
note = "Foreground = 20{\%}; Type of activity = conference publication; Main leader = UT; Type of audience = scientific community; Size of audience = 70; Countries addressed = International;",
year = "2016",
month = "8",
doi = "10.1007/978-3-319-43425-4_22",
language = "Undefined",
isbn = "978-3-319-43424-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "331--347",
editor = "Gul Agha and {Van Houdt}, Benny",
booktitle = "Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016",
address = "Germany",

}

Ruijters, EJJ, Guck, D, Drolenga, P, Peters, M & Stoelinga, MIA 2016, Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor. in G Agha & B Van Houdt (eds), Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016. Lecture Notes in Computer Science, vol. 9826, Springer Verlag, Berlin, pp. 331-347, 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016, Quebec City, Canada, 23/08/16. DOI: 10.1007/978-3-319-43425-4_22

Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor. / Ruijters, Enno Jozef Johannes; Guck, Dennis; Drolenga, Peter; Peters, Margot; Stoelinga, Mariëlle Ida Antoinette.

Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016. ed. / Gul Agha; Benny Van Houdt. Berlin : Springer Verlag, 2016. p. 331-347 (Lecture Notes in Computer Science; Vol. 9826).

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

TY - GEN

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

AU - Ruijters,Enno Jozef Johannes

AU - Guck,Dennis

AU - Drolenga,Peter

AU - Peters,Margot

AU - Stoelinga,Mariëlle Ida Antoinette

N1 - Foreground = 20%; Type of activity = conference publication; Main leader = UT; Type of audience = scientific community; Size of audience = 70; Countries addressed = International;

PY - 2016/8

Y1 - 2016/8

N2 - 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.

AB - 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.

KW - Reliability analysis

KW - EC Grant Agreement nr.: FP7/318003

KW - EWI-27087

KW - IR-100739

KW - Fault Tree Analysis

KW - METIS-318464

KW - Fault Maintenance Trees

U2 - 10.1007/978-3-319-43425-4_22

DO - 10.1007/978-3-319-43425-4_22

M3 - Conference contribution

SN - 978-3-319-43424-7

T3 - Lecture Notes in Computer Science

SP - 331

EP - 347

BT - Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016

PB - Springer Verlag

CY - Berlin

ER -

Ruijters EJJ, Guck D, Drolenga P, Peters M, Stoelinga MIA. Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor. In Agha G, Van Houdt B, editors, Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016. Berlin: Springer Verlag. 2016. p. 331-347. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-319-43425-4_22