Pre-Operation, During Operation and Post-Operational Verification of Protection Systems

This paper will provide an overview of the software checks performed on the Beam Interlock System ensuring that the system is functioning to specification. Critical protection functions are implemented in hardware, at the same time software tools play an important role in guaranteeing the correct configuration and operation of the system during all phases of operation. This paper will describe tests carried out pre-, during- and postoperation, if protection system integrity is not sure, subsequent injections of beam into the LHC will be inhibited.