| Paper |
Title |
Page |
| 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.
|
|
| TUPC129 |
LHC Access System: from Design to Operation
|
1371 |
| |
- T. Pettersson, C. Delamare, S. Di Luca, S. Grau, T. Hakulinen, L. Hammouti, F. Havart, J.-F. Juget, T. Ladzinski, M. Munoz Codoceo, P. Ninin, R. Nunes
CERN, Geneva
|
|
| |
The paper describes the LHC access control and safety system project, the system's architecture and the experience gathered of commissioning it. This system is made of two parts: the LHC Access Control System and the LHC Access Safety System. Using state of the art redundant, fail-safe PLC's and a supplementary, cabled control loop the LHC Access Safety System guarantees the safety of the personnel in all events. Using industrial components, the LHC Access Control System, regulates the access to the tunnels and experimental areas by identifying the users and checking their authorisations. It allows a remote or automatic operation of the access control equipment and restricts the number of users working simultaneously in the interlocked areas. A first implementation of the architecture is now in production and ensures that only authorized personnel can enter the controlled areas of the LHC complex and this only after permission has been given by the CERN Control Centre. The design, procurement and installation of the entire system took more than 4 years and the commissioning phase lasted about 12 months.
|
|