Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report
暂无分享,去创建一个
Martijn van Noort | Mariëlle Stoelinga | Dennis Guck | Enno Ruijters | Enno Ruijters | M. Stoelinga | M. Noort | Dennis Guck
[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.