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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alrabghi, A., Tiwari, A.: State of the art in simulation-based optimisation for maintenance systems. Comput. Ind. Eng. 82, 167ā182 (2015)
Behrmann, G., Larsen, K.G., Rasmussen, J.I.: Priced timed automata: algorithms and applications. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol. 3657, pp. 162ā182. Springer, Heidelberg (2005)
Bobbio, A., Codetta-Raiteri, D.: Parametric fault trees with dynamic gates and repair boxes. In: Proceedings of the Reliability and Maintainability Symposium, pp. 459ā465 (2004)
Bucci, G., Carnevali, L., Vicario, E.: A tool supporting evaluation of non-markovian fault trees. In: Proceedings of the 5th International Conference on Quantitative Evaluation of Systems (QEST), pp. 115ā116, September 2008
Buchacker, K.: Modeling with extended fault trees. In: Proceedings of the 5th IEEE International Symposium on High Assurance Systems Engineering (HASE), pp. 238ā246 (2000)
Bulychev, P., David, A., Larsen, K.G., MikucĢionis, M., Poulsen, D.B., Legay, A., Wang, Z.: UPPAAL-SMC: statistical model checking for priced timed automata. In: Proceedings of 10th Workshop on Quantitative Aspects of Programming Languages (2012)
Carnevali, L., Paolieri, M., Tadano, K., Vicario, E.: Towards the quantitative evaluation of phased maintenance procedures using non-Markovian regenerative analysis. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds.) EPEW 2013. LNCS, vol. 8168, pp. 176ā190. Springer, Heidelberg (2013)
Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: Proceedings of Reliability and Maintainability Symposium, pp. 286ā293 (1990)
Fishman, G.: Monte Carlo: Concepts, Algorithms, and Applications. Springer, Heidelberg (1996)
Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., RoÅu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 122ā135. Springer, Heidelberg (2010)
Ruijters, E., Guck, D., Drolenga, P., Stoelinga, M.: Fault maintenance trees: reliability centered maintenance via statistical model checking. In: Proceedings of Reliability and Maintainability Symposium, January 2016
Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15ā16, 29ā62 (2015)
Sharma, A., Yadava, G.S., Deshmukh, S.G.: A literature review and future perspectives on maintenance optimization. J. Qual. Maintenance Eng. 17(1), 5ā25 (2011)
van Noortwijk, J.M., Frangopol, D.M.: Two probabilistic life-cycle maintenance models for deteriorating civil infrastructures. Probab. Eng. Mech. 19(4), 345ā359 (2004)
Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. Office of Nuclear Regulatory Reasearch, U.S. Nuclear Regulatory Commision, Washington, DC (1981)
Westinghouse, G.: Improvement in steam-power-brake devices. US Patent 88,929 (1869)
Acknowledgements
This work has been supported by STW and ProRail under the project ArRangeer (122238), the EU FP7 project TREsPASS (318003), and the NWO project BEAT (612.001.303).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Ruijters, E., Guck, D., Drolenga, P., Peters, M., Stoelinga, M. (2016). Maintenance Analysis and Optimization via Statistical Model Checking. In: Agha, G., Van Houdt, B. (eds) Quantitative Evaluation of Systems. QEST 2016. Lecture Notes in Computer Science(), vol 9826. Springer, Cham. https://doi.org/10.1007/978-3-319-43425-4_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-43425-4_22
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-43424-7
Online ISBN: 978-3-319-43425-4
eBook Packages: Computer ScienceComputer Science (R0)