An analysis of the control hierarchy modelling of the CMS detector control system

Y.L. Hwong, T.A.C. Willemse, V.J.J. Kusters

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Abstract

The paper has 42 authors. Hwong, Willemse and Kusters are coauthors nos. 1-3. The supervisory level of the Detector Control System (DCS) of the CMS experiment is implemented using Finite State Machines (FSM), which model the behaviours and control the operations of all the sub-detectors and support services. The FSM tree of the whole CMS experiment consists of more than 30.000 nodes. An analysis of a system of such size is a complex task but is a crucial step towards the improvement of the overall performance of the FSM system. This paper presents the analysis of the CMS FSM system using the micro Common Representation Language 2 (mcrl2) methodology. Individual mCRL2 models are obtained for the FSM systems of the CMS sub-detectors using the ASF+SDF automated translation tool. Different mCRL2 operations are applied to the mCRL2 models. A mCRL2 simulation tool is used to closer examine the system. Visualization of a system based on the exploration of its state space is enabled with a mCRL2 tool. Requirements such as command and state propagation are expressed using modal mu-calculus and checked using a model checking algorithm. For checking local requirements such as endless loop freedom, the Bounded Model Checking technique is applied. This paper discusses these analysis techniques and presents the results of their application on the CMS FSM system.
Original languageEnglish
Title of host publication18th International Conference on Computing in High Energy and Nuclear Physics (CHEP 2010, Taipei, Taiwan, October 18-22, 2010)
Pages022010/1-6
DOIs
Publication statusPublished - 2011

Publication series

NameJournal of Physics: Conference Series
Volume331
ISSN (Print)1742-6588

Fingerprint

Dive into the research topics of 'An analysis of the control hierarchy modelling of the CMS detector control system'. Together they form a unique fingerprint.

Cite this