Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report

Maintenance is an important way to increase system dependability: timely inspections, repairs and renewals can significantly increase a system's reliability, availability and life time. At the same time, maintenance incurs costs and planned downtime. Thus, good maintenance planning has to balance between these factors. In this paper, we study the effect of different maintenance strategies on the electrically insulated railway joint (EI-joint), a critical asset in railroad tracks for train detection, and a relative frequent cause for train disruptions. Together with experts in maintenance engineering, we have modeled the EI-joint as a fault maintenance tree (FMT), i.e. a fault tree augmented with maintenance aspects. We show how complex maintenance concepts, such as condition-based maintenance with periodic inspections, are naturally modeled by FMTs, and how several key performance indicators, such as the system reliability, number of failures, and costs, can be analysed. The faithfulness of quantitative analyses heavily depend on the accuracy of the parameter values in the models. Here, we have been in the unique situation that extensive data could be collected, both from incident registration databases, as well as from interviews with domain experts from several companies. This made that we could construct a model that faithfully predicts the expected number of failures at system level. Our analysis shows that that the current maintenance policy is close to cost-optimal. It is possible to increase joint reliability, e.g. by performing more inspections, but the additional maintenance costs outweigh the reduced cost of failures.

[1]  Ronald L. Wasserstein,et al.  Monte Carlo: Concepts, Algorithms, and Applications , 1997 .

[2]  A. Bobbio,et al.  Parametric fault trees with dynamic gates and repair boxes , 2004, Annual Symposium Reliability and Maintainability, 2004 - RAMS.

[3]  Axel Legay,et al.  Statistical Model Checking: An Overview , 2010, RV.

[4]  Laura Carnevali,et al.  A Tool Supporting Evaluation of Non-markovian Fault Trees , 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

[5]  Marielle Stoelinga,et al.  Fault maintenance trees: Reliability centered maintenance via statistical model checking , 2016, 2016 Annual Reliability and Maintainability Symposium (RAMS).

[6]  Dan M. Frangopol,et al.  Two probabilistic life-cycle maintenance models for deteriorating civil infrastructures , 2004 .

[7]  Mariëlle Stoelinga,et al.  Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools , 2014, Comput. Sci. Rev..

[8]  Frank D. Valencia,et al.  Formal Methods for Components and Objects , 2002, Lecture Notes in Computer Science.

[9]  Kim G. Larsen,et al.  UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata , 2012, QAPL.

[10]  Kerstin Buchacker,et al.  Modeling with extended fault trees , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).

[11]  W E Vesely,et al.  Fault Tree Handbook , 1987 .

[12]  Anthony M. Smith,et al.  Reliability-Centered Maintenance , 1992 .

[13]  Valeria Vittorini,et al.  Repairable fault tree for the automatic evaluation of repair policies , 2004, International Conference on Dependable Systems and Networks, 2004.

[14]  Laura Carnevali,et al.  Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis , 2013, EPEW.

[15]  Eric R. Ziegel,et al.  System Reliability Theory: Models, Statistical Methods, and Applications , 2004, Technometrics.

[16]  Kim G. Larsen,et al.  Priced Timed Automata: Algorithms and Applications , 2004, FMCO.