Design, development and verification of the detector control system for the TOTEM experiment at the CERN LHC

Abstract

Esta tesis detalla cómo está diseñado el Sistema de Control de Detectores del experimento TOTEM en el acelador LHC del CERN. Dicho experimento incluye los detectores llamados `Roman Pots', `T1' y `T2'. Algunos de los subsistemas a controlar son fuentes de alta y baja tensión, sensores ambientales, sistemas de refrigeración,"¦ Igualmente, se hace un estudio del estado del arte de los sistemas de control en el CERN, comparando en la medida de lo posible con desarrollos industriales y posibles estándares. Se presenta una formalización para el conexionado del experimento y la descripción de la lógica operativa. Dicha formalización es procesada automáticamente. También se detalla desde un punto de vista de teoría de la información generada en los diferentes sensores, la utilización de los buses de comunicación, el análisis temporal de dichos buses y las máquinas de estados que gestionan la lógica operativa.