| Paper |
Title |
Page |
| MOPD030 |
The LHC radiation monitoring system for the environment and safety: from design to operation
|
514 |
| |
- L. Scibile, D. Forkel-Wirth, H. G. Menzel, D. Perrin, G. Segura Millan, P. Vojtyla, M. Widorski
CERN, Geneva
|
|
| |
The RAdiation Monitoring System for the Environment and Safety (RAMSES) has been installed and successfully commissioned. The system was originally designed for the Large Hadron Collider (LHC), it was extended to the CNGS and it is also planned to further extend it to the rest of the CERN accelerators. This state-of-the-art radiation monitoring and alarm system provides permanent ambient dose equivalent rates and ambient dose equivalent measurement in the underground areas as well as on the surface inside and outside the CERN perimeter; it permanently monitors air and water released from the LHC and CNGS installations; it also integrates some conventional environmental measurement such as physicochemical parameters of released water. This paper illustrates the experience gained during the various project phases outlining the problems encountered and the solutions implemented. In addition, it gives a first feedback on the operational experience gained with the CNGS.
|
|
| MOPD037 |
Safety Testing for LHC Access System
|
532 |
| |
- F. Valentini, T. Ladzinski, P. Ninin, L. Scibile
CERN, Geneva
|
|
| |
This paper presents the validation and verification activities carried out for the LHC Access Control and Safety System. It also presents a new strategy for the future that includes the application of formal methods based on model checking techniques, commonly used to prove the correctness of software algorithms or system functional specifications through automatic exploration of the system state space. We will show how to apply these techniques in order to automate the testing process. The paper also presents the results of the performances and the applicability of a series of tools that have been tested in order to carry out a formal correctness proof for the LHC Access System.
|
|