Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

The control software of the CERN Compact Muon Solenoid experiment contains over 27 500 finite state machines. These state machines are organised hierarchically: commands are sent down the hierarchy and state changes are sent upwards. The sheer size of the system makes it virtually impossible to full...

Descripción completa

Detalles Bibliográficos
Autores principales: Hwong, Yi Ling, Keiren, Jeroen J.A., Kusters, Vincent J.J., Leemans, Sander, Willemse, Tim A.C.
Lenguaje:eng
Publicado: 2011
Materias:
Computing and Computers
Acceso en línea:https://dx.doi.org/10.1016/j.scico.2012.11.009
http://cds.cern.ch/record/1325265

Internet

https://dx.doi.org/10.1016/j.scico.2012.11.009
http://cds.cern.ch/record/1325265

Ejemplares similares