Journals of Accelerator Conferences Website (JACoW)
JACoW
is a publisher in Geneva, Switzerland that publishes the
proceedings of accelerator conferences held around the world
by an international collaboration of editors.
| URL | https://doi.org/10.18429/JACoW-ICALEPCS2025-THPD103 |
|---|---|
| Title | From testing to verification: a comprehensive methodology for industrial controls frameworks |
| Authors |
|
| Abstract | Industrial control frameworks frequently rely on object representations to manage complex devices found in the field. However, traditional testing methods often struggle to comprehensively validate internal state transitions of these objects, particularly as their state spaces expand due to increasing complexity and configurability of the objects. This paper introduces a novel testing suite for one of CERN's Industrial Controls Frameworks (UNICOS-CPC), capable of systematically verifying internal state transitions of objects in industrial applications by modeling their state space as a graph. The framework enables developers to define test cases by specifying start states, end states, and commands, while autonomously navigating between states to place objects in the correct initial states of each test case. The test suite also stands out for its extensibility: it decouples test syntax from PLC platform-specific implementations through object-oriented design and OPC UA communication, making it adaptable to diverse industrial control systems and frameworks outside CERN that follow a similar device representation approach. By focusing on individual state transitions rather than complex command sequences, this work simplifies testing of UNICOS-CPC objects and enhances their robustness, allowing for the validation of complex object configurations and behaviours in a transparent manner. Furthermore, this novel testing framework enables an automated workflow to validate scenarios determined by formal verification methods where UNICOS-CPC objects arrive at invalid and undesirable states. |
| Paper | download: THPD103.pdf |
| Cite | BibTeX, LaTeX, Text/Word, RIS, EndNote |
| Conference | 20th Int. Conf. Accel. Large Exp. Phys. Control Syst. (ICALEPCS'25) |
| Series | |
| Location | Chicago, IL, USA |
| Date | 20-26 Sep 2025 |
| Publisher | JACoW Publishing, Geneva, Switzerland |
| Editorial Board | Kent Wootton (ANL), Jeffery Biss (FNAL), Gustavo Bruno (ANL), Jeff Kirchman (ANL), Kelly Jaje (ANL), Denise Skiadopoulos (ANL), SuYin Grass Wang (ANL) |
| Online ISBN | 978-3-95450-255-4 |
| Online ISSN | 2226-0358 |
| Received | 04 September 2025 |
| Revised | 22 September 2025 |
| Accepted | 29 October 2025 |
| Issued | 25 November 2025 |
| DOI | 10.18429/JACoW-ICALEPCS2025-THPD103 |
| Pages | 1843-1848 |
| Copyright | Published by JACoW Publishing under the terms of the Creative Commons Attribution 4.0 license. Any further distribution of this work must maintain attribution to the author(s), the published article's title, publisher, and DOI. |