Keyword: PLC
Paper Title Other Keywords Page
MOPV002 CENBG Control System and Specific Instrumentation Developments for SPIRAL2-DESIR Setups controls, EPICS, experiment, MMI 98
 
  • L. Daudin, P. Alfaurt, A. Balana, M. Corne, M. Flayol, A.A. Husson, B. Lachacinski
    CENBG, Gradignan, France
 
  The DESIR facility will be in few years the SPIRAL2 experimental hall at GANIL dedicated to the study of nuclear structure, astrophysics and weak interaction at low energy. Exotic ions produced by the new S3 facility and SPIRAL1 complex will be transferred to high precision experiments in the DESIR building. To guaranty high purity beams to perform high precision measurements on specific nuclei, three main devices are currently being developed at CENBG: a High Resolution Separator (HRS), a General Purpose Ion Buncher (GPIB) and a double Penning Trap named ’PIPERADE’. The Control System (CS) developments we made at CENBG are already used to commission these devices. We present here beamline equipment CS solutions and the global architecture of this SPIRAL2 EPICS based CS.To answer specific needs, instrumental solutions have been developed like PPG used to optimize bunch timing and also used as traps conductor. Recent development using the cost efficient Redpitaya board with an embedded EPICS server will be described. This device used to drive a FCup amplifier and is also used for particle counting and time of flight measurements using our FPGA implementation called ’RedPiTOF’.  
poster icon Poster MOPV002 [2.483 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-MOPV002  
About • Received ※ 08 October 2021       Revised ※ 15 October 2021       Accepted ※ 03 November 2021       Issue date ※ 19 November 2021
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
MOPV014 Upgrade of the NewSUBARU Control System controls, linac, storage-ring, operation 143
 
  • N. Hosoda, Y. Hamada, M. Ishii, A. Kiyomichi, K. Okada, T. Sugimoto
    JASRI, Hyogo, Japan
  • T. Fukui
    RIKEN/SPring-8, Hyogo, Japan
 
  NewSUBARU has constructed a new dedicated injector in order to separate the operation from SPring-8 and to operate independently. In designing this injector, we tried to share the same components as those of the Tohoku Synchrotron Radiation Facility, which will be completed in 2023, in order to make effective use of human resources. The control system of the injector and the existing storage ring must be constructed as unified system, so the file server, DB server, backbone network, etc. were redesigned using the control system used in SPring-8/SACLA as a control framework. MTCA.4 was used to control the injector, and EtherCAT was used to communicate with the PLC. For the control of the storage ring, the existing equipment configuration was retained and the control framework was migrated. In this paper, we report the details of the NewSUBARU control system.  
poster icon Poster MOPV014 [1.048 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-MOPV014  
About • Received ※ 08 October 2021       Revised ※ 17 October 2021       Accepted ※ 24 January 2022       Issue date ※ 28 February 2022
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
MOPV015 Control System of the SRILAC Project at RIBF controls, EPICS, power-supply, operation 147
 
  • A. Uchiyama, M. Fujimaki, N. Fukunishi, Y. Higurashi, E. Ikezawa, H. Imao, O. Kamigaito, M. Kidera, M. Komiyama, K. Kumagai, T. Nagatomo, T. Nakagawa, T. Nishi, J. Ohnishi, K. Ozeki, N. Sakamoto, K. Suda, T. Watanabe, Y. Watanabe, K. Yamada
    RIKEN Nishina Center, Wako, Japan
  • A. Kamoshida
    National Instruments Japan Corporation, MInato-ku, Tokyo, Japan
  • K. Kaneko, R. Koyama, T.O. Ohki, K. Oyamada, M. Tamura, H. Yamauchi, Y.A. Yusa
    SHI Accelerator Service Ltd., Tokyo, Japan
 
  At RIKEN Nishina Center, the SRILAC project has been launched for the search experiments of super-heavy-elements with atomic numbers of 119 and higher. The main points of the SRILAC project are as follows. Superconducting RIKEN Linear Accelerator (SRILAC) was newly installed at downstream of existing accelerator (RIKEN Linear Accelerator: RILAC) to enhance beam energy. Additionally, a new RIKEN 28-GHz superconducting electron cyclotron resonance ion source has been implemented at the frontend of SRILAC to increase beam intensity. With that, the SRILAC control system requires corrections and upgrades to the shortcomings of previous RILAC control system, for example control methods for electromagnet power supplies, an machine protection system and an archive system. Moreover, there was also a issue to be solved for methods of integration with small LabVIEW-based systems. To operate efficiently in the SRILAC project, a distributed control system utilizing EPICS should be adopted as in RIBF, a higher-level application protocol needs to be integrated to EPICS Channel Access protocol. In this conference, we report the system implementation, developed tool in detail about SRILAC project.  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-MOPV015  
About • Received ※ 13 October 2021       Revised ※ 22 October 2021       Accepted ※ 25 February 2022       Issue date ※ 05 March 2022
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
MOPV026 Integrating OPC UA Devices in EPICS controls, EPICS, software, interface 184
 
  • R. Lange
    ITER Organization, St. Paul lez Durance, France
  • R.A. Elliot, K. Vestin
    ESS, Lund, Sweden
  • B. Kuner
    BESSY GmbH, Berlin, Germany
  • C. Winkler
    HZB, Berlin, Germany
  • D. Zimoch
    PSI, Villigen PSI, Switzerland
 
  OPC Unified Architecture (OPC UA) is an open platform independent communication architecture for industrial automation developed by the OPC Foundation. Its key characteristics include a rich service-oriented architecture, enhanced security functionality and an integral information model, allowing to map complex data into an OPC UA namespace. With its increasing popularity in the industrial world, OPC UA is an excellent strategic choice for integrating a wealth of different COTS devices and controllers into an existing control system infrastructure. The security functions extend its application to larger networks and across firewalls, while the support of user-defined data structures and fully symbolic addressing ensure flexibility, separation of concerns and robustness in the user interfaces. In an international collaboration, a generic OPC UA support for the EPICS control system toolkit has been developed. It is used in operation at several facilities, integrating a variety of commercial controllers and systems. We describe design and implementation approach, discuss use cases and software quality aspects, report performance and present a roadmap of the next development steps.  
poster icon Poster MOPV026 [1.726 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-MOPV026  
About • Received ※ 10 October 2021       Accepted ※ 04 November 2021       Issue date ※ 06 March 2022  
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
MOPV042 PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller controls, GUI, software, focusing 248
 
  • J-C. Tournier, B. Fernández Adiego, I.D. Lopez-Miguel
    CERN, Geneva, Switzerland
 
  Programmable Logic Controllers (PLC) are widely used for industrial automation including safety systems at CERN. The incorrect behaviour of the PLC control system logic can cause significant financial losses by damage of property or the environment or even injuries in some cases, therefore ensuring their correct behaviour is essential. While testing has been for many years the traditional way of validating the PLC control system logic, CERN developed a model checking platform to go one step further and formally verify PLC logic. This platform, called PLCverif, first released internally for CERN usage in 2019, is now available to anyone since September 2020 via an open source licence. In this paper, we will first give an overview of the PLCverif platform capabilities before focusing on the improvements done since 2019 such as the larger support coverage of the Siemens PLC programming languages, the better support of the C Bounded Model Checker backend (CBMC) and the process of releasing PLCverif as an open-source software.  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-MOPV042  
About • Received ※ 07 October 2021       Revised ※ 20 October 2021       Accepted ※ 21 December 2021       Issue date ※ 23 February 2022
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
TUPV006 Control System of the SPIRAL2 Superconducting Linac Cryogenic System controls, cryogenics, cryomodule, cavity 382
 
  • A.H. Trudel, G. Duteil, A. Ghribi, Q. Tura
    GANIL, Caen, France
  • P. Bonnay
    CEA/INAC, Grenoble Cedex 9, France
 
  The SPIRAL2 cryogenic system has been designed to cool down and maintain stable operation conditions of the 26 LINAC superconducting resonating cavities at a temperature of 4.5 K or lower. The control system of the cryogenic system of the LINAC is based on an architecture of 20 PLCs. Through an independent network, it drives the instrumentation, the cryogenic equipment, the 26 brushless motors of the frequency tuning system, interfaces the Epics Control System, and communicates process information to the Low Level Radio Frequency, vacuum, and magnet systems. Its functions are to ensure the safety of the cryogenic system, to efficiently control the cooldown of the 19 cryomodules, to enslave the frequency tuning system for the RF operation, and to monitor and analyze the data from the process. A model based Linear Quadratic regulation controls simultaneously both phase separators the liquid helium level and pressure. This control system also makes it possible to perform a number of virtual verification tests via a simulator and a dedicated PLC used to develop advanced model based control, such as a real time heat load estimator based on a Luenberger Filter  
poster icon Poster TUPV006 [2.393 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-TUPV006  
About • Received ※ 08 October 2021       Accepted ※ 23 February 2022       Issue date ※ 14 March 2022  
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
TUPV007 Motorized Regulation Systems for the SARAF Project controls, cavity, feedback, cryomodule 387
 
  • T.J. Joannem, F. Gohier, F. Gougnaud, P. Lotrus
    CEA-IRFU, Gif-sur-Yvette, France
  • D. Darde
    CEA, DES-ISAS-DM2S, Université Paris-Saclay, Gif-sur-Yvette, France
  • P. Guiho, A. Roger, N. Solenne
    CEA-DRF-IRFU, France
 
  CEA is in charge of the tuning regulation systems for the SARAF-Linac project. These tuning systems will be used with LLRF to regulate the 3 Rebuncher cavities and the HWR cavities of the 4 cryomodules. These systems were already tested on the Rebuncher and Equipped Cavity Test stands to test respectively the warm and cold tunings. This paper describes the hardware and software architectures. Both tuning systems are based on Siemens PLC and EPICS-PLC communication. Ambiant temperature technology is based on SIEMENS motor controller solution whereas the cold one combines Phytron and PhyMOTION solutions.  
poster icon Poster TUPV007 [0.892 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-TUPV007  
About • Received ※ 08 October 2021       Revised ※ 22 October 2021       Accepted ※ 05 February 2022       Issue date ※ 10 February 2022
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
TUPV010 Integration of OPC UA at ELBE controls, LLRF, SCADA, interface 400
 
  • K. Zenker, M. Kuntzsch, R. Steinbrück
    HZDR, Dresden, Germany
 
  The Electron Linac for beams with high Brilliance and low Emittance (ELBE) at Helmholtz-Zentrum Dresden-Rossendorf (HZDR) is in operation since 2001. It is operated using the SCADA system WinCC by Siemens. The majority of ELBE systems is connected to WinCC via industrial Ethernet and proprietary S7 communication. However, in recent years new subsystems had to be integrated into the existing infrastructure, which do not provide S7 communication interfaces. Instead, OPC UA has been chosen for system integration. We will show how we use OPC UA as a common communication layer between industrial and scientific instruments as well as proprietary and open source control system software. For example, OPC UA support has been implemented for the ChimeraTK framework developed at DESY. ChimeraTK is used at ELBE e.g. for integrating MicroTCA.4 based subsystems like the digital LLRF system. Furthermore, we are developing a machine data interface for ELBE users. In combination with a certification authority, which hands out user certificates for data access, external users can gain read and write access to different ELBE subsystem data provided by a single OPC UA server.  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-TUPV010  
About • Received ※ 08 October 2021       Accepted ※ 20 November 2021       Issue date ※ 15 December 2021  
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
TUPV014 Control System of a Portable Pumping Station for Ultra-High Vacuum vacuum, interface, controls, software 418
 
  • M. Trevi, E. Mazzucco, L. Rumiz, D. Vittor
    Elettra-Sincrotrone Trieste S.C.p.A., Basovizza, Italy
 
  Particle accelerators operate in Ultra High Vacuum conditions, which have to be restored after a maintenance activity requiring venting the vacuum chamber. A compact, independent and portable pumping station has been developed at Elettra Sincrotrone Trieste to pump the vacuum chamber and to restore the correct local pressure.. The system automatically achieves a good vacuum level and can detect and manage vacuum leaks . It has been designed and manufactured in-house, including the mechanical, electrical and control parts. By means of a touch screen an operator can start all the manual and automatic operations, and monitor the relevant variables and alarms. The system archives the operating data and displays trends, alarms and logged events; these data are downloadable to a removable USB stick. Controlled devices include two turbomolecular pumps, one primary pump, vacuum gauges and one residual gas analyser. The control system has been implemented with a Beckhoff PLC with RS-485 and Profibus interfaces. This paper focuses in particular on the events management and object-oriented approach adopted to achieve a good modularity and scalability of the system.  
poster icon Poster TUPV014 [0.876 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-TUPV014  
About • Received ※ 10 October 2021       Revised ※ 19 October 2021       Accepted ※ 20 November 2021       Issue date ※ 30 January 2022
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
TUPV019 Control System for 30 keV Electron Gun Test Facility controls, electron, gun, experiment 433
 
  • D.A. Nawaz, M. Ajmal, A. Majid, N.U. Saqib, F. Sher
    PINSTECH, Islamabad, Pakistan
 
  At LINAC Project PINSTECH, an electron gun test facility for indigenously developed 30 keV electron guns is developed to control and monitor various beam parameters by performing electron beam tests and diagnostics. After successful testing, electron gun is then integrated into 6 MeV standing wave linear accelerator. This paper presents the control system design and development for the facility.  
poster icon Poster TUPV019 [1.468 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-TUPV019  
About • Received ※ 10 October 2021       Accepted ※ 20 November 2021       Issue date ※ 09 December 2021  
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
TUPV030 Redesign of the VELO Thermal Control System Forfuture Detector Development controls, detector, experiment, framework 454
 
  • S.A. Lunt
    UCT Physics, Cape Town, South Africa
  • B. Verlaat, L. Zwalinski
    CERN, Geneva, Switzerland
 
  The Detector Technologies group at CERN has developed a Two-Phase Accumulator Controlled Loop (2PACL) test system for future detector development, using reused hardware from the LHCb Vertex Locator (VELO) Thermal Control System. The fluid, electrical and control systems have been redesigned and simplified by removing redundant components because it is no longer a critical system. The fluid cycle was updated to allow both 2PACL and integrated 2PACL cycles to be run and the chiller was replaced with an air-cooled unit using hot gas bypass to achieve a high turndown ratio. The electrical systems were upgraded with new hardware to improve usability and practicality. The control system logic is being developed with the CERN’s Unified Industrial Control System (UNICOS) framework. This paper presents thedetails of the design and implementation.  
poster icon Poster TUPV030 [1.057 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-TUPV030  
About • Received ※ 09 October 2021       Revised ※ 22 November 2021       Accepted ※ 22 December 2021       Issue date ※ 29 December 2021
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
TUPV031 LHC Vacuum Supervisory Application for Run 3 vacuum, controls, hardware, interlocks 459
 
  • S. Blanchard, I.A. Amador, N. Chatzigeorgiou, R. Ferreira, J.D. Francisco Rebelo, P. Gomes, C.V. Lima, G. Pigny, A.P. Rocha, L. Zygaropoulos
    CERN, Geneva, Switzerland
 
  The LHC Vacuum Supervisory Control and Data Acquisition application has been upgraded to fulfil the new requirements of Long Shutdown 2 and Run 3. The number of datapoint elements has been increased from 700k to 1.5M, which constitutes a challenge in terms of scalability. The new configuration of pumping station control hardware has led to an increase in the number of permanently connected PLCs from 150 to almost 300. A new concept has been developed and deployed, in which the PLC configuration is updated online. The goals were to automate, and to speed up periodic updates of the control system. Integrating of the wireless mobile equipment had led to the acquisition of expertise in dealing with temporary connections and dynamic insertion of device representation in the synoptic. Other new features include: the introduction of an innovative remote control and representation in synoptic panel of hardware interlocks, the development of a pre-configured notification system, and the integration of asset management into the user interface.  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-TUPV031  
About • Received ※ 05 October 2021       Revised ※ 17 October 2021       Accepted ※ 20 November 2021       Issue date ※ 11 January 2022
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
TUPV035 Continuous Integration for PLC-based Control System Development controls, interface, SCADA, hardware 478
 
  • B. Schofield, E. Blanco Viñuela, J.H.P.D.C. Borrego
    CERN, Geneva, Switzerland
 
  Continuous Integration and Continuous Deployment (CI/CD) is a software engineering methodology which emphasises frequent, small changes committed to a version control system, which are verified by a suite of automatic tests, and which may be deployed to different environments. While CI/CD is well established in software engineering, it is not yet widely used in the development of industrial controls systems. However, the advantages of using CI/CD for such systems are clear. In this paper we describe a complete CI/CD pipeline able to automatically build Siemens PLC projects from sources, download the program to a PLC, and run a sequence of tests which interact with the PLC via both a Simulation Unit Profibus simulator and an OPC UA interface provided by Simatic NET. To achieve this, a gRPC service wrapping the Simatic API was used to provide an interface to the PLC project from the pipeline. In addition, a Python wrapper was created for the Simulation Unit API, as well as for the OPC UA interface, which allowed the test suite to be implemented in Python. A particle accelerator interlock system based on Siemens S7-300 PLCs has been taken as a use case to demonstrate the concept.  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-TUPV035  
About • Received ※ 08 October 2021       Accepted ※ 20 November 2021       Issue date ※ 25 December 2021  
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
TUPV036 An Evaluation of Schneider M580 HSBY PLC Redundancy in the R744 System A Cooling Unit network, controls, operation, power-supply 484
 
  • D.I. Teixeira
    University of Cape Town, Cape Town, South Africa
  • L. Davoine, W.K. Hulek, L. Zwalinski
    CERN, Meyrin, Switzerland
 
  The Detector Technologies group at CERN has developed a 2-stage transcritical R744 cooling system as a service for future detector cooling. This is the first system in operation at CERN where Schneider HSBY (Hot Standby) redundant PLCs are used. This cooling system provides a good opportunity to test the Schneider redundant PLC system and understand the operation, limitations and probability of failure in a con-trolled environment. The PLC redundancy is achieved by connecting Schneider M580 HSBY redundant PLCs to the system where one is the primary which operates the system and the other is in standby mode. A series of tests have been developed to understand the operation and failure modes of the PLCs by simulating different primary PLC failures and observing whether the standby PLC can seamlessly take over the system operation.  
poster icon Poster TUPV036 [1.154 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-TUPV036  
About • Received ※ 09 October 2021       Revised ※ 29 October 2021       Accepted ※ 20 November 2021       Issue date ※ 31 December 2021
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
TUPV040 A Python Package For Generating Motor Homing Routines HOM, controls, interface, status 497
 
  • A.S. Palaha, T.M. Cobb, G. Knap
    DLS, Oxfordshire, United Kingdom
 
  Diamond Light Source uses hundreds of Delta Tau Turbo PMAC2 based motion controllers that control motors with precision and repeatability. Homing is critical to these requirements; it safely moves axes to a well-known position using a high-precision device for detection, leaving the overall system in a well-known state and ready for use. A python package called ’pmacmotorhome’ has been developed to generate homing routines for multiple motors across multiple motion controllers, allowing the user to write a script that is terse for standard/typical routines but allows for customisation and flexibility where required. The project uses jinja templates as ‘snippets’ to generate the homing routine code written in Delta Tau PLC notation. The snippets can be re-ordered and grouped together, supporting the design of homing routines for multi-axis systems with mechanical limitations that require an orchestrated approach to safely home the axes. The python script using the package is kept terse using a context manager and can group axes together to the same homing group easily.  
poster icon Poster TUPV040 [1.256 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-TUPV040  
About • Received ※ 14 October 2021       Revised ※ 21 October 2021       Accepted ※ 20 November 2021       Issue date ※ 15 December 2021
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
TUPV042 Collision Avoidance Systems in Synchrotron SOLEIL controls, detector, experiment, synchrotron 501
 
  • C. Engblom, S. Akinotcho, L. Amelineau, D.C. Corruble, P. Monteiro, L.E. Munoz, B. Pilliaud, G. Thibaux, S. Zhang
    SOLEIL, Gif-sur-Yvette, France
  • S. Bouvel
    EFOR, Levallois Perret, France
 
  Beamlines at Synchrotron SOLEIL are finding that their experimental setups (in respect to their respective sample environments, mechanical systems, and detectors) are getting more constrained when it comes to motorized manoeuvrability - an increasing number of mechanical instruments are being actuated within the same workspace hence increasing the risk of collision. We will in this paper outline setups with two types of Collision Avoidance Systems (CAS): (1) Static-CAS applications, currently being employed at the PUMA and NANOSCOPIUM beamlines, that use physical or contactless sensors coupled with PLC- and motion control- systems; (2) Dynamic-CAS applications, that use dynamic anti-collision algorithms combining encoder feedback and 3D-models of the system environment, implemented at the ANTARES and MARS beamlines but applied using two different strategies.  
poster icon Poster TUPV042 [1.670 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-TUPV042  
About • Received ※ 10 October 2021       Revised ※ 20 October 2021       Accepted ※ 21 December 2021       Issue date ※ 17 January 2022
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
WEBR02 Towards the Optimization of the Safety Life-Cycle for Safety Instrumented Systems hardware, controls, software, operation 586
 
  • B. Fernández Adiego, E. Blanco Viñuela, Th. Otto, R. Speroni, G. de Assis Schmidt
    CERN, Geneva, Switzerland
 
  The design and development of Safety Instrumented Systems (SIS) according to the IEC 61511 standard is a long and costly process. Although the standard gives recommendations and guidelines for each phase of the safety life-cycle, implementing them is not a simple task. Access to reliability data, hardware and systematic safety integrity analysis, software verification, generation of reports, guarantee of traceability between all the phases and management of the project are some of the main challenges. In addition, some of the industrial processes or test-benches of large scientific installations are in continuous evolution and changes are very common. This adds extra complexity to the management of these projects. This paper presents an analysis of the safety life-cycle workflow and discusses the biggest challenges based on our experience at CERN. It also establishes the basis for a selection of the tools for some of the safety life-cycle phases, proposes report templates and management procedures and, finally, describes the roles of the different members in our functional safety projects.  
slides icon Slides WEBR02 [2.603 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-WEBR02  
About • Received ※ 07 October 2021       Revised ※ 22 October 2021       Accepted ※ 21 December 2021       Issue date ※ 25 February 2022
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
WEBR04 Safeguarding Large Particle Accelerator Research Facility- A Multilayer Distributed Control Architecture controls, linac, radiation, electron 596
 
  • F. Tao
    SLAC, Menlo Park, California, USA
 
  Personnel Protection System (PPS) at SLAC is a global safety system responsible for protecting personnel from radiation hazards. The system’s functional design shares similar concepts with machinery safeguarding, though the complexity of PPS is much higher due to its wide geographic distribution, large numbers of devices, and multiple sources of hazards. In this paper, we will first introduce the multilayer distributed control system architecture of SLAC’s PPS, which serves three beam programs, e.g., LCLS, LCLS-II and FACET-II, that exist in the same 4km linear accelerator infrastructure. Composed of 50+ sets of redundant safety PLCs and 20+ access control PLCs, SLAC’s PPS has five layers: beam program, beam switching and permit, zone access control, zone safety control and sensor/shutoff subsystems. With this architecture, safety functions often involve multiple controllers across several layers, make it a challenge on system analysis, design, and testing. Therefore, in this paper, we will also discuss SIL verification, and PPS’s functional safety related issues for this type of complex systems.  
slides icon Slides WEBR04 [1.322 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-WEBR04  
About • Received ※ 15 October 2021       Revised ※ 19 October 2021       Accepted ※ 21 November 2021       Issue date ※ 21 December 2021
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
WEPV038 Performance Verification of New Machine Protection System Prototype for RIKEN RI Beam Factory FPGA, controls, operation, factory 742
 
  • M. Komiyama, M. Fujimaki, N. Fukunishi, K. Kumagai, A. Uchiyama
    RIKEN Nishina Center, Wako, Japan
  • M. Hamanaka, T. Nakamura
    SHI Accelerator Service Ltd., Tokyo, Japan
 
  We report on performance verification of a prototype of a new machine protection system for the RIKEN Radioactive Isotope Beam Factory (RIBF). This prototype was developed to update a beam interlock system (BIS) in operation since 2006. The new system, like the BIS, is configured using a programmable logic controller (PLC). We applied the prototype to a small part of RIBF and started its operation in Sept., 2020. It consists of two separate PLC stations, and there are 28 digital inputs and 23 analog inputs as interlock signals, and 5 digital outputs are used to stop a beam in total. The observed response time averaged 2 ms and 5.7 ms, respectively, within one station and with both stations. When deploying the prototype in the same scale as the BIS, which consists of 5 PLC stations with roughly 400 signals, the response time is estimated to be over 10 ms, which means that it is too long to protect the equipment when the intensity of the beam accelerated at RIBF becomes higher. Therefore, we are starting to redesign a system by adding a field-programmable gate array (FPGA) to shorten the response time significantly rather than repeating minor improvements to save a few milliseconds.  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-WEPV038  
About • Received ※ 10 October 2021       Accepted ※ 21 November 2021       Issue date ※ 24 January 2022  
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
WEPV039 Novel Personnel Safety System for HLS-II radiation, controls, EPICS, operation 746
 
  • Z.Y. Huang, C. Li, G. Liu, X.K. Sun, J.G. Wang, S. Xu, K. Xuan
    USTC/NSRL, Hefei, Anhui, People’s Republic of China
 
  Funding: Supported by the National Natural Science Foundation of China (No.113751861)
The Hefei Light Source-II (HLS-II) is a vacuum ultraviolet synchrotron light source. The Personnel Safety System (PSS) is the crucial part to protect staff and users from radiation damages. In order to share access control information and improve the reliability for HLS-II, the novel PSS is designed based on Siemens redundant PLC under EPICS environment which is composed by the safety interlock system, access control system and the radiation monitoring system. This paper will demonstrate the architecture and the specific design of this novel PSS and shows the operation performance after it has been implemented for 2 years.
 
poster icon Poster WEPV039 [3.318 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-WEPV039  
About • Received ※ 30 September 2021       Revised ※ 22 October 2021       Accepted ※ 21 November 2021       Issue date ※ 02 January 2022
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
WEPV041 Implementation of a VHDL Application for Interfacing Anybus CompactCom interface, network, neutron, FPGA 755
 
  • S. Gabourin, A. Nordt, S. Pavinato
    ESS, Lund, Sweden
 
  The European Spallation Source (ESS ERIC), based in Lund (Sweden), will be in a few years the most powerful neutron source in Europe with an average beam power of 5 MW. It will accelerate proton beam pulses to a Tungsten wheel to generate neutrons by the spallation effect. For such beam, the Machine Protection System (MPS) at ESS must be fast and reliable, and for this reason a Fast Beam Interlock System (FBIS) based on FPGAs is required. Some protection functions monitoring slow values (like temperature, mechanical movements, magnetic fields) need however less strict reaction times and are managed by PLCs. The communications protocol established between PLCs and FBIS is PROFINET fieldbus based. The Anybus CompactCom allows an host to have connectivity to industrial networks as PROFINET. In this context, FBIS represents the host and the application code to interface the AnyBus CompactCom has been fully developed in VHDL. This paper describes an open source implementation to interface a CompactCom M40 with an FPGA.  
poster icon Poster WEPV041 [0.967 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-WEPV041  
About • Received ※ 09 October 2021       Revised ※ 22 October 2021       Accepted ※ 14 January 2022       Issue date ※ 01 March 2022
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
WEPV042 Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program controls, software, site, status 759
 
  • B. Fernández Adiego, E. Blanco Viñuela, F. Havart, T. Ladzinski, I.D. Lopez-Miguel, J-C. Tournier
    CERN, Geneva, Switzerland
 
  An important aspect of many particle accelerators is the constant evolution and frequent configuration changes that are needed to perform the experiments they are designed for. This often leads to the design of configurable software that can absorb these changes and perform the required control and protection actions. This design strategy minimizes the engineering and maintenance costs, but it makes the software verification activities more challenging since safety properties must be guaranteed for any of the possible configurations. Software model checking is a popular automated verification technique in many industries. This verification method explores all possible combinations of the system model to guarantee its compliance with certain properties or specification. This is a very appropriate technique for highly configurable software, since there is usually an enormous amount of combinations to be checked. This paper presents how PLCverif, a CERN model checking platform, has been applied to a highly configurable Programmable Logic Controller (PLC) program, the SPS Personnel Protection System (PPS). The benefits and challenges of this verification approach are also discussed.  
poster icon Poster WEPV042 [1.880 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-WEPV042  
About • Received ※ 07 October 2021       Accepted ※ 21 November 2021       Issue date ※ 25 December 2021  
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
THPV048 Novel Control System for the LHCb Scintillating Fibre Tracker Detector Infrastructure detector, controls, vacuum, electron 981
 
  • M. Ostrega, M.A. Ciupinski, S. Jakobsen, X. Pons
    CERN, Geneva, Switzerland
 
  During the Long Shutdown 2 of the LHC at CERN, the LHCb detector is upgraded to cope with higher instantaneous luminosities. The largest of the new trackers is based on the scintillating fibres (SciFi) read out by SIlicon PhotoMultipliers (SiPMs). The SiPMs will be cooled down to -40°C to minimize noise. For performance and space reasons, the cooling lines are vacuum insulated. Ionizing radiation requires detaching and displace the readout electronics from Pirani gauges to a lower radiation area. To avoid condensation inside the SiPM boxes, the atmosphere inside must have a dew point of at most -45°C. The low dew point will be achieved by flushing a dry gas through the box. 576 flowmeters devices will be installed to monitor the gas flow continuously. A Condensation Prevention System (CPS) has been introduced as condensation was observed. The CPS powers heating wires installed around the SiPM boxes and the vacuum bellows isolating the cooling lines. The CPS also includes 672 temperature sensors to monitor that all parts are warmer than the cavern dew point. The temperature readout systems are based on multiplexing technology at the in the front-end and a PLC in the back-end.  
poster icon Poster THPV048 [8.181 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-THPV048  
About • Received ※ 10 October 2021       Revised ※ 22 October 2021       Accepted ※ 22 November 2021       Issue date ※ 21 December 2021
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
 
FRAL03 CERN Cryogenic Controls Today and Tomorrow controls, cryogenics, radiation, SCADA 997
 
  • M. Pezzetti, Ph. Gayet
    CERN, Geneva, Switzerland
 
  The CERN cryogenic facilities demand a versatile, distributed, homogeneous and highly reliable control system. For this purpose, CERN conceived and developed several frameworks (JCOP, UNICOS, FESA, CMW), based on current industrial technologies and COTS equipment, such as PC, PLC and SCADA systems complying with the requested constraints. The cryogenic control system nowadays uses these frameworks and allows the joint development of supervision and control layers by defining a common structure for specifications and code documentation. Such a system is capable of sharing control variable from all accelerator apparatus. The first implementation of this control architecture started in 2000 for the Large Hadron Collider (LHC). Since then CERN continued developing the hardware and software components of the cryogenic control system, based on the exploitation of the experience gained. These developments are always aimed to increase the safety and to improve the performance. The final part will present the evolution of the cryogenic control toward an integrated control system SOA based CERN using the Reference Architectural Model Industrie 4.0 (RAMI 4.0).  
slides icon Slides FRAL03 [6.597 MB]  
DOI • reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2021-FRAL03  
About • Received ※ 10 October 2021       Revised ※ 25 October 2021       Accepted ※ 26 November 2021       Issue date ※ 01 March 2022
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)