First Operational Experience of DSL based Analysis Modules for the LHC Powering Tests

C Aguilera, Maxime Audrain, S Boychenko, Zinour Charifoulline, Matei Dragu, R Heil, Mateusz Koza, Kamil Krol, Jean-Christoph Garnier, R Orlandi, T Ribeiro, Scott Rowan, K Stamos, Markus Zerlauth

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The superconducting magnet system of the Large Hadron Collider (LHC) has been fully re-commissioned ahead of the second run of physics production in 2015. More than 20,000 tests had to be performed and analysed to qualify around 1600 electrical circuits for operation at 6.5TeV. Automated analysis modules, defined directly by the various system experts in an English-like domain specific language (DSL), have been used successfully within the Accelerator Testing framework (AccTesting) during the latest re-commissioning campaign. For this, the experts define pass criteria for the powering tests, which are automatically verified, via assertion modules, in order for the test to pass. These modules currently analyse 4 test types executed for more than 1000 systems and even allowed experts to identify issues, which are missed by manual analysis during previous campaigns. This paper describes the first operational experience with such kind of analysis modules, as well as a follow-up analysis of the results compared with previous commissioning campaigns. The analysis looks at potential shortcomings of the framework and attempts to improve the dependability of automated analysis with regards to high current (>IkA) circuits of the LHC are outlined.
Original languageEnglish
Title of host publicationProceedings of the 6th International Particle Accelerator Conference (IPAC), (Richmond, VA, 3-8 March 2015)
Pages1073-1075
Number of pages3
ISBN (Electronic)9783954501687
Publication statusPublished - May 2015
Externally publishedYes
Event6th International Particle Accelerator Conference - Thomas Jefferson National Acceleration Facility, Richmond, United States
Duration: 3 May 20158 May 2015
Conference number: 6

Conference

Conference6th International Particle Accelerator Conference
Abbreviated titleIPAC 2015
CountryUnited States
CityRichmond
Period3/05/158/05/15

Fingerprint

modules
expert systems
superconducting magnets
high current
accelerators
physics

Cite this

Aguilera, C., Audrain, M., Boychenko, S., Charifoulline, Z., Dragu, M., Heil, R., ... Zerlauth, M. (2015). First Operational Experience of DSL based Analysis Modules for the LHC Powering Tests. In Proceedings of the 6th International Particle Accelerator Conference (IPAC), (Richmond, VA, 3-8 March 2015) (pp. 1073-1075). [MOPTY059]
Aguilera, C ; Audrain, Maxime ; Boychenko, S ; Charifoulline, Zinour ; Dragu, Matei ; Heil, R ; Koza, Mateusz ; Krol, Kamil ; Garnier, Jean-Christoph ; Orlandi, R ; Ribeiro, T ; Rowan, Scott ; Stamos, K ; Zerlauth, Markus. / First Operational Experience of DSL based Analysis Modules for the LHC Powering Tests. Proceedings of the 6th International Particle Accelerator Conference (IPAC), (Richmond, VA, 3-8 March 2015). 2015. pp. 1073-1075
@inproceedings{6d07686f24944a76986f7383996e48be,
title = "First Operational Experience of DSL based Analysis Modules for the LHC Powering Tests",
abstract = "The superconducting magnet system of the Large Hadron Collider (LHC) has been fully re-commissioned ahead of the second run of physics production in 2015. More than 20,000 tests had to be performed and analysed to qualify around 1600 electrical circuits for operation at 6.5TeV. Automated analysis modules, defined directly by the various system experts in an English-like domain specific language (DSL), have been used successfully within the Accelerator Testing framework (AccTesting) during the latest re-commissioning campaign. For this, the experts define pass criteria for the powering tests, which are automatically verified, via assertion modules, in order for the test to pass. These modules currently analyse 4 test types executed for more than 1000 systems and even allowed experts to identify issues, which are missed by manual analysis during previous campaigns. This paper describes the first operational experience with such kind of analysis modules, as well as a follow-up analysis of the results compared with previous commissioning campaigns. The analysis looks at potential shortcomings of the framework and attempts to improve the dependability of automated analysis with regards to high current (>IkA) circuits of the LHC are outlined.",
author = "C Aguilera and Maxime Audrain and S Boychenko and Zinour Charifoulline and Matei Dragu and R Heil and Mateusz Koza and Kamil Krol and Jean-Christoph Garnier and R Orlandi and T Ribeiro and Scott Rowan and K Stamos and Markus Zerlauth",
year = "2015",
month = "5",
language = "English",
pages = "1073--1075",
booktitle = "Proceedings of the 6th International Particle Accelerator Conference (IPAC), (Richmond, VA, 3-8 March 2015)",

}

Aguilera, C, Audrain, M, Boychenko, S, Charifoulline, Z, Dragu, M, Heil, R, Koza, M, Krol, K, Garnier, J-C, Orlandi, R, Ribeiro, T, Rowan, S, Stamos, K & Zerlauth, M 2015, First Operational Experience of DSL based Analysis Modules for the LHC Powering Tests. in Proceedings of the 6th International Particle Accelerator Conference (IPAC), (Richmond, VA, 3-8 March 2015)., MOPTY059, pp. 1073-1075, 6th International Particle Accelerator Conference, Richmond, United States, 3/05/15.

First Operational Experience of DSL based Analysis Modules for the LHC Powering Tests. / Aguilera, C; Audrain, Maxime; Boychenko, S; Charifoulline, Zinour; Dragu, Matei; Heil, R; Koza, Mateusz; Krol, Kamil; Garnier, Jean-Christoph; Orlandi, R; Ribeiro, T; Rowan, Scott; Stamos, K; Zerlauth, Markus.

Proceedings of the 6th International Particle Accelerator Conference (IPAC), (Richmond, VA, 3-8 March 2015). 2015. p. 1073-1075 MOPTY059.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - First Operational Experience of DSL based Analysis Modules for the LHC Powering Tests

AU - Aguilera, C

AU - Audrain, Maxime

AU - Boychenko, S

AU - Charifoulline, Zinour

AU - Dragu, Matei

AU - Heil, R

AU - Koza, Mateusz

AU - Krol, Kamil

AU - Garnier, Jean-Christoph

AU - Orlandi, R

AU - Ribeiro, T

AU - Rowan, Scott

AU - Stamos, K

AU - Zerlauth, Markus

PY - 2015/5

Y1 - 2015/5

N2 - The superconducting magnet system of the Large Hadron Collider (LHC) has been fully re-commissioned ahead of the second run of physics production in 2015. More than 20,000 tests had to be performed and analysed to qualify around 1600 electrical circuits for operation at 6.5TeV. Automated analysis modules, defined directly by the various system experts in an English-like domain specific language (DSL), have been used successfully within the Accelerator Testing framework (AccTesting) during the latest re-commissioning campaign. For this, the experts define pass criteria for the powering tests, which are automatically verified, via assertion modules, in order for the test to pass. These modules currently analyse 4 test types executed for more than 1000 systems and even allowed experts to identify issues, which are missed by manual analysis during previous campaigns. This paper describes the first operational experience with such kind of analysis modules, as well as a follow-up analysis of the results compared with previous commissioning campaigns. The analysis looks at potential shortcomings of the framework and attempts to improve the dependability of automated analysis with regards to high current (>IkA) circuits of the LHC are outlined.

AB - The superconducting magnet system of the Large Hadron Collider (LHC) has been fully re-commissioned ahead of the second run of physics production in 2015. More than 20,000 tests had to be performed and analysed to qualify around 1600 electrical circuits for operation at 6.5TeV. Automated analysis modules, defined directly by the various system experts in an English-like domain specific language (DSL), have been used successfully within the Accelerator Testing framework (AccTesting) during the latest re-commissioning campaign. For this, the experts define pass criteria for the powering tests, which are automatically verified, via assertion modules, in order for the test to pass. These modules currently analyse 4 test types executed for more than 1000 systems and even allowed experts to identify issues, which are missed by manual analysis during previous campaigns. This paper describes the first operational experience with such kind of analysis modules, as well as a follow-up analysis of the results compared with previous commissioning campaigns. The analysis looks at potential shortcomings of the framework and attempts to improve the dependability of automated analysis with regards to high current (>IkA) circuits of the LHC are outlined.

M3 - Conference contribution

SP - 1073

EP - 1075

BT - Proceedings of the 6th International Particle Accelerator Conference (IPAC), (Richmond, VA, 3-8 March 2015)

ER -

Aguilera C, Audrain M, Boychenko S, Charifoulline Z, Dragu M, Heil R et al. First Operational Experience of DSL based Analysis Modules for the LHC Powering Tests. In Proceedings of the 6th International Particle Accelerator Conference (IPAC), (Richmond, VA, 3-8 March 2015). 2015. p. 1073-1075. MOPTY059