Dependability Requirements and Design Compliance for Interlock Systems

Patrice Nouvel (1, 2) , Puccio Bruno (2) , Jonker Michael (2) , Hélène Tap (3)

1 LAAS - Laboratoire d'analyse et d'architecture des systèmes
2 CERN - European Organization for Nuclear Research
3 LAAS-OSE - Équipe Optoélectronique pour les Systèmes Embarqués

In systems engineering process, an early stage is to set up and analyze the system requirements. In high energy machine field, the protection systems have challenging dependability requirements to reach the needed system safety level. This paper presents a new methodology to determine dependability requirements for Interlock systems. This methodology is applied to the future Compact LInear Collider (CLIC) study. Going further, it is extended to check a design proposal compliance with these requirements.

Mots clés: linear colliders; machine control; machine protection; safety systems engineering

Domaines: Electronique

Patrice Nouvel, Puccio Bruno, Jonker Michael, Hélène Tap. Dependability Requirements and Design Compliance for Interlock Systems. Control and Fault-Tolerant Systems (SysTol), 2013 Conference on, Oct 2013, Nice, France. 6p., ⟨10.1109/SysTol.2013.6693884⟩. ⟨hal-00942197⟩