Keyword: PLC
Paper Title Other Keywords Page
MOC3O02 PIDTUNE: A PID Autotuning Software Tool on UNICOS CPC controls, framework, cryogenics, operation 1
  • E. Blanco Vinuela, B. Bradu, R. Marti Martinez
    CERN, Geneva, Switzerland
  • R. Mazaeda, L. de Frutos, C. de Prada
    University of Valladolid, Valladolid, Spain
  PID (Proportional, integral and derivative) is the most used feedback control algorithm in the process control industry. Despite its age, its simplicity in terms of deployment and its efficiency on most of industrial processes allow this technique to still have a bright future. One of the biggest challenges in using PID control is to find its parameters, the so-called tuning of the controller. This may be a complex problem as it mostly depends on the dynamics of the process being controlled. In this paper we propose a tool that is able to provide the engineers a set of PID parameters in an automated way. Several auto-tuning methods, both in open and close loop, are selectable and others can be added as the tool is designed to be flexible. The tool is fully integrated in the UNICOS framework and can be used to tune multiple controllers at the same time.  
slides icon Slides MOC3O02 [2.788 MB]  
MOD3O05 Use of Automation in Commissioning Process of the Undulators of the European X-Ray Free Electron Laser undulator, controls, interface, Ethernet 1
  • S. Karabekyan, J. Pflüger
    XFEL. EU, Hamburg, Germany
  • L. Lin, Y.T. Liu
    USTC/NSRL, Hefei, Anhui, People's Republic of China
  • W. Wang
    Hisense Co. Ltd., Qingdao, People's Republic of China
  For operation of the three undulator systems of the European XFEL, a total of 91 undulators are needed and have been produced. For production, magnetic measurements, tuning and commissioning of these devices only two years were foreseen by the project schedule. For these purposes, automated and optimized procedures were needed to accomplish a number of workflows, time-consuming adjustments and commissioning tasks. We created several automation programs which allowed us to reduce the time spent on the commissioning of the control system by an order of magnitude.  
slides icon Slides MOD3O05 [4.335 MB]  
MOM309 Upgrade of the Beam Monitor System for Hadron Experimental Facility at J-PARC extraction, EPICS, hadron, operation 1
  • Y. Morino, K. Agari, Y. Sato, A. Toyoda
    KEK, Tokai, Ibaraki, Japan
  Hadron experimental facility(HD hall) at Japan Proton Accelerator Research Complex (J-PARC) is designed to provide high intensity beam for particle and nuclear physics. Slow-extracted proton beam(2 second spill per 6 seconds) from main ring is injected to a production target at the HD hall. On May 2013, proton beam was instantaneously extracted to the HD hall in 5 milliseconds. The short pulse beam melted the production target. After the accident, the beam operation was stopped at the HD hall. For the recovery of the HD hall, we upgraded the beam line of the HD hall in many aspects to sustain the abnormal beam injection. The monitor system of the beam line was also upgraded to detect the abnormal beam injection. The rate monitor of second particles from the target was prepared to detect short pulse injection. The beam profile monitor was upgraded to measure at several times during one pulse to detect a sudden change of the beam profile. The beam loss monitor was upgraded to read out always to detect unexpected high intensity beam promptly. These signals were included in the interlock system. In this paper, the detail of the beam monitor system upgrade will be reported.  
slides icon Slides MOM309 [1.980 MB]  
MOPGF019 Experiences and Lessons Learned in Transitioning Beamline Front-Ends from VMEbus to Modular Distributed I/O controls, network, interface, Linux 1
  • I.J. Gillingham, T. Friedrich, S.C. Lay, R. Mercado
    DLS, Oxfordshire, United Kingdom
  Historically Diamond's photon front-ends have adopted control systems based on the VMEbus platform. With increasing pressure towards improved system versatility, space constraints and the issues of long term support for the VME platform, a programme of migration to distributed remote I/O control systems was undertaken. This paper reports on the design strategies, benefits and issues addressed since the new design has been operational.  
poster icon Poster MOPGF019 [0.369 MB]  
MOPGF023 Update of Power Supply Control System at the SAGA Light Source Storage Ring controls, storage-ring, target, power-supply 1
  • Y. Iwasaki, T. Kaneyasu, S. Koda, Y. Takabayashi
    SAGA, Tosu, Japan
  The update of control system at the SAGA Light Source storage ring power supplies is in progress for improving the ramp-up speed (from 255 MeV to 1.4 GeV) and for easily changing the stored beam energy. By replacing the CPU unit of PLC used for control of the power supplies, the ramp-up time was reduced from 4 to 2 minutes in a test bench prepared for the upgrade system. Currently the allowable beam energy is restricted to some fixed values in the ramp-up operation due to the original specification of the PLC ladder program. To operate storage ring at an arbitrary energy, the algorism used in the PLC program has been improvement. Energy dependent measurements (betatron-tune, beam size, and beam half-lifetime) will be carried out by using the updated control system. The upper layer of the control system using the National Instrument LabVIEW and ActiveXCA was also reconstructed for flexible GUI.  
poster icon Poster MOPGF023 [3.785 MB]  
MOPGF029 Personnel Protection System Upgrade for the LCLS Electron Beam Linac linac, operation, EPICS, hardware 1
  • C. Cyterski, E.P. Chin
    SLAC, Menlo Park, California, USA
  As facilities age and evolve, constant effort is needed in upgrading control system infrastructure; this applies to all aspects of an accelerator facility. Portions of the Personnel Protection System of the Linac Coherent Light Source are still relying on a legacy, relay-based Safety System. An upgrade is underway to modernize these systems using Siemens S7-300 Safety PLCs and Pilz PNOZMulti programmable controllers. The upgrade will be rolled out over multiple years requiring the implementation to be fully compatible with adjacent legacy system while setting the foundation for the new generation system. The solution relies on a modularized safety system which can be deployed in a short time (1 month) while being flexible enough to adapt to the evolving needs over the next 20 years.  
poster icon Poster MOPGF029 [0.274 MB]  
MOPGF030 Upgrade of the Control and Interlock Systems for the Magnet Power Supplies in T2K Primary Beamline controls, EPICS, operation, proton 1
  • K. Nakayoshi, Y. Fujii, K. Sakashita
    KEK, Tsukuba, Japan
  T2K is a long-baseline neutrino oscillation experiment at J-PARC in Japan. High intensity neutrino/antineutrino beam is generated and propagates 295km to Super-Kamiokande. High intensity proton beam, 350 kW in May 2015, is extracted from Main Ring synchrotron, guided through a primary proton beamline to a graphite target using normal-conducting (NC) magnets and super-conducting combined-function magnets. In October 2014, we replaced all the power supplies (PSs) for NC magnets with newly developed PSs. We also developed new control system based on EPICS and PLCs, putting emphasis on the safe operation of power supplies, and integrated it into the existing interlock system. Consequently the latency time for the interlock system was improved. We report the actual implementation and operation results of these developments.  
MOPGF102 The New Control Software for the CERN NA62 Beam Vacuum controls, vacuum, database, software 1
  • S. Blanchard, F. Antoniotti, R. Ferreira, P. Gomes, A. Gutierrez, B. Jenninger, F. Mateo, H.F. Pereira
    CERN, Geneva, Switzerland
  • L. Kopylov, S. Merker
    IHEP, Moscow Region, Russia
  NA62 is a fixed target experiment to measure very rare decays of Kaons at CERN Super Proton Synchrotron accelerator. The NA62 experiment line comprises several large detectors installed inside a vacuum vessel with a length of 250 m and an internal diameter of up to 2.8 m. The vacuum installation consists of 170 remote controlled pumps, valves and gauges. The operational specifications of NA62 require a complex vacuum control system: tight interaction between vacuum controllers and detector controllers, including pumping or venting vetoes, and detector start-stop interlocks; most of the valves are interlocked, including the large vacuum sector gate valves; the vacuum devices are driven by 20 logic processes. The vacuum control system is based on commercial Programmable Logical Controllers (Siemens PLC: S7-300 series) and a Supervisory Control And Data Acquisition application (Siemens SCADA: WINCC OA). The control software is built upon the standard framework used in CERN accelerators vacuum, with some specific developments. We describe the controls architecture, and report on the particular requirements and the solutions implemented.  
poster icon Poster MOPGF102 [2.670 MB]  
MOPGF103 The Upgrade of Control Hardware of the CERN NA62 Beam Vacuum vacuum, controls, experiment, interface 1
  • F. Mateo, F. Antoniotti, S. Blanchard, R. Ferreira, P. Gomes, A. Gutierrez, B. Jenninger, H.F. Pereira
    CERN, Geneva, Switzerland
  NA62 is the follow-up of the NA48 experiment, in the SPS North Area of CERN, and reuses a large fraction of its detectors and beam line equipment. Still, there are many new vacuum devices in the beam line (including pumps, valves & gauges), which required a thorough modification of the control system and a large number of new controllers, many of which were custom-made. The NA62 vacuum control system is based on the use of PLCs (Programmable Logic Controllers) and SCADA (Supervisory Control and Data Acquisition). The controllers and signal conditioning electronics are accessed from the PLC via a field bus (Profibus); optical fibre is used between surface racks and the underground gallery. The control hardware was completely commissioned during 2014. The nominal pressure levels were attained in all sectors of the experiment. The remote control of all devices and the interlocks were successfully tested. This paper summarizes the architecture of the vacuum control system of NA62, the types of instruments to control, the communication networks, the hardware alarms and the supervisory interface.  
poster icon Poster MOPGF103 [6.319 MB]  
MOPGF104 Consolidations on the Vacuum Controls of the CERN Accelerators, During the First Long Shutdown of the LHC controls, vacuum, injection, operation 1
  • P. Gomes, F. Antoniotti, F. Aragon, F. Bellorini, S. Blanchard, J-P. Boivin, N. Chatzigeorgiou, F. Daligault, R. Ferreira, J. Fraga, J. Gama, A. Gutierrez, P. Krakówski, H.F. Pereira, G. Pigny, P.P. Prieto, B. Rio, H. Vestergard
    CERN, Geneva, Switzerland
  • L. Kopylov, S. Merker, M.S. Mikheev
    IHEP, Moscow Region, Russia
  For two years (Spring 2013 - Spring 2015), the LHC went through its first long shutdown (LS1). It was mainly motivated by the consolidation of magnet interconnects, to allow operation with 6.5 TeV proton beams. Moreover, around the accelerator complex, many other systems were repaired, consolidated or upgraded, and several new installations came to life. The standardization of vacuum controls has progressed in the injectors, with the renovation of most of their obsolete equipment. In the LHC, many new instruments were added, the signal transmission integrity was improved, and the exposure to radiation was reduced in critical places. Several developments were needed for new equipment types or new operational requirements.  
poster icon Poster MOPGF104 [16.017 MB]  
MOPGF105 Device Control Database Tool (DCDB) EPICS, controls, database, interface 1
  • P.A. Maslov, M. Komel, M. Pavleski, K. Žagar
    Cosylab, Ljubljana, Slovenia
  Funding: This project has received funding from the European Union's Seventh Framework Programme for research, technological development and demonstration under grant agreement no 289485.
We have developed a control system configuration tool, which provides an easy-to-use interface for quick configuration of the entire facility. It uses Microsoft Excel as the front-end application and allows the user to quickly generate and deploy IOC configuration (EPICS start-up scripts, alarms and archive configuration) onto IOCs; start, stop and restart IOCs, alarm servers and archive engines, and more. The DCDB tool utilizes a relational database, which stores information about all the elements of the accelerator. The communication between the client, database and IOCs is realized by a REST server written in Python. The key feature of the DCDB tool is that the user does not need to recompile the source code. It is achieved by using a dynamic library loader, which automatically loads and links device support libraries. The DCDB tool is compliant with CODAC (used at ITER and ELI-NP), but can also be used in any other EPICS environment (e.g. it has been customized to work at ESS).
poster icon Poster MOPGF105 [2.745 MB]  
MOPGF115 LabVIEW as a New Supervision Solution for Industrial Control Systems controls, LabView, database, framework 1
  • O.Ø. Andreassen, F. Augrandjean, E. Blanco Vinuela, M.F. Gomez De La Cruz, A. Rijllart
    CERN, Geneva, Switzerland
  • D. Abalo Miron
    University of Oviedo, Oviedo, Spain
  To shorten the development time of supervision applications, CERN has developed the UNICOS framework, which simplifies the configuration of the front-end devices and the supervision (SCADA) layer. At CERN the SCADA system of choice is WinCC OA, but for specific projects (small size, not connected to accelerator operation or not located at CERN) a more customisable SCADA using LabVIEW is an attractive alternative. Therefore a similar system, called UNICOS in LabVIEW (UiL), has been implemented. It provides a set of highly customisable re-usable components, devices and utilities. Because LabVIEW uses different programming methods than WinCC OA, the tools for automatic instantiation of devices on both the front-end and supervision layer had to be re-developed, but the configuration files of the devices and the SCADA can be reused. This paper reports how the implementation was done, it describes the first project implemented in UiL and an outlook to other possible applications.  
poster icon Poster MOPGF115 [4.412 MB]  
MOPGF117 The Control System for Trim-Coil Relay-Selectors in J-PARC MR controls, EPICS, power-supply, operation 1
  • K.C. Sato, N. Kamikubota, N. Yamamoto
    J-PARC, KEK & JAEA, Ibaraki-ken, Japan
  • S. Igarashi
    KEK, Ibaraki, Japan
  • S.Y. Yoshida
    Kanto Information Service (KIS), Accelerator Group, Ibaraki, Japan
  In J-PARC main ring, each of the main magnets (Dipole, Quadrupole, and Sextupole) has a trim-coil. The basic aim of trim-coil is to correct small deviation of each magnetic field. In addition, we have used them for other purposes, for example: (1) in Beam-Based-Alingnment studies, (2) as flux monitors, and (3) to make a short-circuit to reduce ripples of magnetic field. At a moment, trim-coils can be used for only one purpose. Relay-switches were introduced to change trim-coil connection to a device, which corresponds to the selected purpose. When the purpose is switched, 1,200 on-site relays have to be changed manually, distributed in three buildings. Thus, a control system for trim-coil relay-selectors was developed in winter, 2014-2015. EPICS tools and environment are used to develop the system. The system comprises PLC I/O modules with controller running EPICS on Linux. The system will be in operation after March, 2015. By using the system, a much easier switching of relay-switches than before, is expected.  
poster icon Poster MOPGF117 [0.498 MB]  
MOPGF119 Design and Development of the ECR Ion Source Control System controls, vacuum, ion, ion-source 1
  • H.J. Son, H. Jang, S. Lee, C.W. Son
    IBS, Daejeon, Republic of Korea
  Funding: This work is supported by the Rare Isotope Science Project funded by Ministry of Science, ICT and Future Planning(MSIP) and National Research Foundation(NRF) of Korea(Project No. 2011-0032011).
The Rare Isotope Science Project at the Institute for Basic Science constructs the rare isotope accelerator (RAON) facility in South Korea. The stable ion beam as an ion source for the RAON accelerator could be generated by ECR ion source system. Therefore, it is mandatory to build ECR ion source control system that could be integrated into an accelerator control system easily. The vacuum control system is an essential part of the ECR control system, because of one vacuum chamber among three different voltage stages (ground, 50 kV, and 80 kV). The preliminary design and implementation of vacuum control system for the ECR ion source will be discussed. It is planned to use a PLC in order to communicate with a vacuum gauge and turbo pump controllers among multi-voltage stages (ground, 50 kV and 80 kV) by optical fibers connection. The PLC system has two major components: a digital I/O module that provides power to each component and standard RS-232 modules which are connected with the gauge & pump controllers. In addition, its extension plan to integrate the vacuum control system into the RAON accelerator control system based on system the EPICS framework, will be discussed.
poster icon Poster MOPGF119 [3.106 MB]  
MOPGF121 Stripping Foil Displacement Unit Control for H Injection in PSB at CERN vacuum, controls, radiation, linac 1
  • P. Van Trappen, R. Noulibos, W.J.M. Weterings
    CERN, Geneva, Switzerland
  For CERN's Linac4 (L4) Proton Synchrotron Booster (PSB) injection scheme, slices of the 160 MeV H beam will be distributed to the 4 superposed synchrotron rings of the PSB. The beam will then be injected horizontally into the PSB by means of an H charge-exchange injection system using a graphite stripping foil to strip the electrons from the H ions. The foil and its positioning mechanism will be housed under vacuum inside a stripping foil unit, containing a set of six foils that can be mechanically rotated into the beam aperture. The band with mounted foils is controlled by a stepping motor while a resolver, micro-switches and a membrane potentiometer provide foil position feedback. The vicinity of the ionizing beam and vacuum requirements have constrained the selection of the above mentioned control system parts. The positioning and interlocking logic is implemented in an industrial Programmable Logic Controller (PLC). This paper describes the design of the stripping foil unit electronics and controls and presents the first results obtained from a test bench unit which will be installed in the Linac4 transfer line by the end of the 2015 for foil tests with beam.  
poster icon Poster MOPGF121 [3.080 MB]  
MOPGF125 The General Interlock System (GIS) for FAIR hardware, software, pick-up, status 1
  • F. Ameil, C. Betz
    GSI, Darmstadt, Germany
  • G. Cuk, I. Verstovšek
    Cosylab, Ljubljana, Slovenia
  The Interlock System for FAIR named General Interlock System (GIS) is part of the Machine Protection System which protects the accelerator from damage by misled beams. The GIS collects various Interlock sources hardware signals from up to 60 distributed remote I/O stations through PROFINET to a central PLC CPU. Thus a bit-field is build and sent to the interlock processor via a simple Ethernet point-to-point connection. Additional software Interlock sources can be picked up by the Interlock Processor via UDP/IP protocol. The Interlock System for FAIR project was divided into 2 development phases. Phase A contains the interlock signal gathering (HW and SW) and a status viewer. Phase B entails the fully functional interlock logic (support for dynamic configuration), interface with Timing System, interlock signal acknowledging, interlock signal masking, archiving and logging. The realization of the phase A will be presented in this paper.  
MOPGF131 Interlock System for Machine Protection at ThomX Accelerator vacuum, dipole, operation, controls 1
  • N. ElKamchi, P. Gauron, H. Monard
    LAL, Orsay, France
  ThomX is a Compton based photons source. It aims to produce a compact and directional X-rays source, with high performance, high brightness and adjustable energy*. The principal application fields are medical sciences, social technology and industry. An interlock system has been implemented for machine protection, especially to protect sensitive and essential equipment (magnets, vacuum system, etc.) during machine operation. ThomX interlock system is based on Programmable Logic Controller (PLC-Siemens S7-1500), it collects default signals from the different equipment of the machine, up to the central PLC which kills the beam, by stopping the RF or the injection, in case of problem (bad vacuum, magnets overheating, etc.). The interlock system consists of two levels. The first one is a local process, whose role is to monitor the variations of different parameters of the machine equipment, and generates a default signal in case of operation problem. The second level is the central PLC, which gathers and process all the default signals from subsystems, and stops the RF power in a very short time. Actually, the interlock system is under test, it will allow accelerator to work safely.
*C. Bruni et al.,'ThomX - Conceptual Design Report', 2009, pp.1-136.
MOPGF132 Building an Interlock: Comparison of Technologies for Constructing Safety Interlocks FPGA, controls, interlocks, hardware 1
  • T. Hakulinen, F. Havart, P. Ninin, F. Valentini
    CERN, Geneva, Switzerland
  Interlocks are an important feature of both personnel and machine protection systems for mitigating risks inherent in operation of dangerous equipment. The purpose of an interlock is to secure specific equipment or entire systems under well defined conditions in order to prevent accidents from happening. Depending on specific requirements for the level of reliability, availability, speed, and cost of the interlock, various technologies are available. Different approaches are discussed, in particular in the context of personnel safety systems, which have been built or tested at CERN during the last few years. Technologies discussed include examples of programmable devices, PLCs and FPGAs, as well as wired logic based on relays and special logic cards.  
poster icon Poster MOPGF132 [1.249 MB]  
MOPGF140 Integration of PLC's in Tango Control Systems Using PyPLC TANGO, controls, GUI, database 1
  • S. Rubio-Manrique, M. Broseta, G. Cuní, D. Fernandez-Carreiras, A. Rubio, J. Villanueva
    ALBA-CELLS Synchrotron, Cerdanyola del Vallès, Spain
  The Equipment Protection Systems and Personnel Safety Systems of the ALBA Synchrotron are complex and highly distributed control systems based on PLC's from different vendors. EPS and PSS not only regulate the interlocks of the whole ALBA facility but provide an extense network of analog and digital sensors that collect information from all subsystems; as well as its logical states. TANGO is the Control System framework used at ALBA, providing several tools and services (GUI's, Archiving, Alarms) in which EPS and PSS systems must be integrated. PyPLC, a dynamic Tango device, have been developed in python to provide a flexible interface and enable PLC developers to automatically update it. This paper describes how protection systems and the PLC code generation cycle have been fully integrated within TANGO Control System at ALBA.  
poster icon Poster MOPGF140 [2.242 MB]  
MOPGF160 ARIEL Control System at TRIUMF - Status Update controls, EPICS, interface, network 1
  • R.B. Nussbaumer, D. Dale, K. Ezawa, K. Fong, H. Hui, R. Iranmanesh, J. Kavarskas, D.B. Morris, J.J. Pon, S. Rapaz, J.E. Richards, M. Rowe, T.M. Tateyama, E. Tikhomolov, G. Waters, P.J. Yogendran
    TRIUMF, Canada's National Laboratory for Particle and Nuclear Physics, Vancouver, Canada
  The Advanced Rare Isotope & Electron Linac (ARIEL) facility at TRIUMF has now reached completion of the first phase of construction; the Electron Linac. A commissioning control system has been built and used to commission the electron e-gun and two stages of SRF acceleration. Numerous controls subsystems have been deployed including beamlines, vacuum systems, beamline diagnostics, machine protect system interfaces, LLRF, HPRF, and cryogenics. This paper describes some of the challenges and solutions that were encountered, and describes the scope of the project to date. An evaluation of some techniques that had been proposed and described at ICALEPCS 2013 are included.  
poster icon Poster MOPGF160 [1.360 MB]  
  • K. Ha, W.X. Cheng, L.R. Dalesio, J.H. De Long, Y. Hu, P. Ilinski, J. Mead, D. Padrazo, S. Seletskiy, O. Singh, R.M. Smith, Y. Tian
    BNL, Upton, Long Island, New York, USA
  • G. Shen
    FRIB, East Lansing, Michigan, USA
  Funding: Work supported by DOE contract No: DE-AC02-98CD10886
At National Synchrotron Light Source-II (NSLS-II), a field-programmable gate array (FPGA) based global active interlock system (AIS) has been commissioned and used for beam operations. The main propose of AIS is to protect insertion devices (ID) and vacuum chambers from the thermal damage of high density synchrotron radiation power. This report describes the status of AIS hardware, software architectures and operation experience.
slides icon Slides TUC3O05 [21.147 MB]  
TUC3O07 Safety Integrity Level (SIL) Verification for SLAC Radiation Safety Systems controls, radiation, electronics, operation 1
  • F. Tao, E. Carrone, J.M. Murphy, K.T. Turner
    SLAC, Menlo Park, California, USA
  SIL is a key concept in functional safety standards: it is a performance measure on how reliable is a safety system performing a particular safety function. In the system design stage, SIL verification must be performed to prove that the SIL achieved meets/exceeds the SIL assigned during risk assessment, to comply with standards. Unlike industrial applications, where safety systems are usually composed of certified devices or devices with long usage history, safety systems in large physics laboratories are less standardized and more complex in terms of system architecture and devices used. In addition, custom designed electronics are often employed, with limited reliability information. Verifying SIL for these systems requires in-depth knowledge of reliability evaluation. In this paper, it is demonstrated how to determine SIL using SLAC radiation safety systems (Personnel Protection System (PPS) and Beam Containment System (BCS)) as examples. PPS utilizes commercial safety rated devices, while BCS also contains customized electronics. Choice of standards, methods of evaluation, reliability data gathering process (both from industry and from hardware development) are also discussed.  
slides icon Slides TUC3O07 [1.754 MB]  
WEB3O05 Why Semantics Matter: a Demonstration on Knowledge-Based Control System Design software, framework, controls, DSL 1
  • W. Pessemier, G. Deconinck, G. Raskin, P. Saey, H. Van Winckel
    KU Leuven, Leuven, Belgium
  Knowledge representation and reasoning are hot topics in academics and industry today, as they are enabling technologies for building more complex and intelligent future systems. At the Mercator Telescope, we've built a software framework based on these technologies to support the design of our control systems. At the heart of the framework is a metamodel: a set of ontologies based on the formal semantics of the Web Ontology Language (OWL), to provide meaningful reusable building blocks. Those building blocks are instantiated in the models of our control systems, via a Domain Specific Language (DSL). The metamodels and models jointly form a knowledge base, i.e. an integrated model that can be viewed from different perspectives, or processed by an inference engine for model verification purposes. In this paper we present a tool called OntoManager, which demonstrates the added value of semantic modeling to the engineering process. By querying the integrated model, our web-based tool is able to generate systems engineering views, verification test reports, graphical software models, PLCopen compliant software code, Python client-side code, and much more, in a user-friendly way.  
slides icon Slides WEB3O05 [10.403 MB]  
WEPGF001 The Instrument Control Electronics of the ESPRESSO Spectrograph @VLT controls, electronics, software, interface 1
  • V. Baldini, G. Calderone, R. Cirami, I. Coretti, S. Cristiani, P. Di Marcantonio, P. Santin
    INAF-OAT, Trieste, Italy
  • D. Mégevand
    Université de Genève, Observatoire Astronomique, Versoix, Switzerland
  • F. Zerbi
    INAF-Osservatorio Astronomico di Brera, Merate, Italy
  ESPRESSO, the Echelle SPectrograph for Rocky Exoplanet and Stable Spectroscopic Observations, is a super-stable Optical High Resolution Spectrograph for the Combined Coudé focus of the VLT. It can be operated either as a single telescope instrument or as a multi-telescope facility, by collecting the light of up to four UTs. From the Nasmyth focus of each UT the light is fed, through a set of optical elements (Coudé Train), to the Front End Unit which performs several functions, as image and pupil stabilization, inclusion of calibration light and refocusing. The light is then conveyed into the spectrograph fibers. The whole process is handled by several electronically controlled devices. About 40 motorized stages, more than 90 sensors and several calibration lamps are controlled by the Instrument Control Electronics (ICE) and Software (ICS). The technology employed for the control of the ESPRESSO subsystems is PLC-based, with a distributed layout close to the functions to control. This paper illustrates the current status of the ESPRESSO ICE, showing the control architecture, the electrical cabinets organization and the experiences gained during the development and assembly phase.  
poster icon Poster WEPGF001 [5.652 MB]  
WEPGF011 Progress of the Control Systems for the ADS injector II controls, network, Ethernet, interface 1
  • Y.H. Guo, Z. He, H.T. Liu, T. Liu, J.B. Luo, J. Wang, Y.P. Wang
    IMP/CAS, Lanzhou, People's Republic of China
  This paper reports the progress of the control system for accelerator injector II used in China initiative accelerator driven sub-critical (ADS) facility. As a linear proton accelerator, injector II includes an ECR ion source, a low-energy beam transport line, a radio frequency quadrupole accelerator, a medium energy beam transport line, several crymodules, and a diagnostics plate. Several subsystems in the control system have been discussed, such as a machine protection system, a timing system, and a data storage system. A three-layer control system has been developed for injector II. In the equipment layer, the low-level control with various industrial control cards, such as programmable logic controller and peripheral component interconnect (PCI), have been reported. In the middle layer, a redundant Gigabit Ethernet based on the Ethernet ring protection protocol has been used in the control network for Injector II. In the operation layer, high-level application software has been developed for the beam commissioning and the operation of the accelerator. Finally, by using this control system, the proton beam commissioning for Injector II in the control room has been mentioned.  
poster icon Poster WEPGF011 [0.697 MB]  
WEPGF012 Information Security Assessment of CERN Access and Safety Systems network, controls, software, Windows 1
  • T. Hakulinen, X.B. Costa Lopez, P. Ninin, P. Oser
    CERN, Geneva, Switzerland
  Access and safety systems are traditionally considered critical in organizations and they are therefore usually well isolated from the rest of the network. However, recent years have seen a number of cases, where such systems have been compromised even when in principle well protected. The tendency has also been to increase information exchange between these systems and the rest of the world to facilitate operation and maintenance, which further serves to make these systems vulnerable. In order to gain insight on the overall level of information security of CERN access and safety systems, a security assessment was carried out. This process consisted not only of a logical evaluation of the architecture and implementation, but also of active probing for various types of vulnerabilities on test bench installations.  
poster icon Poster WEPGF012 [0.994 MB]  
WEPGF020 A Redundant EPICS Control System Based on PROFINET EPICS, controls, Ethernet, interface 1
  • Z. Huang, C. Li, G. Liu, Y. Song, K. Wan
    USTC/NSRL, Hefei, Anhui, People's Republic of China
  This paper will demonstrate a redundant EPICS control system based on PROFIENT. The control system consists of 4 levels: the EPICS IOC, the PROFINET IO controller, the PROFINET media and the PROFINET IO device. Redundancy at each level is independent of redundancy at each other level in order to achieve highest flexibility. The implementation and performance of each level will be described in this paper.  
poster icon Poster WEPGF020 [0.665 MB]  
WEPGF091 A Formal Specification Method for PLC-based Applications controls, software, operation, target 1
  • D. Darvas, E. Blanco Vinuela
    CERN, Geneva, Switzerland
  • I. Majzik
    BUTE, Budapest, Hungary
  The correctness of the software used in control systems has been always a high priority, as a failure can cause serious expenses, injuries or loss of reputation. To improve the quality of these applications, various development and verification methods exist. All of them necessitate a deep understanding of the requirements which can be achieved by a well-adapted formal specification method. In this paper we introduce a state machine and data-flow-based formal specification method tailored to PLC modules. This paper presents the practical benefits and new possibilities of this method, comprising consistency checking, PLC code generation, and checking equivalence between the specification and its previous versions or legacy code. The usage of these techniques can improve the level of understanding of the requirements and increase the confidence in the correctness of the implementation. Furthermore, they can help to apply formal verification techniques by providing formalised requirements.  
poster icon Poster WEPGF091 [0.565 MB]  
WEPGF092 PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques controls, software, framework, operation 1
  • D. Darvas, E. Blanco Vinuela, B. Fernández Adiego
    CERN, Geneva, Switzerland
  Model checking is a promising formal verification method to complement testing in order to improve the quality of PLC programs. However, its application typically needs deep expertise in formal methods. To overcome this problem, we introduce PLCverif, a tool that builds on our verification methodology and hides all the formal verification-related difficulties from the user, including model construction, model reduction and requirement formalisation. The goal of this tool is to make model checking accessible to the developers of the PLC programs. Currently, PLCverif supports the verification of PLC code written in ST (Structured Text), but it is open to other languages defined in IEC 61131-3. The tool can be easily extended by adding new model checkers.  
poster icon Poster WEPGF092 [3.741 MB]  
WEPGF094 A Modular Approach to Develop Standardized HVAC Control Systems with UNICOS CPC Framework controls, site, operation, framework 1
  • W. Booth, R. Barillère, M. Bes, E. Blanco Vinuela, B. Bradu, M. Quilichini, M.Z. Zimny
    CERN, Geneva, Switzerland
  At CERN there are currently about 200 ventilation air handling units in production, used in many different applications, including building ventilation, pressurization of safe rooms, smoke extraction, pulsion/extraction of experimental areas (tunnel, cavern, etc), and the ventilation of the computing centre. The PLC applications which operate these installations are currently being revamped to a new framework (UNICOS CPC). This work began 3 years ago, and we are now in a position to standardize the development of these HVAC applications, in order to reduce the cost of initial development (including specification and coding), testing, and long-term maintenance of the code. In this paper the various improvements to the process with be discussed, and examples will be shown, which can thus help the community develop HVAC applications. Improvements include templates for the "Functional Analysis" specification document, standardized HVAC devices and templates for the PLC control logic, and automatically generated test documentation, to help during the Factory Acceptance Test (FAT) and Site Acceptance Test (SAT) processes.  
poster icon Poster WEPGF094 [1.149 MB]  
WEPGF154 Visualization of Interlocks with EPICS Database and EDM Embedded Windows EPICS, controls, interlocks, database 1
  • E. Tikhomolov
    TRIUMF, Canada's National Laboratory for Particle and Nuclear Physics, Vancouver, Canada
  The control system for TRIUMF's upgraded secondary beam line M20 was implemented by using a PLC and one of many EPICS IOCs running on a multi-core Dell server. Running the IOC on a powerful machine rather than on a small dedicated computer has a number of advantages such as fast code execution and the availability of a large amount of memory. A large EPICS database can be loaded into the IOC and used for visualization of the interlocks implemented in the PLC. The information about interlock status registers, text messages, and the names of control and interlock panels are entered into a relational database by using a web browser. Top-level EPICS schematics are generated from the relational database. For visualization the embedded windows available in the Extensible Display Manager (EDM) are the EPICS clients, which retrieve interlock status information from the EPICS database. A set of interlock panels is the library, which can be used to show any chains of interlocks. If necessary, a new interlock panel can be created by using the visualization tools provided with EDM. This solution, in use for more than 3 years, has proven to be reliable and very flexible.  
poster icon Poster WEPGF154 [1.155 MB]  
THHD3O05 Standards-Based Open-Source PLC Diagnostics Monitoring monitoring, diagnostics, status, controls 1
  • B. Copy, H. Milcent, M.Z. Zimny
    CERN, Geneva, Switzerland
  PLCs are widely used to control and monitor industrial processes at CERN. Since these PLCs fulfill critical functions, they must be placed under permanent monitoring. However, due to their proprietary architecture, it is difficult to both monitor the status of these PLCs using vendor-provided software packages and integrate the resulting data with the CERN accelerator infrastructure, which itself relies on CERN-specific protocols. This paper describes the architecture of a stand-alone "PLC diagnostics monitoring" Linux daemon which provides live diagnostics information through standard means and protocols (file logging, CERN protocols, Java Monitoring Extensions). This information is currently consumed by the supervision software which is used by the standby service to monitor the status of critical industrial applications in the LHC and by the monitoring console used by the LHC operators. Both applications are intensively used to monitor and diagnose critical PLC hardware running all over CERN.  
slides icon Slides THHD3O05 [1.053 MB]