Modeling Future Hadron Colliders’ Availability for Physics

Niemi A, CERN

Doctoral dissertation
17 April, 2019

“This thesis presents an availability model for the Future Circular hadron Collider. The thesis validates the model against LHC operations and shows preliminary results on the FCC availability and luminosity production. Ramentor’s ELMAS software was chosen as the platform for the model. ELMAS is designed as a fault tree software. However, the developed model combines fault trees with Markov models. This feature was implemented by adding custom Java code and libraries to models. This reliance on a custom code was not the ideal solution and lead to the development of the OpenMARS approach. This approach allows combining the most common risk assessment and operation modeling techniques and connecting the models made with these techniques. This thesis presents the basic concept of this approach and shows how the collider operations model can bei mplemented with it. The discussion section also provides ideas on how the study would have proceeded if the collaboration with Ramentor Oy had not been an option and further applications of the OpenMARS approach.”