Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors

Reza Soltani*, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

19 Downloads (Pure)

Abstract

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%.
Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems
Subtitle of host publication28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
EditorsAlessandro Cimatti, Laura Titolo
Place of PublicationCham, Switzerland
PublisherSpringer Nature
Pages205-223
Number of pages19
ISBN (Electronic)978-3-031-43681-9
ISBN (Print)978-3-031-43680-2
DOIs
Publication statusE-pub ahead of print/First online - 17 Sept 2023
Event28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023 - Antwerp, Belgium
Duration: 20 Sept 202322 Sept 2023
Conference number: 28

Publication series

NameLecture notes in computer science
PublisherSpringer Nature
Volume14290
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023
Abbreviated titleFMICS 2023
Country/TerritoryBelgium
CityAntwerp
Period20/09/2322/09/23

Keywords

  • 2023 OA procedure

Fingerprint

Dive into the research topics of 'Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors'. Together they form a unique fingerprint.

Cite this