Paper | Title | Other Keywords | Page |
---|---|---|---|
MOC3O02 | PID_TUNE: A PID Autotuning Software Tool on UNICOS CPC | controls, framework, cryogenics, operation | 22 |
|
|||
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 MOC3O02 [2.793 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOD3O05 | Use of Automation in Commissioning Process of the Undulators of the European X-Ray Free Electron Laser | undulator, controls, interface, Ethernet | 64 |
|
|||
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 MOD3O05 [4.208 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOM309 | Upgrade of the Beam Monitor System for Hadron Experimental Facility at J-PARC | extraction, EPICS, hadron, operation | 86 |
|
|||
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 MOM309 [1.984 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF019 | Experiences and Lessons Learned in Transitioning Beamline Front-Ends from VMEbus to Modular Distributed I/O | controls, network, interface, Linux | 121 |
|
|||
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 MOPGF019 [0.477 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF023 | Update of Power Supply Control System at the SAGA Light Source Storage Ring | controls, storage-ring, target, power-supply | 137 |
|
|||
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 MOPGF023 [3.874 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF029 | Personnel Protection System Upgrade for the LCLS Electron Beam Linac | linac, operation, EPICS, controls | 157 |
|
|||
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. | |||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF030 | Upgrade of the Control and Interlock Systems for the Magnet Power Supplies in T2K Primary Beamline | controls, EPICS, operation, proton | 160 |
|
|||
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. | |||
![]() |
Poster MOPGF030 [2.620 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF063 | The New TANGO-based Control and Data Acquisition of the Neutron Instrument DNS at FRM II | TANGO, controls, neutron, software | 236 |
|
|||
Forschungszentrum Jülich has been operating the neutron Instrument DNS at the neutron source FRM II for about 10 years. DNS is a time of flight neutron spectrometer with polarization analysis that experienced a major upgrade in 2014 and 2015. During the upgrade DNS was equipped with new electronics and a new control and data acquisition system, including a transition from the existing TACO system to its successor TANGO. On the client side the NICOS software developed at FRM II is used for the implementation of measurement operations and user interface. The design of the new control and data acquisition system is presented and the lessons learned by the introduction of TANGO are reported. | |||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF102 | The New Control Software for the CERN NA62 Beam Vacuum | controls, vacuum, software, database | 314 |
|
|||
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 MOPGF102 [2.675 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF103 | The Upgrade of Control Hardware of the CERN NA62 Beam Vacuum | vacuum, controls, experiment, interface | 318 |
|
|||
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 MOPGF103 [6.506 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF104 | Consolidations on the Vacuum Controls of the CERN Accelerators, During the First Long Shutdown of the LHC | controls, vacuum, injection, linac | 322 |
|
|||
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 MOPGF104 [16.021 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF105 | Device Control Database Tool (DCDB) | EPICS, database, controls, Linux | 326 |
|
|||
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 MOPGF105 [2.749 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF115 | LabVIEW as a New Supervision Solution for Industrial Control Systems | controls, LabView, database, framework | 349 |
|
|||
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 MOPGF115 [4.417 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF117 | The Control System for Trim-Coil Relay-Selectors in J-PARC MR | controls, EPICS, power-supply, operation | 353 |
|
|||
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 MOPGF117 [0.641 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF119 | Design and Development of the ECR Ion Source Control System | controls, vacuum, ion, ion-source | 356 |
|
|||
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 MOPGF119 [3.110 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF125 | The General Interlock System (GIS) for FAIR | hardware, software, pick-up, network | 374 |
|
|||
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. | |||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF131 | Interlock System for Machine Protection at ThomX Accelerator | vacuum, dipole, operation, controls | 386 |
|
|||
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. |
|||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF132 | Building an Interlock: Comparison of Technologies for Constructing Safety Interlocks | FPGA, controls, interlocks, ion | 389 |
|
|||
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 MOPGF132 [1.307 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF140 | Integration of PLC's in Tango Control Systems Using PyPLC | TANGO, controls, GUI, database | 413 |
|
|||
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 MOPGF140 [2.246 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
MOPGF160 | ARIEL Control System at TRIUMF - Status Update | controls, EPICS, interface, network | 460 |
|
|||
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 MOPGF160 [1.394 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUC3O05 | NSLS-II Active Interlock System for Fast Machine Protection | status, FPGA, operation, EPICS | 554 |
|
|||
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 TUC3O05 [21.152 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUC3O06 | Machine Protection System for the KOMAC 100-MeV Proton Linac | linac, ion, operation, proton | 558 |
|
|||
Funding: This work has been supported through KOMAC operation fund of KAERI by MSIP(Ministry of Science, ICT and Future Planning) A Machine Protection System (MPS) is one of the important systems for the 100-MeV proton linear accelerator of the Korea Multi-purpose Accelerator Complex (KOMAC). The MPS is required to protect the very sensitive and essential equipment during machine operation. The purpose of the MPS is to shut off the beam when the Radio-Frequency (RF) and ion source are unstable or a beam loss monitor detects high activation. The MPS includes a variety of sources, such as beam loss, RF and high voltage converter modulator faults, fast closing valves for vacuum window leaks at the beam lines and so on. The MPS consists of a hard-wired protection for fast interlocks and a soft-wired protection for slow interlock. The hardware-based MPS has been fabricated, and the requirement has been satisfied with the results within 3 μs. The Experimental Physics and Industrial Control System (EPICS) control system has been also designed to monitor and control the MPS using a Programmable Logic Controller (PLC). This paper describes the design and implementation of the MPS for the 100-MeV proton linear accelerator of the Korea Multi-purpose Accelerator Complex (KOMAC). |
|||
![]() |
Slides TUC3O06 [12.870 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUC3O07 | Safety Integrity Level (SIL) Verification for SLAC Radiation Safety Systems | controls, radiation, electronics, operation | 561 |
|
|||
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 TUC3O07 [1.758 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
WEB3O05 | Why Semantics Matter: a Demonstration on Knowledge-Based Control System Design | software, framework, controls, DSL | 615 |
|
|||
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 WEB3O05 [10.408 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
WEPGF001 | The Instrument Control Electronics of the ESPRESSO Spectrograph @VLT | controls, electronics, software, interface | 689 |
|
|||
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 WEPGF001 [5.729 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
WEPGF012 | Information Security Assessment of CERN Access and Safety Systems | network, controls, software, Windows | 713 |
|
|||
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 WEPGF012 [1.052 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
WEPGF020 | A Redundant EPICS Control System Based on PROFINET | EPICS, controls, Ethernet, interface | 736 |
|
|||
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 WEPGF020 [0.631 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
WEPGF091 | A Formal Specification Method for PLC-based Applications | controls, software, target, operation | 907 |
|
|||
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 WEPGF091 [0.569 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
WEPGF092 | PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques | software, controls, framework, background | 911 |
|
|||
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 WEPGF092 [3.550 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
WEPGF094 | A Modular Approach to Develop Standardized HVAC Control Systems with UNICOS CPC Framework | controls, site, operation, framework | 919 |
|
|||
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 WEPGF094 [1.277 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
WEPGF154 | Visualization of Interlocks with EPICS Database and EDM Embedded Windows | EPICS, controls, interlocks, database | 1066 |
|
|||
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 WEPGF154 [1.158 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
THHD3O05 | Standards-Based Open-Source PLC Diagnostics Monitoring | monitoring, diagnostics, status, controls | 1151 |
|
|||
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 THHD3O05 [1.057 MB] | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||