Ruijters, E.J.J. and Guck, D. and Drolenga, P. and Stoelinga, M.I.A.
Fault maintenance trees: reliability centered maintenance via statistical model checking.
In: Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016, 25-28 Jan 2016, Tucson, AZ, USA.
Full text available as:
Official URL: http://dx.doi.org/10.1109/RAMS.2016.7447986
The current trend in infrastructural asset management is towards risk-based (a.k.a. reliability centered) maintenance, promising better performance at lower cost. By maintaining crucial components more intensively than less important ones, dependability increases while costs decrease.
This requires good insight into the effect of maintenance on the dependability and associated costs. To gain these insights, we propose a novel framework that integrates fault tree analysis with maintenance. We support a wide range of maintenance procedures and dependability measures, including the system reliability, availability, mean time to failure, as well as the maintenance and failure costs over time, split into different cost components.
Technically, our framework is realized via statistical model checking, a state-of-the-art tool for flexible modelling and simulation. Our compositional approach is flexible and extendible. We deploy our framework to two cases from industrial practice: insulated joints, and train compressors.
|Item Type:||Conference or Workshop Paper (Full Paper, Talk)|
|Research Group:||EWI-FMT: Formal Methods and Tools|
|Research Project:||ArRangeer: smARt Railroad maintenance eNGinEERing with stochastic model checking|
|Uncontrolled Keywords:||Fault tree analysis, maintenance, repairable systems|
|Deposited On:||09 February 2016|
Export this item as:
To correct this item please ask your editor
Repository Staff Only: edit this item