Systematic spare management is important to optimize the twin goals of high reliability and low costs. However, existing approaches to spare management do not incorporate a detailed analysis of the effect on the absence of spares on the system’s reliability. In this work, we combine fault tree analysis with statistical model checking to model spare part management as a stochastic priced timed game automaton (SPTGA). We use Uppaal Stratego to find the number of spares that minimizes the total costs due to downtime and spare purchasing; the resulting SPTGA model can then additionally be analyzed according to other metrics like expected availability. We apply these techniques to the emergency shutdown system of a research nuclear reactor. Our methods find the optimal spare management for a subsystem in a matter of minutes, minimizing cost while ensuring an expected availability of 99.96%.
CITATION STYLE
Soltani, R., Volk, M., Diamonte, L., Lopuhaä-Zwakenberg, M., & Stoelinga, M. (2023). Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14290 LNCS, pp. 205–223). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-43681-9_12
Mendeley helps you to discover research relevant for your work.