ICALEPCS2017 - List of Keywords (SCADA)

Paper	Title	Other Keywords	Page
MOCPL03	PROFINET Communication Card for the CERN Cryogenics Crate Electronics Instrumentation	ion, controls, cryogenics, software	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)

MOCPL04	LTE/3G Based Wireless Communications for Remote Control and Monitoring of PLC-Controlled Vacuum Mobile Devices	ion, network, PLC, controls	64
	R. Ferreira, S. Blanchard, P. Gomes, G. Pigny CERN, Geneva, Switzerland T.R. Fernandes ESTGL, Leiria, Portugal
	All particle accelerators and most experiments at CERN require high (HV) or ultra-high (UHV) vacuum levels. Contributing to vacuum production are two types of mobile devices: Turbo-Molecular Pumping Groups and Bakeout Racks. During accelerator stops, these PLC-controlled devices are temporarily installed in the tunnels and integrated in the Vacuum SCADA, through wired Profibus-DP. This method, though functional, poses cer-tain issues which a wireless solution would greatly miti-gate. The CERN private LTE/3G network is available in the accelerators through a leaky-feeder antenna cable which spans the whole length of the tunnels. This paper describes the conception and implementation of an LTE/3G-based modular communication system for PLC-controlled vacuum mobile devices. It details the hardware and software architecture of the system and lays the foun-dation of a solution that can be easily adapted to systems other than vacuum.
	Talk as video stream: https://youtu.be/1u6WmPACSs8
	Slides MOCPL04 [4.354 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-MOCPL04
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

TUPHA035	Data Analytics Reporting Tool for CERN SCADA Systems	ion, controls, database, interface	456
	P.J. Seweryn, M. Gonzalez-Berges, B. Schofield, F.M. Tilaro CERN, Geneva, Switzerland
	This paper describes the concept of a generic data analytics reporting tool for SCADA (Supervisory Control and Data Acquisition) systems at CERN. The tool is a response to a growing demand for smart solutions in the supervision and analysis of control systems data. Large scale data analytics is a rapidly advancing field, but simply performing the analysis is not enough; the results must be made available to the appropriate users (for example operators and process engineers). The tool can report data analytics for objects such as valves and PID controllers directly into the SCADA systems used for operations. More complex analyses involving process interconnections (such as correlation analysis based on machine learning) can also be displayed. A pilot project is being developed for the WinCC Open Architecture (WinCC OA) SCADA system using Hadoop for storage. The reporting tool obtains the metadata and analysis results from Hadoop using Impala, but can easily be switched to any database system that supports SQL standards.
	Poster TUPHA035 [1.016 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA035
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

TUPHA044	Integration of the Vacuum Scada With CERN's Enterprise Asset Management System	ion, vacuum, database, controls	490
	A.P. Rocha, S. Blanchard, J. Fraga, G. Gkioka, P. Gomes, L.A. Gonzalez, T. Krastev, G. Riddone, D. Widegren CERN, Geneva, Switzerland
	The vacuum group is responsible for the operation and consolidation of vacuum systems across all CERN accelerators. Concerning over 15 000 pieces of control equipment, the maintenance management requires the usage of an Enterprise Asset Management system (EAM), where the life-cycle of every individual equipment is managed from reception through decommissioning. On vacuum SCADA, the operators monitor and interact with equipment that were declared in the vacuum database (vacDB). The creation of work orders and the follow up of the equipment is done through inforEAM, which has its own database. These two databases need to be coupled, so that equipment accessible on the SCADA are available in inforEAM for maintenance management. This paper describes the underlying architecture and technologies behind vacDM, a web application that ensures the consistency between vacDB and inforEAM, thus guaranteeing that the equipment displayed in the vacuum SCADA is available in inforEAM. In addition to this, vacDM performs the management of equipment labelling jobs by assigning equipment codes to new equipment, and by automatically creating their corresponding assets in inforEAM.
	Poster TUPHA044 [1.138 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA044
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THBPA02	Securing Light Source SCADA Systems	ion, controls, device-server, network	1142
	L. Mekinda, V. Bondar, S. Brockhauser, C. Danilevski, W. Ehsan, S.G. Esenov, H. Fangohr, G. Flucke, G. Giovanetti, S. Hauf, D.G. Hickin, A. Klimovskaia, L.G. Maia, T. Michelat, A. Muennich, A. Parenti, H. Santos, K. Weger, C. Xu XFEL. EU, Schenefeld, Germany
	Funding: European X-Ray Free-Electron Laser Facility GmbH Cyber security aspects are often not thoroughly addressed in the design of light source SCADA system. In general the focus remains on building a reliable and fully-functional ecosystem. The underlying assumption is that a SCADA infrastructure is a closed ecosystem of sufficiently complex technologies to provide some security through trust and obscurity. However, considering the number of internal users, engineers, visiting scientists, students going in and out light source facilities cyber security threats can no longer be minored. At the European XFEL, we envision a comprehensive security layer for the entire SCADA infrastructure. There, Karabo [1], the control, data acquisition and analysis software shall implement these security paradigms known in IT but not applicable off-the-shelf to the FEL context. The challenges are considerable: (i) securing access to photon science hardware that has not been designed with security in mind; (ii) granting limited fine-grained permissions to external users; (iii) truly securing Control and Data acquisition APIs while preserving performance. Only tailored solution strategies, as presented in this paper, can fulfill these requirements. [1] Heisen et al (2013) "Karabo: An Integrated Software Framework Combining Control, Data Management, and Scientific Computing Tasks". Proc. of 14th ICALEPCS 2013, Melbourne, Australia (p. FRCOAAB02)
	Slides THBPA02 [1.679 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THBPA02
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA021	Large-Scale Upgrade Campaigns of SCADA Systems at CERN - Organisation, Tools and Lessons Learned	ion, software, controls, database	1384
	R. Kulaga, J.A.R. Arroyo Garcia, M. Boccioli, E. Genuardi, P. Golonka, M. Gonzalez-Berges, J-C. Tournier, F. Varela CERN, Geneva, Switzerland
	The paper describes planning and execution of large-scale maintenance campaigns of SCADA systems for CERN accelerator and technical infrastructure. These activities, required to keep up with the pace of development of the controlled systems and rapid evolution of software, are constrained by many factors, such as availability for operation and planned interventions on equipment. Experience gathered throughout the past ten years of maintenance campaigns for the SCADA Applications Service at CERN, covering over 230 systems distributed across almost 120 servers, is presented. Further improvements for the procedures and tools are proposed to adapt to the increasing number of applications in the service and reduce maintenance effort and required downtime.
	Poster THPHA021 [1.262 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA021
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA027	Improvements of the ELBE Control System Infrastructure and SCADA Environment	ion, controls, PLC, hardware	1405
	M. Justus, K.-W. Leege, P. Michel, A. Schamlott, R. Steinbrück HZDR, Dresden, Germany
	The ELBE Center for High-Power Radiation Sources is driven by a 35 MeV C.W. electron linear accelerator, driving diverse secondary beams, both electromagnetic radiation and particles. Its control system is based on PLCs, fast data acquisition systems and the industrial SCADA system WinCC. In the past five years, require-ments for availability and reliability increased, while at the same time many changes of the machine configuration and instrumentation needed to be handled. Improvements of the control system infrastructure concerning power supply, IT and systems monitoring have been realized and are still under way. Along with the latest WinCC upgrade, we implemented a more redundant SCADA infrastructure and continuously improved our standards for software development.
	Poster THPHA027 [0.836 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA027
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA037	Future Archiver for CERN SCADA Systems	ion, controls, interface, database	1442
	P. Golonka, M. Gonzalez-Berges, J. Guzik, R. Kulaga CERN, Geneva, Switzerland
	Funding: Presented work is conducted in collaboration with ETM/Siemens in the scope of the CERN openlab project The paper presents the concept of a modular and scalable archiver (historian) for SCADA systems at CERN. By separating concerns of archiving from specifics of data-storage systems at a high abstraction level, using a clean and open interface, it will be possible to integrate various data handling technologies without a big effort. The frontend part, responsible for business logic, will communicate with one or multiple backends, which in turn would implement data store and query functionality employing traditional relational databases as well as modern NOSQL and big data solutions, opening doors to advanced data analytics and matching the growing performance requirements for data storage.
	Poster THPHA037 [7.294 MB]
DOI •	reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA037
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

THPHA144	Industrial Stepping Motors Integration in the UNICOS-CPC Framework	ion, controls, PLC, 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)

THPHA161	Applying Model Checking to Critical PLC Applications: An ITER Case Study	ion, PLC, controls, software	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)

Paper

Title

Other Keywords

Page

MOCPL03

PROFINET Communication Card for the CERN Cryogenics Crate Electronics Instrumentation

ion, controls, cryogenics, software

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)

MOCPL04

LTE/3G Based Wireless Communications for Remote Control and Monitoring of PLC-Controlled Vacuum Mobile Devices

ion, network, PLC, controls

64

R. Ferreira, S. Blanchard, P. Gomes, G. Pigny
CERN, Geneva, Switzerland
T.R. Fernandes
ESTGL, Leiria, Portugal

All particle accelerators and most experiments at CERN require high (HV) or ultra-high (UHV) vacuum levels. Contributing to vacuum production are two types of mobile devices: Turbo-Molecular Pumping Groups and Bakeout Racks. During accelerator stops, these PLC-controlled devices are temporarily installed in the tunnels and integrated in the Vacuum SCADA, through wired Profibus-DP. This method, though functional, poses cer-tain issues which a wireless solution would greatly miti-gate. The CERN private LTE/3G network is available in the accelerators through a leaky-feeder antenna cable which spans the whole length of the tunnels. This paper describes the conception and implementation of an LTE/3G-based modular communication system for PLC-controlled vacuum mobile devices. It details the hardware and software architecture of the system and lays the foun-dation of a solution that can be easily adapted to systems other than vacuum.

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

Slides MOCPL04 [4.354 MB]

DOI •

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

Export •

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

TUPHA035

Data Analytics Reporting Tool for CERN SCADA Systems

ion, controls, database, interface

456

P.J. Seweryn, M. Gonzalez-Berges, B. Schofield, F.M. Tilaro
CERN, Geneva, Switzerland

This paper describes the concept of a generic data analytics reporting tool for SCADA (Supervisory Control and Data Acquisition) systems at CERN. The tool is a response to a growing demand for smart solutions in the supervision and analysis of control systems data. Large scale data analytics is a rapidly advancing field, but simply performing the analysis is not enough; the results must be made available to the appropriate users (for example operators and process engineers). The tool can report data analytics for objects such as valves and PID controllers directly into the SCADA systems used for operations. More complex analyses involving process interconnections (such as correlation analysis based on machine learning) can also be displayed. A pilot project is being developed for the WinCC Open Architecture (WinCC OA) SCADA system using Hadoop for storage. The reporting tool obtains the metadata and analysis results from Hadoop using Impala, but can easily be switched to any database system that supports SQL standards.

Poster TUPHA035 [1.016 MB]

DOI •

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

Export •

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

TUPHA044

Integration of the Vacuum Scada With CERN's Enterprise Asset Management System

ion, vacuum, database, controls

490

A.P. Rocha, S. Blanchard, J. Fraga, G. Gkioka, P. Gomes, L.A. Gonzalez, T. Krastev, G. Riddone, D. Widegren
CERN, Geneva, Switzerland

The vacuum group is responsible for the operation and consolidation of vacuum systems across all CERN accelerators. Concerning over 15 000 pieces of control equipment, the maintenance management requires the usage of an Enterprise Asset Management system (EAM), where the life-cycle of every individual equipment is managed from reception through decommissioning. On vacuum SCADA, the operators monitor and interact with equipment that were declared in the vacuum database (vacDB). The creation of work orders and the follow up of the equipment is done through inforEAM, which has its own database. These two databases need to be coupled, so that equipment accessible on the SCADA are available in inforEAM for maintenance management. This paper describes the underlying architecture and technologies behind vacDM, a web application that ensures the consistency between vacDB and inforEAM, thus guaranteeing that the equipment displayed in the vacuum SCADA is available in inforEAM. In addition to this, vacDM performs the management of equipment labelling jobs by assigning equipment codes to new equipment, and by automatically creating their corresponding assets in inforEAM.

Poster TUPHA044 [1.138 MB]

DOI •

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

Export •

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

THBPA02

Securing Light Source SCADA Systems

ion, controls, device-server, network

1142

L. Mekinda, V. Bondar, S. Brockhauser, C. Danilevski, W. Ehsan, S.G. Esenov, H. Fangohr, G. Flucke, G. Giovanetti, S. Hauf, D.G. Hickin, A. Klimovskaia, L.G. Maia, T. Michelat, A. Muennich, A. Parenti, H. Santos, K. Weger, C. Xu
XFEL. EU, Schenefeld, Germany

Funding: European X-Ray Free-Electron Laser Facility GmbH
Cyber security aspects are often not thoroughly addressed in the design of light source SCADA system. In general the focus remains on building a reliable and fully-functional ecosystem. The underlying assumption is that a SCADA infrastructure is a closed ecosystem of sufficiently complex technologies to provide some security through trust and obscurity. However, considering the number of internal users, engineers, visiting scientists, students going in and out light source facilities cyber security threats can no longer be minored. At the European XFEL, we envision a comprehensive security layer for the entire SCADA infrastructure. There, Karabo [1], the control, data acquisition and analysis software shall implement these security paradigms known in IT but not applicable off-the-shelf to the FEL context. The challenges are considerable: (i) securing access to photon science hardware that has not been designed with security in mind; (ii) granting limited fine-grained permissions to external users; (iii) truly securing Control and Data acquisition APIs while preserving performance. Only tailored solution strategies, as presented in this paper, can fulfill these requirements.
[1] Heisen et al (2013) "Karabo: An Integrated Software Framework Combining Control, Data Management, and Scientific Computing Tasks". Proc. of 14th ICALEPCS 2013, Melbourne, Australia (p. FRCOAAB02)

Slides THBPA02 [1.679 MB]

DOI •

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

Export •

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

THPHA021

Large-Scale Upgrade Campaigns of SCADA Systems at CERN - Organisation, Tools and Lessons Learned

ion, software, controls, database

1384

R. Kulaga, J.A.R. Arroyo Garcia, M. Boccioli, E. Genuardi, P. Golonka, M. Gonzalez-Berges, J-C. Tournier, F. Varela
CERN, Geneva, Switzerland

The paper describes planning and execution of large-scale maintenance campaigns of SCADA systems for CERN accelerator and technical infrastructure. These activities, required to keep up with the pace of development of the controlled systems and rapid evolution of software, are constrained by many factors, such as availability for operation and planned interventions on equipment. Experience gathered throughout the past ten years of maintenance campaigns for the SCADA Applications Service at CERN, covering over 230 systems distributed across almost 120 servers, is presented. Further improvements for the procedures and tools are proposed to adapt to the increasing number of applications in the service and reduce maintenance effort and required downtime.

Poster THPHA021 [1.262 MB]

DOI •

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

Export •

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

THPHA027

Improvements of the ELBE Control System Infrastructure and SCADA Environment

ion, controls, PLC, hardware

1405

M. Justus, K.-W. Leege, P. Michel, A. Schamlott, R. Steinbrück
HZDR, Dresden, Germany

The ELBE Center for High-Power Radiation Sources is driven by a 35 MeV C.W. electron linear accelerator, driving diverse secondary beams, both electromagnetic radiation and particles. Its control system is based on PLCs, fast data acquisition systems and the industrial SCADA system WinCC. In the past five years, require-ments for availability and reliability increased, while at the same time many changes of the machine configuration and instrumentation needed to be handled. Improvements of the control system infrastructure concerning power supply, IT and systems monitoring have been realized and are still under way. Along with the latest WinCC upgrade, we implemented a more redundant SCADA infrastructure and continuously improved our standards for software development.

Poster THPHA027 [0.836 MB]

DOI •

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

Export •

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

THPHA037

Future Archiver for CERN SCADA Systems

ion, controls, interface, database

1442

P. Golonka, M. Gonzalez-Berges, J. Guzik, R. Kulaga
CERN, Geneva, Switzerland

Funding: Presented work is conducted in collaboration with ETM/Siemens in the scope of the CERN openlab project
The paper presents the concept of a modular and scalable archiver (historian) for SCADA systems at CERN. By separating concerns of archiving from specifics of data-storage systems at a high abstraction level, using a clean and open interface, it will be possible to integrate various data handling technologies without a big effort. The frontend part, responsible for business logic, will communicate with one or multiple backends, which in turn would implement data store and query functionality employing traditional relational databases as well as modern NOSQL and big data solutions, opening doors to advanced data analytics and matching the growing performance requirements for data storage.

Poster THPHA037 [7.294 MB]

DOI •

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

Export •

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

THPHA144

Industrial Stepping Motors Integration in the UNICOS-CPC Framework

ion, controls, PLC, 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)

THPHA161

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

ion, PLC, controls, software

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)