Design, Development and Verification of the Detector Control System for the TOTEM experiment at the CERN LHC

This thesis details how the Detector Control System for the TOTEM experiment at CERN LHC is designed. The TOTEM experiment is composed by three detectors called 'Roman Pots', 'T1' and 'T2'. The controlled subsystems include environmental monitors, high voltage and low voltage power supplies, cooling plants,... The thesis also shows the state of the art at CERN control systems. Comparisons with industry technologies and standards are done wherever possible. A novel way to define and process automatically the wire connectivity and the logic is presented. This representation is automatically processed. The data produced by the sensors, and the bus usage, is studied using an information theory approach. Temporal considerations about the readout of the sensors, data transmission and processing are taken into account.