Fault maintenance trees: reliability centered maintenance via statistical model checking

  • 9 Citations

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016
Place of PublicationUSA
PublisherIEEE
Number of pages6
ISBN (Print)978-1-5090-0248-1
DOIs
StatePublished - Jan 2016

Publication series

Name
PublisherIEEE

Fingerprint

Costs
Model checking
Fault tree analysis
Asset management
Compressors
Availability

Keywords

  • repairable systems
  • EWI-26747
  • METIS-315562
  • Maintenance
  • Fault Tree Analysis
  • IR-99367

Cite this

Ruijters, E. J. J., Guck, D., Drolenga, P., & Stoelinga, M. I. A. (2016). Fault maintenance trees: reliability centered maintenance via statistical model checking. In Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016 USA: IEEE. DOI: 10.1109/RAMS.2016.7447986

Ruijters, Enno Jozef Johannes; Guck, Dennis; Drolenga, Peter; Stoelinga, Mariëlle Ida Antoinette / Fault maintenance trees: reliability centered maintenance via statistical model checking.

Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016. USA : IEEE, 2016.

Research output: Scientific - peer-reviewConference contribution

@inbook{9b9c7bf3f2604384b24b4fb9fde79b57,
title = "Fault maintenance trees: reliability centered maintenance via statistical model checking",
abstract = "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.",
keywords = "repairable systems, EWI-26747, METIS-315562, Maintenance, Fault Tree Analysis, IR-99367",
author = "Ruijters, {Enno Jozef Johannes} and Dennis Guck and Peter Drolenga and Stoelinga, {Mariëlle Ida Antoinette}",
note = "eemcs-eprint-26747",
year = "2016",
month = "1",
doi = "10.1109/RAMS.2016.7447986",
isbn = "978-1-5090-0248-1",
publisher = "IEEE",
booktitle = "Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016",

}

Ruijters, EJJ, Guck, D, Drolenga, P & Stoelinga, MIA 2016, Fault maintenance trees: reliability centered maintenance via statistical model checking. in Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016. IEEE, USA. DOI: 10.1109/RAMS.2016.7447986

Fault maintenance trees: reliability centered maintenance via statistical model checking. / Ruijters, Enno Jozef Johannes; Guck, Dennis; Drolenga, Peter; Stoelinga, Mariëlle Ida Antoinette.

Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016. USA : IEEE, 2016.

Research output: Scientific - peer-reviewConference contribution

TY - CHAP

T1 - Fault maintenance trees: reliability centered maintenance via statistical model checking

AU - Ruijters,Enno Jozef Johannes

AU - Guck,Dennis

AU - Drolenga,Peter

AU - Stoelinga,Mariëlle Ida Antoinette

N1 - eemcs-eprint-26747

PY - 2016/1

Y1 - 2016/1

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

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

KW - repairable systems

KW - EWI-26747

KW - METIS-315562

KW - Maintenance

KW - Fault Tree Analysis

KW - IR-99367

U2 - 10.1109/RAMS.2016.7447986

DO - 10.1109/RAMS.2016.7447986

M3 - Conference contribution

SN - 978-1-5090-0248-1

BT - Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016

PB - IEEE

ER -

Ruijters EJJ, Guck D, Drolenga P, Stoelinga MIA. Fault maintenance trees: reliability centered maintenance via statistical model checking. In Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016. USA: IEEE. 2016. Available from, DOI: 10.1109/RAMS.2016.7447986