P.A. Golubev1, K.V. Dormidontov2
1, 2 FSUE RFNC “All-Russian Research Institute of Experimental Physics” (Sarov, Russia)
1 pgolubev@niiis.nnov.ru, 2 kirdormidontov@ya.ru

Problem Statement. Both during the development phase of top-level systems (TLS) and during their operation (when changes are made to the facility during commissioning and planned preventive maintenance periods), the application software must be fully validated. It is worth noting that approximately 300 thousand signals are transmitted from related systems for display on TLS displays, which are displayed on more than 1 thousand video frames.

During the video frame (VF) validation stage, a sequential simulation of all signals displayed on them is performed, followed by verification of their correct display. A software suite has been developed to automate this process, reducing the amount of manual operations for signal simulation and display monitoring. However, currently, the verification is performed sequentially for all video frames and all automated workstations (AWS), which leads to increased testing time. In this regard, the problem of developing methods and algorithms for creating scenarios that enable automated validation of multiple video frames on different AWSs with a single signal simulation becomes highly relevant.

Results. An algorithm has been developed that significantly reduces the number of verification stages while maintaining complete coverage of all possible displays. The key feature of the method is the use of a maximum flow model, which allows for the most efficient organization of parallel testing of different combinations. Each testing stage involves checking the video frames associated with a specific signal, while adhering to the following technical requirements:

only one signal is activated at any given time;

no more than one screen is displayed on each display;

a limited number of displays per operator workstation.

The application of this model allows for the most efficient organization of parallel information display, leading to a significant reduction in the overall software testing time.

Practical significance. The proposed solution is an effective tool for automating the validation process, which can subsequently be used by other developers in the field of PCS.

Golubev P.A., Dormidontov K.V. Features of generating validation scenarios of upper-level APCS application software // Achievements of modern radioelectronics. 2026. V. 80. № 8. P. 124–132. DOI: https://doi.org/10.18127/j20700784-202608-15

1. Agafonov S.A., Kuznetsov A.N., Ostanin S.M. Квалификация, верификация и валидация. Minsk, Belarus, 2021. P. 27–32. [Online]. Available: https://libeldoc.bsuir.by/bitstream/123456789/45485/1/Agafonov_Kvalifikatsiya.pdf
2. IEEE Standard for System and Software Verification and Validation. IEEE Std 1012–2016. 2016. [Online]. Available: https://standards.ieee.org/standard/1012-2016.html
3. Meddeb H., Abdellaoui Z., Ezzine O. Human machine interface design of industrial automated machine using SIMATIC SCADA system. Int. J. Ind. Eng. Theory Appl. Pract. 2023. V. 30. № 2. P. 435–450. doi: 10.23055/ijietap.2023.30.2.8561
4. International Atomic Energy Agency, On-line Monitoring of Instrumentation in Research Reactors, IAEA-TECDOC-1830, Vienna, Austria: IAEA, 2017. [Online]. Available: https://www.iaea.org/publications/12274
5. Bosch Global Software Technologies, “HMI testing in action – Bosch’s approach,” Whitepaper, 2019. Accessed: Jun. 17, 2025. [Online]. Available: https://www.bosch.com/stories/hmi-testing/
6. Mongiovì M., Fornaia A., Tramontana E. REDUNET: reducing test suites by integrating set cover and network-based optimization. Appl. Netw. Sci. 2020. V. 5. Art. 86. doi: 10.1007/s41109-020-00323-w
7. Golubev P.A., Zharko E.F. Features of verification and validation of source data for the application software of the top-level systems of the NPP automated process control system. Autom. Ind. 2022. № 11. P. 25–27. doi: 10.25728/avtprom.2022.11.05