ICALEPCS2017 - List of Authors (Blanco Vinuela, E.)

Paper	Title	Page
MOCPL03	PROFINET Communication Card for the CERN Cryogenics Crate Electronics Instrumentation	59
	R.K. Mastyna, E. Blanco Viñuela, J. Casas, N. Trikoupis CERN, Geneva, Switzerland M. Felser BFH, Bern, Switzerland
	The ITER-CERN collaboration agreement initiated the development of a PROFINET communication interface which may replace the WorldFIP interface in non-radiation areas. The main advantage of PROFINET is a simplified integration within the CERN controls infrastructure that is based on Programmable Logic Controllers (PLCs). CERN prepared the requirements and subcontracted the design of a communication card prototype to the Technical University of Bern. The designed PROFINET card prototype uses the NetX Integrated Circuit (IC) for PROFINET communication and a FPGA to collect the electrical signals from the back-panel (electrical signals interface for instrumentation conditioning cards). CERN is implementing new functionalities involving programming, automation engineering and electronics circuit design. The communication between the card and higher layers of control is based on the OPC UA protocol. The configuration files supporting new types of instrumentation cards are being developed and are compatible with the SIEMENS SIMATIC automation environment. It is worth to mention that all required data calculations and protocol handling are performed using a single netX50 chip.
	Talk as video stream: https://youtu.be/sbCUmUi8VVc
	Slides MOCPL03 [3.277 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-MOCPL03
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

MODPL02	Virtual Control Commissioning for a Large Critical Ventilation System: The CMS Cavern Use Case	92
	W. Booth, E. Blanco Viñuela, B. Bradu, S. Sourisseau CERN, Geneva, Switzerland
	The current cavern ventilation control system of the CMS experiment at CERN is based on components which are already obsolete: the SCADA system, or close to the end of life: the PLCs. The control system is going to be upgraded during the CERN Long Shutdown 2 (2019-2020) and will be based on the CERN industrial control standard: UNICOS employing WinCC OA as SCADA and Schneider PLCs. Due to the critical nature of the CMS ventilation installation and the short allowed downtime, the approach was to design an environment based on the virtual commissioning of the new control. This solution uses a first principles model of the ventilation system to simulate the real process. The model was developed with the modelling and simulation software EcosimPro. In addition, the current control application of the cavern ventilation will also be re-engineered as it is not completely satisfactory in some transients where many sequences are performed manually and some pressure fluctuations observed could potentially cause issues to the CMS detector. The plant model will also be used to validate new regulation schemes and transient sequences offline in order to ensure a smooth operation in production.
	Talk as video stream: https://youtu.be/NVzClA1dSxc
	Slides MODPL02 [3.318 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-MODPL02
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

TUPHA201	UNICOS Framework and EPICS: A Possible Integration	915
	M. Ritzert Heidelberg University, Heidelberg, Germany E. Blanco Viñuela, M. Ostrega, L. Zwalinski CERN, Geneva, Switzerland
	Funding: This work has been supported by the German Federal Ministry of Education and Research (BMBF). UNICOS (UNified Industrial Control System) is a CERN-made framework to develop industrial control applications. It follows a methodology based on ISA-88 and provides components in two layers of a control system: control and supervision. The control logic is running in the first layer, in a PLC (Programmable Logic Controller), and, in the second layer, a SCADA (Supervisory Control and Data Acquisition) system is used to interface with the operators and numerous other features (e.g. alarms, archiving, etc.). UNICOS supports SIEMENS WinCC OA as the SCADA system. In this paper, we propose to use EPICS (Experimental Physics and Industrial Control System) as the supervision component of the UNICOS framework. The use case is the control system of a CO2 cooling plant developed at CERN following the UNICOS methodology, which had to be integrated in a control system based on EPICS. The paper describes the methods and actions taken to make this integration feasible, including automatic EPICS database generation, PLC communications, visualization widgets, faceplates and synoptics and their integration into CSS and EPICS, as well as the integration with the BEAST alarm system.
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA201
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

WEAPL02	Automatic PID Performance Monitoring Applied to LHC Cryogenics	1017
	B. Bradu, E. Blanco Viñuela, R. Marti, F.M. Tilaro CERN, Geneva, Switzerland
	At CERN, the LHC (Large Hadron Collider) cryogenic system employs about 4900 PID (Proportional Integral Derivative) regulation loops distributed over the 27 km of the accelerator. Tuning all these regulation loops is a complex task and the systematic monitoring of them should be done in an automated way to be sure that the overall plant performance is improved by identifying the poorest performing PID controllers. It is nearly impossible to check the performance of a regulation loop with a classical threshold technique as the controlled variables could evolve in large operation ranges and the amount of data cannot be manually checked daily. This paper presents the adaptation and the application of an existing regulation indicator performance algorithm on the LHC cryogenic system and the different results obtained in the past year of operation. This technique is generic for any PID feedback control loop, it does not use any process model and needs only a few tuning parameters. The publication also describes the data analytics architecture and the different tools deployed on the CERN control infrastructure to implement the indicator performance algorithm.
	Talk as video stream: https://youtu.be/7dCglp2Pn_c
	Slides WEAPL02 [1.651 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-WEAPL02
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THCPA01	Safety Instrumented Systems and the AWAKE Plasma Control as a Use Case	1206
	E. Blanco Viñuela, H.F. Braunmuller, B. Fernández Adiego, R. Speroni CERN, Geneva, Switzerland
	Safety is likely the most critical concern in many process industries, yet there is a general uncertainty on the proper engineering to reduce the risks and ensure the safety of persons or material at the same time of providing the process control system. Some of the reasons for this misperception are unclear requirements, lack of functional safety engineering knowledge or incorrect protection functionalities attributed to the BPCS (Basic Process Control System). Occasionally the control engineers are not aware of the hazards inherent to an industrial process and this causes the lack of the right design of the overall controls. This paper illustrates the engineering of the SIS (Safety Instrumented System) and the BPCS of the plasma vapour controls of the AWAKE R&D project, the first proton-driven plasma wakefield acceleration experiment in the world. The controls design and implementation refers to the IEC61511/ISA84 standard, including technological choices, design, operation and maintenance. Finally, the publication reveals usual difficulties appearing in such kind of industrial installations and the actions to be done to ensure the proper functional safety system design.
	Slides THCPA01 [6.199 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THCPA01
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA016	The UNICOS-CPC Vacuum Controls Package	1370
	S. Blanchard, M. Bes, E. Blanco Viñuela, W. Booth, B. Bradu, R. Ferreira, P. Gomes, A. Gutierrez, A.P. Rocha, T.H. van Winden CERN, Geneva, Switzerland L. Kopylov IHEP, Moscow Region, Russia
	The vacuum control of the Large Hadron Collider and its injectors is based on PLC and SCADA off-the-shelf components. Since late '90s, CERN's vacuum group has developed a dedicated control framework to drive, monitor and log the more than 10 000 vacuum instruments. Also, in 1998, CERN's industrial controls group developed the UNICOS framework (UNified Industrial Control System), becoming a de facto standard of industrial control systems and gradually deployed in different domains at CERN (e.g. Cryogenics, HVAC…). After an initial prototype applying the UNICOS-CPC (Continuous Process Control) framework to the controls of some vacuum installations, both teams have been working on the development of vacuum-specific objects and their integration, together with new features, into the UNICOS framework. Such convergence will allow this generic framework to better fit the vacuum systems, while offering the advantages of using a widespread and well-supported framework. This paper reports on the experience acquired in the development and deployment of vacuum specific objects in running installations, as a prototype for the vacuum controls convergence with UNICOS.
	Poster THPHA016 [1.062 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA016
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA030	Online Analysis for Anticipated Failure Diagnostics of the CERN Cryogenic Systems	1412
	Ph. Gayet, E. Blanco Viñuela, B. Bradu, R. Cirillo CERN, Geneva, Switzerland
	The cryogenic system is one of the most critical component of the CERN Large Hadron Collider (LHC) and its associated experiments ATLAS and CMS. In the past years, the cryogenic team has improved the maintenance plans, the operation procedures and achieved a very high reliability. However, as the recovery time after failure remains the major issue for the cryogenic availability new developments must take place. A new online diagnostic tool is developed to identify and anticipate failures of cryogenics field equipment, based on the acquired knowledge on dynamic simulation for the cryogenic equipment and on previous data analytic studies. After having identified the most critical components, we will develop their associated models together with the signature of their failure modes. The proposed tools will detect deviation between the actual systems and their model or identify preliminary failure signatures. This information will allow the operation team to take early mitigating actions before the failure occurrence.
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA030
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA144	Industrial Stepping Motors Integration in the UNICOS-CPC Framework	1720
	J. Fernandez Cortes, E. Blanco Viñuela, L.A. Gonzalez CERN, Geneva, Switzerland
	A large number of movable devices are present in the field of accelerators and must often be integrated in a control system. Typical examples of these systems are phase shifters and magnetic dipoles among others. The standard industrial control system UNICOS-CPC (UNified Industrial COntrol System for Continuous Process Control) provides a set of generic device types which matches the majority of the industrial equipment employed in process control. This new development extends it with additional device types for precise positioning equipment based on stepping motors. The paper focuses on how the integration on UNICOS was fulfilled, the potential use of the solution and the automatic integration with the CERN real-time FESA (FrontEnd Software Architecture) framework. Finally, it illustrates a couple of use cases that already incorporate the solution: the CTF3 facility, the two-beam acceleration scheme envisioned for CLIC (Compact Linear Collider) and the EuroCirCol project for the measurements of the beam screen prototype for the FCC-hh (Future Circular Collider proton-proton).
	Poster THPHA144 [1.201 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA144
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA150	Introducing Fast Interlocks in the UNICOS-CPC Framework	1742
	J.O. Ortola Vidal, E. Blanco Viñuela, M. Vazquez Muñiz CERN, Geneva, Switzerland
	The CERN UNified Industrial COntrol System framework (UNICOS) with its Continuous Control Package (UNICOS-CPC) is the CERN standard solution for the design and implementation of continuous industrial process control applications. The need of adapting the framework capabilities to the different processes at CERN has brought new challenges. Reacting as fast as possible to an interlock situation to protect equipment is a new requirement which has been introduced in UNICOS-CPC. This paper present the challenges, design and test results of the seamless integration of fast interlocks capabilities in the current UNICOS-CPC package based on conventional PLCs (Programmable Logic Controllers), with a heightened level of flexibility and maturity. The first implementation is employing SIEMENS PLCs but the underlying technique is extensible to the other UNICOS-CPC compliant platforms.
	Poster THPHA150 [0.428 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA150
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA159	What is Special About PLC Software Model Checking?	1781
	D. Darvas, I. Majzik BUTE, Budapest, Hungary E. Blanco Viñuela CERN, Geneva, Switzerland
	Model checking is a formal verification technique to check given properties of models, designs or programs with mathematical precision. Due to its high knowledge and resource demand, the use of model checking is restricted mainly to core parts of highly critical systems. However, we and many other authors have argued that automated model checking of PLC programs is feasible and beneficial in practice. In this paper we aim to explain why model checking is applicable to PLC programs even though its use for software in general is too difficult. We present an overview of the particularities of PLC programs which influence the feasibility and complexity of their model checking. Furthermore, we list the main challenges in this domain and the solutions proposed in previous works.
	Poster THPHA159 [0.444 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA159
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA160	Experience With Static PLC Code Analysis at CERN	1787
	C. Tsiplaki Spiliopoulou, E. Blanco Viñuela, B. Fernández Adiego CERN, Geneva, Switzerland
	The large number of industrial control systems based on PLCs (Programmable Logic Controllers) available at CERN implies a huge number of programs and lines of code. The software quality assurance becomes a key point to ensure the reliability of the control systems. Static code analysis is a relatively easy-to-use, simple way to find potential faults or error-prone parts in the source code. While static code analysis is widely used for general purpose programming languages (e.g. Java, C), this is not the case for PLC programs. We have analyzed the possibilities and the gains to be expected from applying static analysis to the PLC code used at CERN, based on the UNICOS framework. This paper reports on our experience with the method and the available tools and sketches an outline for future work to make this analysis method practically applicable.
	Poster THPHA160 [0.555 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA160
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA161	Applying Model Checking to Critical PLC Applications: An ITER Case Study	1792
	B. Fernández Adiego, E. Blanco Viñuela, D. Darvas CERN, Geneva, Switzerland B. Avinashkrishna, Y.C. Gaikwad, S. Sreekuttan Tata Consultancy Services, Pune, India G.S. Lee Mobiis Co., Ltd., Seoul, Republic of Korea R. Pedica Vitrociset s.p.a, Roma, Italy I. Prieto Diaz IBERINCO, Madrid, Spain Gy. Sallai BUTE, Budapest, Hungary
	The development of critical systems requires the application of verification techniques in order to guarantee that the requirements are met in the system. Standards like IEC 61508 provide guidelines and recommend the use of formal methods for that purpose. The ITER Interlock Control System has been designed to protect the tokamak and its auxiliary systems from failures of the components or incorrect machine operation. ITER has developed a method to assure that some critical operator commands have been correctly received and executed in the PLC (Programmable Logic Controller). The implementation of the method in a PLC program is a critical part of the interlock system. A methodology designed at CERN has been applied to verify this PLC program. The methodology is the result of 5 years of research in the applicability of model checking to PLC programs. A proof-of-concept tool called PLCverif implements this methodology. This paper presents the challenges and results of the ongoing collaboration between CERN and ITER on formal verification of critical PLC programs.
	Poster THPHA161 [0.457 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA161
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

FRBPL04	PLC Based Control Systems
	E. Blanco Viñuela CERN, Geneva, Switzerland
	This workshop intends to create a collaborative space where attendees will show their best practices, tools employed and return of experience when engineering PLC based control systems. This time the workshop focuses specifically the management of the control applications. Precise topics that will be addressed: - Specifications, requirements trace, documents: analysis, design, implementation - Software development: standards and/or frameworks, novel paradigms (e.g. automatic code generation, object orientation), language choice and coding conventions, best practices. - Testing and verification: methodologies and tests (FAT, SAT), simulation, static analysis, verification (e.g. formal methods) - Application management: versioning, deployment, online changes, upgrades, reverse engineering
	Talk as video stream: https://youtu.be/1vuwywSo98E
	Slides FRBPL04 [4.584 MB]
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

Paper

Title

Page

PROFINET Communication Card for the CERN Cryogenics Crate Electronics Instrumentation

59

R.K. Mastyna, E. Blanco Viñuela, J. Casas, N. Trikoupis
CERN, Geneva, Switzerland
M. Felser
BFH, Bern, Switzerland

The ITER-CERN collaboration agreement initiated the development of a PROFINET communication interface which may replace the WorldFIP interface in non-radiation areas. The main advantage of PROFINET is a simplified integration within the CERN controls infrastructure that is based on Programmable Logic Controllers (PLCs). CERN prepared the requirements and subcontracted the design of a communication card prototype to the Technical University of Bern. The designed PROFINET card prototype uses the NetX Integrated Circuit (IC) for PROFINET communication and a FPGA to collect the electrical signals from the back-panel (electrical signals interface for instrumentation conditioning cards). CERN is implementing new functionalities involving programming, automation engineering and electronics circuit design. The communication between the card and higher layers of control is based on the OPC UA protocol. The configuration files supporting new types of instrumentation cards are being developed and are compatible with the SIEMENS SIMATIC automation environment. It is worth to mention that all required data calculations and protocol handling are performed using a single netX50 chip.

Talk as video stream: https://youtu.be/sbCUmUi8VVc

Slides MOCPL03 [3.277 MB]

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-MOCPL03

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

MODPL02

Virtual Control Commissioning for a Large Critical Ventilation System: The CMS Cavern Use Case

92

W. Booth, E. Blanco Viñuela, B. Bradu, S. Sourisseau
CERN, Geneva, Switzerland

The current cavern ventilation control system of the CMS experiment at CERN is based on components which are already obsolete: the SCADA system, or close to the end of life: the PLCs. The control system is going to be upgraded during the CERN Long Shutdown 2 (2019-2020) and will be based on the CERN industrial control standard: UNICOS employing WinCC OA as SCADA and Schneider PLCs. Due to the critical nature of the CMS ventilation installation and the short allowed downtime, the approach was to design an environment based on the virtual commissioning of the new control. This solution uses a first principles model of the ventilation system to simulate the real process. The model was developed with the modelling and simulation software EcosimPro. In addition, the current control application of the cavern ventilation will also be re-engineered as it is not completely satisfactory in some transients where many sequences are performed manually and some pressure fluctuations observed could potentially cause issues to the CMS detector. The plant model will also be used to validate new regulation schemes and transient sequences offline in order to ensure a smooth operation in production.

Talk as video stream: https://youtu.be/NVzClA1dSxc

Slides MODPL02 [3.318 MB]

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-MODPL02

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

TUPHA201

UNICOS Framework and EPICS: A Possible Integration

915

M. Ritzert
Heidelberg University, Heidelberg, Germany
E. Blanco Viñuela, M. Ostrega, L. Zwalinski
CERN, Geneva, Switzerland

Funding: This work has been supported by the German Federal Ministry of Education and Research (BMBF).
UNICOS (UNified Industrial Control System) is a CERN-made framework to develop industrial control applications. It follows a methodology based on ISA-88 and provides components in two layers of a control system: control and supervision. The control logic is running in the first layer, in a PLC (Programmable Logic Controller), and, in the second layer, a SCADA (Supervisory Control and Data Acquisition) system is used to interface with the operators and numerous other features (e.g. alarms, archiving, etc.). UNICOS supports SIEMENS WinCC OA as the SCADA system. In this paper, we propose to use EPICS (Experimental Physics and Industrial Control System) as the supervision component of the UNICOS framework. The use case is the control system of a CO2 cooling plant developed at CERN following the UNICOS methodology, which had to be integrated in a control system based on EPICS. The paper describes the methods and actions taken to make this integration feasible, including automatic EPICS database generation, PLC communications, visualization widgets, faceplates and synoptics and their integration into CSS and EPICS, as well as the integration with the BEAST alarm system.

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA201

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

WEAPL02

Automatic PID Performance Monitoring Applied to LHC Cryogenics

1017

B. Bradu, E. Blanco Viñuela, R. Marti, F.M. Tilaro
CERN, Geneva, Switzerland

At CERN, the LHC (Large Hadron Collider) cryogenic system employs about 4900 PID (Proportional Integral Derivative) regulation loops distributed over the 27 km of the accelerator. Tuning all these regulation loops is a complex task and the systematic monitoring of them should be done in an automated way to be sure that the overall plant performance is improved by identifying the poorest performing PID controllers. It is nearly impossible to check the performance of a regulation loop with a classical threshold technique as the controlled variables could evolve in large operation ranges and the amount of data cannot be manually checked daily. This paper presents the adaptation and the application of an existing regulation indicator performance algorithm on the LHC cryogenic system and the different results obtained in the past year of operation. This technique is generic for any PID feedback control loop, it does not use any process model and needs only a few tuning parameters. The publication also describes the data analytics architecture and the different tools deployed on the CERN control infrastructure to implement the indicator performance algorithm.

Talk as video stream: https://youtu.be/7dCglp2Pn_c

Slides WEAPL02 [1.651 MB]

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-WEAPL02

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THCPA01

Safety Instrumented Systems and the AWAKE Plasma Control as a Use Case

1206

E. Blanco Viñuela, H.F. Braunmuller, B. Fernández Adiego, R. Speroni
CERN, Geneva, Switzerland

Safety is likely the most critical concern in many process industries, yet there is a general uncertainty on the proper engineering to reduce the risks and ensure the safety of persons or material at the same time of providing the process control system. Some of the reasons for this misperception are unclear requirements, lack of functional safety engineering knowledge or incorrect protection functionalities attributed to the BPCS (Basic Process Control System). Occasionally the control engineers are not aware of the hazards inherent to an industrial process and this causes the lack of the right design of the overall controls. This paper illustrates the engineering of the SIS (Safety Instrumented System) and the BPCS of the plasma vapour controls of the AWAKE R&D project, the first proton-driven plasma wakefield acceleration experiment in the world. The controls design and implementation refers to the IEC61511/ISA84 standard, including technological choices, design, operation and maintenance. Finally, the publication reveals usual difficulties appearing in such kind of industrial installations and the actions to be done to ensure the proper functional safety system design.

Slides THCPA01 [6.199 MB]

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THCPA01

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA016

The UNICOS-CPC Vacuum Controls Package

1370

S. Blanchard, M. Bes, E. Blanco Viñuela, W. Booth, B. Bradu, R. Ferreira, P. Gomes, A. Gutierrez, A.P. Rocha, T.H. van Winden
CERN, Geneva, Switzerland
L. Kopylov
IHEP, Moscow Region, Russia

The vacuum control of the Large Hadron Collider and its injectors is based on PLC and SCADA off-the-shelf components. Since late '90s, CERN's vacuum group has developed a dedicated control framework to drive, monitor and log the more than 10 000 vacuum instruments. Also, in 1998, CERN's industrial controls group developed the UNICOS framework (UNified Industrial Control System), becoming a de facto standard of industrial control systems and gradually deployed in different domains at CERN (e.g. Cryogenics, HVAC…). After an initial prototype applying the UNICOS-CPC (Continuous Process Control) framework to the controls of some vacuum installations, both teams have been working on the development of vacuum-specific objects and their integration, together with new features, into the UNICOS framework. Such convergence will allow this generic framework to better fit the vacuum systems, while offering the advantages of using a widespread and well-supported framework. This paper reports on the experience acquired in the development and deployment of vacuum specific objects in running installations, as a prototype for the vacuum controls convergence with UNICOS.

Poster THPHA016 [1.062 MB]

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA016

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA030

Online Analysis for Anticipated Failure Diagnostics of the CERN Cryogenic Systems

1412

Ph. Gayet, E. Blanco Viñuela, B. Bradu, R. Cirillo
CERN, Geneva, Switzerland

The cryogenic system is one of the most critical component of the CERN Large Hadron Collider (LHC) and its associated experiments ATLAS and CMS. In the past years, the cryogenic team has improved the maintenance plans, the operation procedures and achieved a very high reliability. However, as the recovery time after failure remains the major issue for the cryogenic availability new developments must take place. A new online diagnostic tool is developed to identify and anticipate failures of cryogenics field equipment, based on the acquired knowledge on dynamic simulation for the cryogenic equipment and on previous data analytic studies. After having identified the most critical components, we will develop their associated models together with the signature of their failure modes. The proposed tools will detect deviation between the actual systems and their model or identify preliminary failure signatures. This information will allow the operation team to take early mitigating actions before the failure occurrence.

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA030

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA144

Industrial Stepping Motors Integration in the UNICOS-CPC Framework

1720

J. Fernandez Cortes, E. Blanco Viñuela, L.A. Gonzalez
CERN, Geneva, Switzerland

A large number of movable devices are present in the field of accelerators and must often be integrated in a control system. Typical examples of these systems are phase shifters and magnetic dipoles among others. The standard industrial control system UNICOS-CPC (UNified Industrial COntrol System for Continuous Process Control) provides a set of generic device types which matches the majority of the industrial equipment employed in process control. This new development extends it with additional device types for precise positioning equipment based on stepping motors. The paper focuses on how the integration on UNICOS was fulfilled, the potential use of the solution and the automatic integration with the CERN real-time FESA (FrontEnd Software Architecture) framework. Finally, it illustrates a couple of use cases that already incorporate the solution: the CTF3 facility, the two-beam acceleration scheme envisioned for CLIC (Compact Linear Collider) and the EuroCirCol project for the measurements of the beam screen prototype for the FCC-hh (Future Circular Collider proton-proton).

Poster THPHA144 [1.201 MB]

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA144

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA150

Introducing Fast Interlocks in the UNICOS-CPC Framework

1742

J.O. Ortola Vidal, E. Blanco Viñuela, M. Vazquez Muñiz
CERN, Geneva, Switzerland

The CERN UNified Industrial COntrol System framework (UNICOS) with its Continuous Control Package (UNICOS-CPC) is the CERN standard solution for the design and implementation of continuous industrial process control applications. The need of adapting the framework capabilities to the different processes at CERN has brought new challenges. Reacting as fast as possible to an interlock situation to protect equipment is a new requirement which has been introduced in UNICOS-CPC. This paper present the challenges, design and test results of the seamless integration of fast interlocks capabilities in the current UNICOS-CPC package based on conventional PLCs (Programmable Logic Controllers), with a heightened level of flexibility and maturity. The first implementation is employing SIEMENS PLCs but the underlying technique is extensible to the other UNICOS-CPC compliant platforms.

Poster THPHA150 [0.428 MB]

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA150

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA159

What is Special About PLC Software Model Checking?

1781

D. Darvas, I. Majzik
BUTE, Budapest, Hungary
E. Blanco Viñuela
CERN, Geneva, Switzerland

Model checking is a formal verification technique to check given properties of models, designs or programs with mathematical precision. Due to its high knowledge and resource demand, the use of model checking is restricted mainly to core parts of highly critical systems. However, we and many other authors have argued that automated model checking of PLC programs is feasible and beneficial in practice. In this paper we aim to explain why model checking is applicable to PLC programs even though its use for software in general is too difficult. We present an overview of the particularities of PLC programs which influence the feasibility and complexity of their model checking. Furthermore, we list the main challenges in this domain and the solutions proposed in previous works.

Poster THPHA159 [0.444 MB]

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA159

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA160

Experience With Static PLC Code Analysis at CERN

1787

C. Tsiplaki Spiliopoulou, E. Blanco Viñuela, B. Fernández Adiego
CERN, Geneva, Switzerland

The large number of industrial control systems based on PLCs (Programmable Logic Controllers) available at CERN implies a huge number of programs and lines of code. The software quality assurance becomes a key point to ensure the reliability of the control systems. Static code analysis is a relatively easy-to-use, simple way to find potential faults or error-prone parts in the source code. While static code analysis is widely used for general purpose programming languages (e.g. Java, C), this is not the case for PLC programs. We have analyzed the possibilities and the gains to be expected from applying static analysis to the PLC code used at CERN, based on the UNICOS framework. This paper reports on our experience with the method and the available tools and sketches an outline for future work to make this analysis method practically applicable.

Poster THPHA160 [0.555 MB]

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA160

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA161

Applying Model Checking to Critical PLC Applications: An ITER Case Study

1792

B. Fernández Adiego, E. Blanco Viñuela, D. Darvas
CERN, Geneva, Switzerland
B. Avinashkrishna, Y.C. Gaikwad, S. Sreekuttan
Tata Consultancy Services, Pune, India
G.S. Lee
Mobiis Co., Ltd., Seoul, Republic of Korea
R. Pedica
Vitrociset s.p.a, Roma, Italy
I. Prieto Diaz
IBERINCO, Madrid, Spain
Gy. Sallai
BUTE, Budapest, Hungary

The development of critical systems requires the application of verification techniques in order to guarantee that the requirements are met in the system. Standards like IEC 61508 provide guidelines and recommend the use of formal methods for that purpose. The ITER Interlock Control System has been designed to protect the tokamak and its auxiliary systems from failures of the components or incorrect machine operation. ITER has developed a method to assure that some critical operator commands have been correctly received and executed in the PLC (Programmable Logic Controller). The implementation of the method in a PLC program is a critical part of the interlock system. A methodology designed at CERN has been applied to verify this PLC program. The methodology is the result of 5 years of research in the applicability of model checking to PLC programs. A proof-of-concept tool called PLCverif implements this methodology. This paper presents the challenges and results of the ongoing collaboration between CERN and ITER on formal verification of critical PLC programs.

Poster THPHA161 [0.457 MB]

DOI •

reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA161

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

FRBPL04

PLC Based Control Systems

E. Blanco Viñuela
CERN, Geneva, Switzerland

This workshop intends to create a collaborative space where attendees will show their best practices, tools employed and return of experience when engineering PLC based control systems. This time the workshop focuses specifically the management of the control applications. Precise topics that will be addressed: - Specifications, requirements trace, documents: analysis, design, implementation - Software development: standards and/or frameworks, novel paradigms (e.g. automatic code generation, object orientation), language choice and coding conventions, best practices. - Testing and verification: methodologies and tests (FAT, SAT), simulation, static analysis, verification (e.g. formal methods) - Application management: versioning, deployment, online changes, upgrades, reverse engineering

Talk as video stream: https://youtu.be/1vuwywSo98E

Slides FRBPL04 [4.584 MB]

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)