Paper | Title | Other Keywords | Page |
---|---|---|---|
MOAPL01 | The Control System for the Linear Accelerator at the European XFEL: Status and First Experiences | ion, controls, FEL, photon | 1 |
|
|||
The European XFEL (E-XFEL) is a 3.4 km long X-ray Free-Electron Laser facility and consists of a superconducting, linear accelerator with initially three undulator beam lines. The construction and installation of the E-XFEL is being completed this year and commissioning is well underway. First photon beams are expected to be available for early users in the second half of 2017. This paper will focus on the control system parts for the linear accelerator with its more than 7 million parameters and highlight briefly its design and implementation. Namely the hardware framework based on the MicroTCA.4 standard, testing software concepts and components at real and virtual accelerator facilities and a well-established method for integrating high-level controls into the middle layer through a shot-synchronized data acquisition allowed for a rapid deployment and commissioning of the accelerator. Status and experiences from a technical and an operational point-of-view will be presented. | |||
![]() |
Slides MOAPL01 [6.198 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-MOAPL01 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUCPA06 | SwissFEL - Beam Synchronous Data Acquisition - The First Year | ion, FEL, data-acquisition, real-time | 276 |
|
|||
The SwissFEL beam-synchronous data-acquisition system is based on several novel concepts and technologies. It is targeted on immediate data availability and online processing and is capable of assembling an overall data view of the whole machine, thanks to its distributed and scalable back-end. Load on data sources is reduced by immediately streaming data as soon as it becomes available. The streaming technology used provides load balancing and fail-over by design. Data channels from various sources can be efficiently aggregated and combined into new data streams for immediate online monitoring, data analysis and processing. The system is dynamically configurable, various acquisition frequencies can be enabled, and data can be kept for a defined time window. All data is available and accessible enabling advanced pattern detection and correlation during acquisition time. Accessing the data in a code-agnostic way is also possible through the same REST API that is used by the web-frontend. We will give an overview of the design and specialities of the system as well as talk about the findings and problems we faced during machine commissioning. | |||
![]() |
Slides TUCPA06 [5.107 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUCPA06 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUMPL04 | LCLS-II Timing Pattern Generator Configuration GUIs | ion, timing, GUI, interface | 307 |
|
|||
The LINAC Coherent Light Source II (LCLS-II) is an upgrade of the SLAC National Accelerator Laboratory LCLS facility to a superconducting LINAC with multiple destinations at different power levels. The challenge in delivering timing to a superconducting LINAC is dictated by the stability requirements for the beam power and the 1MHz rate. A timing generator will produce patterns instead of events because of the large number of event codes required. The poster explains how the stability requirements are addressed by the design of two Graphical User Interfaces (GUI). The Allow Table GUI filters the timing pattern requests respecting the Machine Protection System (MPS) defined Power Class and the electron beam dump capacities. The Timing Pattern Generator (TPG) programs Sequence Engines to deliver the beam rate configuration requested by the user. The low level program, The TPG generates the patterns, which contains the timing information propagated to the Timing Pattern Receiver (TPR). Both are implemented with an FPGA solution and configured by EPICS. The poster shows an overall design of the high-level software solutions that meet the physics requirements for LCLS-II timing. | |||
![]() |
Slides TUMPL04 [1.030 MB] | ||
![]() |
Poster TUMPL04 [0.883 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUMPL04 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUPHA019 | Optimized Calculation of Timing for Parallel Beam Operation at the FAIR Accelerator Complex | ion, target, software, heavy-ion | 411 |
|
|||
For the new FAIR accelerator complex at GSI the settings management system LSA is used. It is developed in collaboration with CERN and until now it is executed strictly serial. Nowadays the performance gain of single core processors have nearly stagnated and multicore processors dominate the market. This evolution forces software projects to make use of the parallel hardware to increase their performance. In this thesis LSA is analyzed and parallelized using different parallelization patterns like task and loop parallelization. The most common case of user interaction is to change specific settings so that the accelerator performs at its best. For each changed setting, LSA needs to calculate all child settings of the parameter hierarchy. To maximize the speedup of the calculations, they are also optimized sequentially. The used data structures and algorithms are reviewed to ensure minimal resource usage and maximal compatibility with parallel execution. The overall goal of this thesis is to speed up the calculations so that the results can be shown in a user interface with nearly no noticeable latency. | |||
![]() |
Poster TUPHA019 [1.378 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA019 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUPHA038 | A Generic REST API Service for Control Databases | ion, database, controls, operation | 465 |
|
|||
Funding: Work supported by Brookhaven Science Associates, LLC under Contract No. DE-SC0012704 with the U.S. Department of Energy. Accessing database resources from Accelerator Controls servers or applications with JDBC/ODBC and other dedicated programming interfaces have been common for many years. However, availability and performance limitations of these technologies were obvious as rich web and mobile communication technologies became more mainstream. HTTP REST services have become a more reliable and common way for easy accessibility for most types of data resources, include databases. Several commercial database REST services have become available in recent years, each with their own pros and cons. This paper presents a way for setting up a generic HTTP REST database service with technology that combines the advantages of application servers (such as Glassfish), JDBC drivers, and Java technology to make major RDBMS systems easy to access and handle data in a secure way. This allows database clients to retrieve data (user data or meta data) in standard formats such as XML or JSON. |
|||
![]() |
Poster TUPHA038 [0.679 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA038 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUPHA070 | Commissioning and Validation of the ATLAS Level-1 Topological Trigger | ion, hardware, luminosity, experiment | 566 |
|
|||
The ATLAS experiment has recently commissioned a new hardware component of its first-level trigger: the topological processor (L1Topo). This innovative system, using state-of-the-art FPGA processors, selects events by applying kinematic and topological requirements on candidate objects (energy clusters, jets, and muons) measured by calorimeters and muon sub-detectors. Since the first-level trigger is a synchronous pipelined system, such requirements are applied within a latency of 200ns. We will present the first results from data recorded using the L1Topo trigger; these demonstrate a significantly improved background event rejection, thus allowing for a rate reduction without efficiency loss. This improvement has been shown for several physics processes leading to low-pT leptons, including H->tau tau and J/Psi->mu mu. In addition, we will discuss the use of an accurate L1Topo simulation as a powerful tool to validate and optimize the performance of this new trigger system. To reach the required accuracy, the simulation must take into account the limited precision that can be achieved with kinematic calculations implemented in firmware. | |||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA070 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUPHA075 | A MicroTCA based Beam Position Monitoring System at CRYRING@ESR | ion, FPGA, hardware, controls | 585 |
|
|||
At FAIR the commissioning of the re-assembled CRYRING accelerator, formerly hosted by Manne Siegbahn Laboratory Stockholm, is currently in progress. This compact low energy heavy ion synchrotron and experimental storage ring will be the main instrument for an extensive research programme [1] as well as a testing platform for the future beam instrumentation and control system concepts decided on for FAIR. Besides many other measurement systems CRYRING is equipped with 18 beam position monitors (BPM), for which a new data acquisition system (DAQ) was developed. Based on the upcoming MicroTCA form factor in combination with FPGA mezzanine card (FMC) technology the DAQ system was designed to be state-of-the-art, reliable, modular and of high performance. Testing 'Open Hardware', here the ADC FMCs and FMC carrier boards, was another intention of that concept. The DAQ layout and obstacles that had to be overcome as well as first measurements will be presented. | |||
![]() |
Poster TUPHA075 [18.571 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA075 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUPHA087 | The Timing Diagram Editing and Verification Method | ion, timing, controls, TANGO | 615 |
|
|||
Preparation and verification of the timing diagrams for the modern complex facilities with diversified timing systems is a difficult task. A mathematical method for convenient editing and verification of the timing diagrams is presented. This method is based on systems of linear equations and linear inequalities. Every timing diagram has three interconnected representations: a textual equation representation, a matrix representation and a graph (tree) representation. A prototype of software using this method was conceived in Python. This prototype allows conversion of the timing data between all three representations and its visualization. | |||
![]() |
Poster TUPHA087 [2.162 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA087 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUPHA143 | A Database to Store EPICS Configuration Data | ion, database, controls, interface | 745 |
|
|||
Funding: This work has been supported by the German Federal Ministry of Education and Research (BMBF). The operation of extensive control systems cannot be performed by adjusting all parameters one by one manually. Instead, a set of parameters is loaded and applied in bulk. We present a system to store such parameter sets in a type-safe fashion into and retrieve them from a configuration database. The configuration database is backed by an SQL database. Interfaces to store and retrieve data exist for the C++, Java and Python programming languages. GUIs are available both as a standalone program using C++ and Qt, and integrated into Control System Studio (CSS). The version integrated into CSS supports data validators implemented as Eclipse plugins that are run before each commit. The format of the configuration data that can be stored is XML-like, and export and import to/from XML is implemented. The database can hold several completely independent "files" of configuration data. In each file, several branches can be stored, each branch consisting of a chain of commits. Each commit can easily be retrieved at any time. For each entry, the modification history can easily be queried. For the DEPFET collaboration. |
|||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA143 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUPHA153 | Python and MATLAB Interfaces to RHIC Controls Data | ion, controls, interface, device-server | 765 |
|
|||
Funding: Work supported by Brookhaven Science Associates, LLC under Contract No. DE-SC0012704 with the U.S. Department of Energy. In keeping with a long tradition in the BNL Collider-Accelerator Department (C-AD) controls environment, we try to provide general and simple to use interfaces to the users of the controls. In the past we have built command line tools, Java tools, and C++ tools that allow users to easily access live and historical controls data. With more demand for access through other interfaces, we recently built a set of python and MATLAB modules to simplify access to control system data. This is possible, and made relatively easy, with the development of HTTP service interfaces to the controls*. While this paper focuses on the python and MATLAB tools built on top of the HTTP services, this work demonstrates clearly how the HTTP service paradigm frees the developer from having to work from any particular operating system or develop using any particular development tool. * T. D'Ottavio, et al., these proceedings |
|||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA153 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUPHA163 | CBNG - The New Build Tool Used to Build Millions of Lines of Java Code at CERN | ion, controls, software, factory | 789 |
|
|||
A large part of the CERN Accelerator Control System is written in Java by around 180 developers (software engineers, operators, physicists and hardware specialists). The codebase contains more than 10 million lines of code, which are packaged as 1000+ JARs and are deployed as 600+ different client/server applications. All this software are produced using CommonBuild Next Generation (CBNG), an enterprise build tool implemented on top of industry standards, which simplifies and standardizes the way our applications are built. CBNG not only includes general build tool features (such as dependency management, code compilation, test execution and artifact uploading), but also provides traceability throughout the software life cycle and makes releases ready for deployment. The interface is kept as simple as possible: the users declare the dependencies and the deployment units of their projects in one file. This article describes the build process, as well as the design goals, the features, and the technology behind CBNG. | |||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA163 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUPHA189 | Automating Operation Statistics at PETRA-3 | ion, operation, database, controls | 876 |
|
|||
The quoted machine availability of a particle accelerator over some time range is usually hand-generated by a machine coordinator, who pores over archived operations parameters and logbook entries for the time period in question. When the machine is deemed unavailable for operations, 'blame' is typically assigned to one or more machine sub-systems. With a 'perfect' representation of all possible machine states and all possible fatal alarms it is possible to calculate machine availability and assign blame automatically and thereby remove any bias and uncertainty that might creep in when a human is involved. Any system which attempts to do this must nevertheless recognize the de-facto impossibility of achieving perfection and allow for 'corrections' by a machine coordinator. Such a system for automated availability statistics was recently presented* and we now report on results and improvements following a half year in operation at PETRA-3 and its accelerator chain.
* Duval, Lomperski, Ehrlichmann, and Bobar, "Automated Availability Statistics", Proceedings PCaPAC 2016. |
|||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA189 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUPHA197 | Control and Data Acquisition Using TANGO and SARDANA at the Nanomax Beamline at MAX IV | ion, controls, TANGO, detector | 900 |
|
|||
The MAX IV synchrotron radiation facility in Lund, Sweden, received its first external commissioning users in November 2016 at the Nanomax hard X-ray beamline. All components of the beamline, including the motorisation, vacuum and diagnostic elements, were integrated into the TANGO-based control system, which through the SARDANA layer also managed the collection of diffraction and fluorescence data from one- and two-dimensional detector channels. Hardware-synchronised continuous scanning (‘‘fly-scanning'') of the sample, mounted on a piezo stage, was achieved using a system built around a standard pulse generator and acquisition board controlled by a dedicated TANGO device. SARDANA macros were used to configure and execute the continuous scanning, and position data from the piezo controller were buffered in synchronization with triggers sent to the detectors, with all data subsequently written to HDF5 files. After successful initial operation, the system is currently being revised and expanded for the users expected in 2018. | |||
![]() |
Poster TUPHA197 [0.668 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA197 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
TUPHA202 | The Control System of the CERN Platform for the Test of the High Luminosity LHC Superconducting Magnets | ion, controls, operation, superconducting-magnet | 918 |
|
|||
A new generation of superconducting magnets is being developped, in the framework of the HL-LHC upgrade project. Several laboratories in Europe, USA, Japan and Russia collaborate on this project. One of the tasks assigned to CERN is to conduct the optimization tests and later the series tests, for the MQXFS and MQXF-A/B magnets. A new dedicated test bench has been built at the CERN superconducting magnet test facility (SM18), where these magnets will be evaluated under their operational conditions in the LHC tunnel. To fulfill the test conditions on these high performance magnets, a new high frequency data acquisition system (DAQ) has been designed, associated to a new software used to control two 15 kA power converters. This article presents all the technical aspects of these two major components of the test platform, from the PXIe hardware selection of the DAQ system to the operational applications deployment. The commissioning phase and results of the first measurement campaign are also reported. | |||
![]() |
Poster TUPHA202 [3.365 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA202 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
THBPA03 | The Back-End Computer System for the Medipix Based PI-MEGA X-Ray Camera | ion, Linux, network, Ethernet | 1149 |
|
|||
The Brazilian Synchrotron, in partnership with BrPhotonics, is designing and developing pi-mega, a new X-Ray camera using Medipix chips, with the goal of building very large and fast cameras to supply Sirius' new demands. This work describes the design and testing of the back end computer system that will receive, process and store images. The back end system will use RDMA over Ethernet technology and must be able to process data at a rate ranging from 50 Gbps to 100 Gbps per pi-mega element. Multiple pi-mega elements may be combined to produce a large camera. Initial applications include tomographic reconstruction and coherent diffraction imaging techniques. | |||
![]() |
Slides THBPA03 [1.918 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THBPA03 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
THCPL01 | Speaking of Diversity | ion, controls, hardware, HOM | 1168 |
|
|||
Funding: This material is based upon work supported by the U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences, under contract number DE-AC05-00OR22725. Historically, attendance at the International Conference on Accelerator and Large Experimental Physics Control Systems has not been particularly diverse in terms of gender or race. In fact, the lack of diversity amongst the attendees was noted during the closing session of the 2015 conference by an invited speaker from outside the accelerator community. Informal discussion and observations support the assertion that our conference attendance reflects the diversity of the broader accelerator controls workforce. Facing very low participation of women in our field and even lower minority representation, it is important to examine this issue as studies point to the importance of diverse work groups to spark innovation and creativity as catalysts to solving difficult problems. This paper will discuss diversity and inclusion in the disciplines that comprise the accelerator controls workforce, including background, barriers and strategies for improvement. |
|||
![]() |
Talk as video stream: https://youtu.be/94u5LpJ7DzY | ||
![]() |
Slides THCPL01 [5.586 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THCPL01 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
THCPL03 | A Success-History Based Learning Procedure to Optimize Server Throughput in Large Distributed Control Systems | ion, controls, simulation, factory | 1182 |
|
|||
Funding: Work supported by Brookhaven Science Associates, LLC under Contract No. DE-SC0012704 with the U.S. Department of Energy. Large distributed control systems typically can be modeled by a hierarchical structure with two physical layers: Console Level Computers (CLCs) and Front End Computers (FECs). The controls system of the Relativistic Heavy Ion Collider (RHIC) consists of more than 500 FECs, each acting as a server providing services to a potentially unlimited number of clients. This can lead to a bottleneck in the system. Heavy traffic can slow down or even crash a system, making it momentarily unresponsive. One mechanism to circumvent this is to transfer the heavy communications traffic to more robust higher performance servers, keeping the load on the FEC low. In this work, we study this client-server problem from a different perspective. We introduce a novel game theory model for the problem, and formulate it into an integer programming problem. We point out its difficulty and propose a heuristic algorithms to solve it. Simulation results show that our proposed schemes efficiently manage the client-server activities, and result in a high server throughput and a low crash probability. |
|||
![]() |
Talk as video stream: https://youtu.be/veLaGGNTs8w | ||
![]() |
Slides THCPL03 [1.321 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THCPL03 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
THPHA002 | SLAC LCLS-II Injector Source Controls and Early Injector Commissioning | ion, controls, gun, LLRF | 1340 |
|
|||
LCLS-II is a superconducting upgrade to the existing Linear Coherent Light Source at SLAC with a continuous wave beam rate of up to 1 MHz. Construction is underway with first light planned for 2020. The LCLS-II Injector section that comprises low energy from the gun up to the location of the first cryomodule is based on the LBNL Advanced Photo-Injector Experiment (APEX), and is being provided by LBNL. In 2015, responsibility for controls design and fabrication was transferred to SLAC from LBNL to promote commonality with the rest of the LCLS-II control subsystems. Collaboration between the LBNL APEX controls community and SLAC LCSL-II controls team proved vital in advancing the controls architecture toward standardized implementations integrated with the rest of LCLS-II. An added challenge was a decision to commission the injector ~1.5 years ahead of the rest of the machine, in FY 2018. This early injector commissioning (EIC) is embraced as an opportunity to gain valuable experience with the majority of the LCLS-II controls, especially the 1MHz high performance subsystems (HPS), prior to first light. | |||
![]() |
Poster THPHA002 [2.969 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA002 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
THPHA022 | Roadmap for SLAC Epics-Based Software Toolkit for the LCLS-I/II Complex | ion, EPICS, software, controls | 1389 |
|
|||
With the advent of LCLS-II, SLAC must effectively and collectively plan for operation of its premiere scientific production facility. LCLS-II presents unique new challenges for SLAC, with its electron beam rate of up to 1MHz, complex bunch patterns, and multiple beam destinations. These machine advancements, along with long-term goals for automated tuning, model dependent and independent analysis, and machine learning provide strong motivation to enhance the SLAC software toolkit based on augmenting EPICS V3 to take full advantage of EPICS V4 - which supports structured data and facilitates a language-agnostic middle-ware service layer. The software platform upgrade path in support of controls, online physics and experimental facilities software for the LCLS-I/II complex is described. | |||
![]() |
Poster THPHA022 [1.732 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA022 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
THPHA127 | Status of the Fast Orbit Feedback System for the TPS | ion, feedback, controls, power-supply | 1670 |
|
|||
TPS started its user service in 2016. To ensure stable beam can delivery to user, the fast orbit feedback system were deploy to ensure stable orbit. The system have been commissioning in the second quarter of 2016. Improvement of the system since then solved various problems unexpected. This report will summarizes system configuration of the fast orbit feedback and the operation experiences. | |||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA127 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
THPHA152 | Renovation and Extension of Supervision Software Leveraging Reactive Streams | ion, software, GUI, network | 1753 |
|
|||
Inspired by the recent developments of reactive programming and the ubiquity of the concept of streams in modern software industry, we assess the relevance of a reactive streams solution in the context of accelerator controls. The promise of reactive streams, to govern the exchange of data across asynchronous boundaries at a rate sustainable for both the sender and the receiver, is alluring to most data-centric processes of CERN's accelerators. Taking advantage of the renovation of one key software piece of our supervision layer, the Beam Interlock System GUI, we look at the architecture, design and implementation of a reactive streams based solution. Additionally, we see how this model allows us to re-use components and contributes naturally to the extension of our tool set. Lastly, we detail what hindered our progression and how our solution can be taken further. | |||
![]() |
Poster THPHA152 [0.879 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA152 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
THPHA159 | What is Special About PLC Software Model Checking? | ion, PLC, software, controls | 1781 |
|
|||
Model checking is a formal verification technique to check given properties of models, designs or programs with mathematical precision. Due to its high knowledge and resource demand, the use of model checking is restricted mainly to core parts of highly critical systems. However, we and many other authors have argued that automated model checking of PLC programs is feasible and beneficial in practice. In this paper we aim to explain why model checking is applicable to PLC programs even though its use for software in general is too difficult. We present an overview of the particularities of PLC programs which influence the feasibility and complexity of their model checking. Furthermore, we list the main challenges in this domain and the solutions proposed in previous works. | |||
![]() |
Poster THPHA159 [0.444 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA159 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
THPHA193 | The Use of a 90 Metre Thermosiphon Cooling Plant and Associated Custom Ultrasonic Instrumentation in the Cooling of the ATLAS Inner Silicon Tracker | ion, detector, controls, instrumentation | 1890 |
|
|||
A new 60kW thermosiphon fluorocarbon cooling plant has been commissioned to cool the silicon tracker of the ATLAS experiment at the CERN LHC. The thermosiphon operates over a height of 90 metres and is integrated into the CERN UNICOS system and the ATLAS detector control system (DCS). The cooling system uses custom ultrasonic instrumentaton to measure very high coolant vapour flow (up to 1.2 kg/second), to analyse binary gas mixtures and detect leaks. In these instruments ultrasound pulses are transmitted in opposite directions in flowing gas streams. Pulse transit time measurements are used to calculate the flow rate and the sound velocity, which - at a given temperature and pressure - is a function of the molar concentration of the two gases. Gas composition is computed from comparisons of real-time sound velocity measurements with a database of predictions, using algorithms running in the Siemens SIMATIC WinCC SCADA environment. A highly-distributed network of five instruments is currently integrated into the ATLAS DCS. Details of the thermosiphon, its recent operation and the performance of the key ultrasonic instrumentation will be presented. | |||
![]() |
Poster THPHA193 [0.832 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA193 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
THPHA212 | LISE/M - A Modernised and Unified Modular Experiment Control System for HZB Beamlines | ion, controls, hardware, interface | 1938 |
|
|||
After more than 15 years of stable operation it was time to develop a new standard experiment control and data acquisition system for HZB beamlines. The aim is to create a modular system based on commercial hardware components. Because of the convincing hardware interfacing and good experience with PXI devices we choose this as hardware platform and LabVIEW as software development system. Starting in late 2015, we developed a framework with modules for configuration, (scan) processing, device communication, logging etc. The user interface is bisected as (i) graphical and (ii) scripting version. Where the 'included' script engine is python. The system serves both, standard commissioning tools as well as specialised instrument setups. It is integrated into the metadata catalogue system (ICAT) of the HZB in terms of collecting log and meta data and storing those according to the data policy of the institute. We will present an overview of the system features in general and a specific instrument view of a rather complex beamline at HZB. | |||
![]() |
Poster THPHA212 [7.380 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THPHA212 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
THSH101 | Using Control Surfaces to Operate CS-Studio OPIs | controls, ion, interface, EPICS | 1953 |
|
|||
Modern control software has given us virtually unlimited possibilities for monitoring and controlling EPICS systems, but sacrifices the organic feel of faders and knobs at our fingertips. This article will show how to reclaim that experience without losing the power of software through control surfaces commonly used with DAWs (Digital Audio Workstations) to manipulate audio, demonstrating how real motorised touch-sensitive faders, buttons and assignable V-pots will improve and speed up the control experience. | |||
![]() |
Poster THSH101 [2.650 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-THSH101 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||
FRAPL02 | Commisioning and Calibration of the Daniel K. Inouye Solar Telescope | ion, controls, software, site | 1989 |
|
|||
Funding: DKIST is a facility of the National Solar Observatory funded by the National Science Foundation under a cooperative agreement with the Association of Universities for Research in Astronomy, Inc. The Daniel K. Inouye Solar Telescope (DKIST) is currently under construction on the summit of Haleakala on the island of Maui. When completed in late 2019 it will be the largest optical solar telescope in the world with a 4m clear aperture and a suite of state of the art instruments that will enable our Sun to be studied in unprecedented detail. In this paper we describe the current state of testing, commissioning and calibration of the telescope and how that is supported by the DKIST control system. |
|||
![]() |
Talk as video stream: https://youtu.be/-l_FiZOvJjk | ||
![]() |
Slides FRAPL02 [4.139 MB] | ||
DOI • | reference for this paper ※ https://doi.org/10.18429/JACoW-ICALEPCS2017-FRAPL02 | ||
Export • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | ||