Dependability requirements and design compliance for interlock systems

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.