Significant acceleration of development by automating quality assurance of a medical particle accelerator safety system using a formal language driven test stand

Pablo Fernandez Carmona, Michael Eichin, Alexandre Mayor +3

At the Centre for Proton Therapy at the Paul Scherrer Institute cancer patients are treated with a fixed beamline and in two gantries for ocular and non-ocular malignancies, respec…