Keyword: site
Paper Title Other Keywords Page
MOPV010 Working under Pandemic Conditions: Contact Tracing Meets Technology software, network, database, distributed 121
  • E. Blanco Viñuela, B. Copy, S. Danzeca, Ch. Delamare, R. Losito, A. Masi, E. Matli, T. Previero, R. Sierra
    CERN, Geneva, Switzerland
  Covid-19 has dramatically transformed our working practices with a big change to a teleworking model for many people. There are however many essential activities requiring personnel on site. In order to minimise the risks for its personnel CERN decided to take every measure possible, including internal contact tracing by the CERN medical service. This initially involved manual procedures which relied on people’s ability to remember past encounters. To improve this situation and minimise the number of employees who would need to be quarantined, CERN approved the design of a specific device: the Proximeter. The project goal was to design a wearable device, built in a partnership* with industry fulfilling the contact tracing needs of the medical service. The proximeter records other devices in close proximity and reports the encounters to a cloud-based system. The service came into operation early 2021 and 8000 devices were distributed to personnel working on the CERN site. This publication reports on the service offered, emphasising on the overall workflow of the project under exceptional conditions and the implications data privacy imposed on the design of the software application.
* Terabee.
poster icon Poster MOPV010 [3.489 MB]  
DOI • reference for this paper ※  
About • Received ※ 11 October 2021       Revised ※ 26 October 2021       Accepted ※ 03 November 2021       Issue date ※ 18 December 2021
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
MOPV033 Web Client for Panic Alarms Management System controls, TANGO, GUI, EPICS 206
  • M. Nabywaniec, M. Gandor, P.P. Goryl, L. Żytniak
    S2Innovation, Kraków, Poland
  Alarms are one of the most important aspects of control systems. Each control system can face unexpected issues, which demand fast and precise resolution. As the control system starts to grow, it requires the involvement of more engineers to access the alarm’s list and focus on the most important ones. Our objective was to allow users to access the alarms fast, remotely and without special software. According to current trends in the IT community, creating a web application turned out to be a perfect solution. Our application is the extension and web equivalent to the current Panic GUI application. It allows constant remote access using just a web browser which is currently present on every machine including mobile phones and tablets. The access to the different functionalities can be restricted to the users provided just with appropriate roles. Alarms can be easily added and managed from the web browser as well as adding new data sources is possible. From each data source, an attribute can be extracted, and multiple attributes can be combined into composer being the base for further analysis or alarms creation.  
poster icon Poster MOPV033 [0.626 MB]  
DOI • reference for this paper ※  
About • Received ※ 09 October 2021       Revised ※ 25 October 2021       Accepted ※ 04 November 2021       Issue date ※ 06 January 2022
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
WEPV013 Design of Magnet Measurement System Based on Multi-Hall Sensor controls, feedback, factory, power-supply 653
  • B.J. Wang, Y.H. Guo, R. Wang, N. Xie
    IMP/CAS, Lanzhou, People’s Republic of China
  High-precision magnetic field measurement and control technique significantly guarantees the accurate realization of the magnetic confinement of accelerators. Using real-time magnetic field intensity as the feedback to adjust the magnetic field current input can be a promising strategy. However, the measurement accuracy of the Hall-sensor is hard to meet feedback requirements because of multiple affection from external factors. Meanwhile, the NMR(Nuclear Magnetic Resonance sensor), which can provide high-precision magnetic field measurement, can hardly meet the requirements against the real-time control due to its strict requirements on the uniformity of the measured magnetic field, as well as its low data acquisition speed. Therefore, a magnetic field measurement system based on multi-Hall sensors is designed to solve this problem. Four Hall-sensors are used to measure the target magnetic field in this system. An Adaptive fusion algorithm is used to fused collected values to obtain the best estimate of the magnetic field intensity. This system effectively improves the accuracy of magnetic field measurement and ensures the instantaneity of the measurement.  
poster icon Poster WEPV013 [0.841 MB]  
DOI • reference for this paper ※  
About • Received ※ 09 October 2021       Revised ※ 22 October 2021       Accepted ※ 21 November 2021       Issue date ※ 06 December 2021
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
WEPV042 Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program PLC, controls, software, status 759
  • B. Fernández Adiego, E. Blanco Viñuela, F. Havart, T. Ladzinski, I.D. Lopez-Miguel, J-C. Tournier
    CERN, Geneva, Switzerland
  An important aspect of many particle accelerators is the constant evolution and frequent configuration changes that are needed to perform the experiments they are designed for. This often leads to the design of configurable software that can absorb these changes and perform the required control and protection actions. This design strategy minimizes the engineering and maintenance costs, but it makes the software verification activities more challenging since safety properties must be guaranteed for any of the possible configurations. Software model checking is a popular automated verification technique in many industries. This verification method explores all possible combinations of the system model to guarantee its compliance with certain properties or specification. This is a very appropriate technique for highly configurable software, since there is usually an enormous amount of combinations to be checked. This paper presents how PLCverif, a CERN model checking platform, has been applied to a highly configurable Programmable Logic Controller (PLC) program, the SPS Personnel Protection System (PPS). The benefits and challenges of this verification approach are also discussed.  
poster icon Poster WEPV042 [1.880 MB]  
DOI • reference for this paper ※  
About • Received ※ 07 October 2021       Accepted ※ 21 November 2021       Issue date ※ 25 December 2021  
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)  
THPV011 Notifications with Native Mobile Application ion-source, controls, EPICS, software 883
  • B. Bertrand, J. Forsberg
    MAX IV Laboratory, Lund University, Lund, Sweden
  • E. Laface, G. Weiss
    ESS, Lund, Sweden
  Notifications are an essential part of any control system. Many people want to be notified of specific events. There are several ways to send notifications: SMS, e-mails or messaging applications like Slack and Telegram are some common ones. Those solutions frequently require some central configuration to record who will receive messages, which is difficult to maintain. ESS developed a native mobile application, both for iOS and Android, to manage notifications. The application allows the users to subscribe to the topics they are interested in, removing the need for a central configuration. A web server is used as gateway to send all notifications following Apple and Google protocols. This server exposes a REST API that is used both by clients to send messages and mobile applications to retrieve and manage those messages. This paper will detail the technical implementation as well as the lessons learnt from this approach.  
poster icon Poster THPV011 [6.079 MB]  
DOI • reference for this paper ※  
About • Received ※ 09 October 2021       Accepted ※ 21 November 2021       Issue date ※ 05 January 2022  
Cite • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)