Secondment piece
Research Secondment in Rio Cuarto on Reactor Spare Management
A Project MISSION secondment on spare-management optimisation for research reactors, shaped by direct contact with domain-specific reliability concerns.
22 Jun 2024 - 20 Jul 2024Brief
ArgentinaResearch ReactorsStatistical Model Checking
Key points
A short piece on the assumptions, modeling choices, and practical relevance behind this topic.
- Reactor spare management is not just a modelling exercise; it depends on practical reliability targets and maintenance trade-offs.
- Working close to the domain made it easier to turn vague dependability goals into analysable statistical-model-checking questions.
- The secondment clarified how formal analysis should support engineering decisions rather than just produce nicer models.