Abstract
Maintenance is essential to ensuring the dependability of a technical system. Periodic inspections, repairs, and renewals can prevent failures and extend a system’s lifespan. At the same time, maintenance incurs cost and planned downtime. It is therefore important to find a maintenance policy that balances cost and dependability.
This paper presents a framework, fault maintenance trees (FMTs), integrating maintenance into the industry-standard formalism of fault trees. By translating FMTs to priced timed automata and applying statistical model checking, we can obtain system dependability metrics such as system reliability and mean time to failure, as well as costs of maintenance and failures over time, for different maintenance policies.
Our framework is flexible and can be extended to include effects specific to the system being analysed. We demonstrate that our framework can be used in practice using two case studies from the railway industry: electrically insulated joints, and pneumatic compressors.
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)
Arnold, F., Belinfante, A., Van der Berg, F., Guck, D., Stoelinga, M.: DFTCalc: a tool for efficient fault tree analysis. In: Bitsch, F., Guiochet, J., Kaâniche, M. (eds.) SAFECOMP. LNCS, vol. 8153, pp. 293–301. Springer, Heidelberg (2013)
Bobbio, A., Codetta-Raiteri, D.: Parametric fault trees with dynamic gates and repair boxes. In: Proceedings 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., M. Mikuc̆ionis, D. B. Poulsen, A. Legay, Z. Wang.: UPPAAL-SMC: statistical model checking for priced timed automata. In: Proceedings of the 10th workshop on Quantitative Aspects of Programming Languages (QAPL 2012) (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)
Codetta-Raiteri, D., Franceschinis, G., Iacono, M., Vittorini, V.: Repairable fault tree for the automatic evaluation of repair policies. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN), pp. 659–668. IEEE (2004)
Gits, C.W.: Design of maintenance conceps. Int. J. Prod. Econ. 24(3), 217–226 (1992)
Moubray, J.: Reliability Centered Maintenance. Industrial Press, South Norwalk (1997)
Ruijters, E., Guck, D., Drolenga, P., Peters, M., Stoelinga, M.: Maintenance analysis and optimization via statistical model checking: evaluating a train pneumatic compressor. In: Agha, G., Van Houdt, B. (eds.) QEST 2016. LNCS, vol. 9826, pp. 331–347. Springer, Heidelberg (2016). doi:10.1007/978-3-319-43425-4_22
Ruijters, E., Guck, D., Drolenga, P., Stoelinga, M.: Fault maintenance trees: reliability centered maintenance via statistical model checking. In: Proceedings Reliability and Maintainability Symposium, January 2016
Ruijters, E., Guck, D., van Noort, M., Stoelinga, M.: Reliability-centered maintenance of the electrically insulated railway joint via fault tree analysis: a practical experience report. In: Proceedings of the International Symposium on Dependable Systems and Networks (DSN), pp. 662–669 (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. Maint. Eng. 17(1), 5–25 (2011)
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, North Bethesda (1981)
Acknowledgements
This work has been supported by the STW-ProRail partnership program ExploRail under the project ArRangeer (122238) with participation by Movares.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Ruijters, E., Stoelinga, M. (2016). Better Railway Engineering Through Statistical Model Checking. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science(), vol 9952. Springer, Cham. https://doi.org/10.1007/978-3-319-47166-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-47166-2_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47165-5
Online ISBN: 978-3-319-47166-2
eBook Packages: Computer ScienceComputer Science (R0)