IAP TUW, Wien, Austria
GSI, Darmstadt, Germany
CERN, Meyrin, Switzerland
TUPDP017
GSI, Darmstadt, Germany
| Paper | Title | Page |
|---|---|---|
| TUPDP001 | Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code | 467 |
|
||
| Formal verification techniques are widely used in critical industries to minimize software flaws. However, despite the benefits and recommendations of the functional safety standards, such as IEC 61508 and IEC 61511, formal verification is not yet a common practice in the process industry and large scientific installations. This is mainly due to its complexity and the need for formal methods experts. At CERN, the PLCverif tool was developed to verify PLC programs formally. Although PLCverif hides most of the complexity of using formal methods and removes barriers to formally verifying PLC programs, engineers trying to verify their developments still encounter different obstacles. These challenges include the formalization of program specifications or the creation of formal models. This paper discusses how to overcome these obstacles by proposing a collaboration model that effectively allows the verification of critical PLC programs and promotes knowledge transfer between organizations. By providing a simpler and more accessible way to carry out formal verification, tools like PLCverif can play a crucial role in achieving this goal. The collaboration model splits the specification, development, and verification tasks between organizations. This approach is illustrated through a case study between GSI and CERN. | ||
|
|
Poster TUPDP001 [0.744 MB] | |
| DOI • | reference for this paper ※ doi:10.18429/JACoW-ICALEPCS2023-TUPDP001 | |
| About • | Received ※ 03 October 2023 — Accepted ※ 20 November 2023 — Issued ※ 19 December 2023 | |
| Cite • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | |
TUPDP017 |
Status of the FAIR Control System and Controls Upgrade Activities at GSI | |
|
||
| The FAIR accelerator complex (Facility for Antiproton and Ion research) is presently under construction at the GSI Helmholtz Centre in Darmstadt. FAIR will extend the present GSI accelerator chain, then being used as injector, and provide antiproton, ion, and rare isotope beams with unprecedented intensity and quality for a variety of research programs. After many years of machine development and civil construction works, the installation and commissioning of FAIR is now imminent. This paper reports about the progress of the FAIR facility in general, the general technical overview and the present status of the new FAIR control system, covering development, deployment, and operational experience at the existing GSI synchrotrons and storage rings. Although not feature-complete for FAIR yet, we will reflect on the experience of already 4 operational beam-times with the new control system. The paper will briefly address other challenges like our parallel activities to retrofit the legacy and obsolete linac control system by deploying the new control system stack at the UNILAC in the next years. | ||
|
|
Poster TUPDP017 [2.522 MB] | |
| Cite • | reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml) | |