КОНЦЕПТУАЛЬНІ ПІДХОДИ ОРГАНІЗАЦІЇ ПРОЦЕСІВ ВЕРИФІКАЦІЇ ПРОГРАМНИХ ПРОЄКТІВ КРИТИЧНИХ ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ НА ОСНОВІ ВИМОГ ДО ЇХ ЖИТТЄВОГО ЦИКЛУ
DOI:
https://doi.org/10.26906/SUNZ.2023.1.051Ключові слова:
програмно-технічний комплекс, критична інформаційно-управляюча система, програмований логічний контролер, верифікаціяАнотація
Реалізація ефективної технології забезпечення необхідного рівня якості програмних систем наразі є однією з актуальних та важливих задач програмної інженерії. Особливо важливим є вирішення цієї задачі для критичних інформаційно-управляючих українських атомних електростанцій. Забезпечення необхідної якості програмних систем вимагає розуміння процесу організації верифікації програмних проектів. Метою дослідження є огляд основних концептуальних підходів організації процесів верифікації програмних проєктів критичних інформаційно-управляючих систем на основі вимог до їх життєвого циклу. Для досягнення поставленої мети авторами було розглянуто автоматизацію атомних електростанцій у вигляді програмно-технічних комплексів та загальні принципи реалізації критичних інформаційно-управляючих систем на основі програмованих логічних контролерів, проаналізовано процеси верифікації прикладної логіки користувача в даних системах, здійснено огляд основних процедур верифікації прикладної логіки спецплатформи RadiCS.Завантаження
Посилання
Nikolayenko A.M., Minyaylo N.O. Microprocessor and software tools for automation: Training manual/ A.M. Nikolayenko, N.O Minyailo – Zaporizhzhia, ZDIA, 2011, – 444 с.
Striuk O., Shamanskyi V. User-Designed Application Logic Verification Approach and Tools [Electronic resource] – Access mode: https://radics.tech/user-designed-application-logic-verification-approach-and-tools/
IEC 61508-2010. Functional safety of electrical/ electronic/ programmable electronic safety-related systems – Part 7: Overview of techniques and measure.
RadICS platform [Electronic resource] – Access mode: https://radiy.com/radics/
Butko, I. (2021). The use of geospatial information by public authorities to support the decision making of management. Advanced Information Systems, 5(1), 39–44. https://doi.org/10.20998/2522-9052.2021.1.05
Davydov, V., & Hrebeniuk, D. (2020). Development the resources load variation forecasting method within cloud computing systems. Advanced Information Systems, 4(4), 128–135. https://doi.org/10.20998/2522-9052.2020.4.18
Khudov, H., Tahyan, K., Chepurnyi, V., Khizhnyak, I., Romanenko, K., Nevodnichii, A., & Yakovenko, O. (2020). Optimization of joint search and detection of objects in technical surveillance systems. Advanced Information Systems, 4(2), 156–162. https://doi.org/10.20998/2522-9052.2020.2.23
Tverytnykova, E., Demidova, Y., & Drozdova, T. (2021). Management system of occupational safety at Ukrainian enterprises: international and European dimension. Advanced Information Systems, 5(1), 45–53. https://doi.org/10.20998/2522-9052.2021.1.06
Software and technical complex of automatic regulation, unloading and limited power of the reactor and accelerated warning protection [Electronic resource] – Access mode: radiy.com/projectsnpp/programno-tehnichniy-kompleks-avtomatichnogoregulyuvannya/
