КОНЦЕПТУАЛЬНІ ПІДХОДИ ОРГАНІЗАЦІЇ ПРОЦЕСІВ ВЕРИФІКАЦІЇ ПРОГРАМНИХ ПРОЄКТІВ КРИТИЧНИХ ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ НА ОСНОВІ ВИМОГ ДО ЇХ ЖИТТЄВОГО ЦИКЛУ
Ключові слова:
програмно-технічний комплекс, критична інформаційно-управляюча система, програмований логічний контролер, верифікація
Анотація
Реалізація ефективної технології забезпечення необхідного рівня якості програмних систем наразі є однією з актуальних та важливих задач програмної інженерії. Особливо важливим є вирішення цієї задачі для критичних інформаційно-управляючих українських атомних електростанцій. Забезпечення необхідної якості програмних систем вимагає розуміння процесу організації верифікації програмних проектів. Метою дослідження є огляд основних концептуальних підходів організації процесів верифікації програмних проєктів критичних інформаційно-управляючих систем на основі вимог до їх життєвого циклу. Для досягнення поставленої мети авторами було розглянуто автоматизацію атомних електростанцій у вигляді програмно-технічних комплексів та загальні принципи реалізації критичних інформаційно-управляючих систем на основі програмованих логічних контролерів, проаналізовано процеси верифікації прикладної логіки користувача в даних системах, здійснено огляд основних процедур верифікації прикладної логіки спецплатформи RadiCS.Завантаження
Дані про завантаження поки що недоступні.
Посилання
1. Nikolayenko A.M., Minyaylo N.O. Microprocessor and software tools for automation: Training manual/ A.M. Nikolayenko, N.O Minyailo – Zaporizhzhia, ZDIA, 2011, – 444 с.
2. 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/
3. IEC 61508-2010. Functional safety of electrical/ electronic/ programmable electronic safety-related systems – Part 7: Overview of techniques and measure.
4. RadICS platform [Electronic resource] – Access mode: https://radiy.com/radics/
5. 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
6. 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
7. 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
8. 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
9. 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/
2. 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/
3. IEC 61508-2010. Functional safety of electrical/ electronic/ programmable electronic safety-related systems – Part 7: Overview of techniques and measure.
4. RadICS platform [Electronic resource] – Access mode: https://radiy.com/radics/
5. 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
6. 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
7. 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
8. 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
9. 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/
Опубліковано
2023-03-17
Як цитувати
Vasiuta Vasyl Концептуальні підходи організації процесів верифікації програмних проєктів критичних інформаційно-управляючих систем на основі вимог до їх життєвого циклу / Vasyl Vasiuta, Artem Danyleiko, Viktoriia Vasiuta // Системи управління, навігації та зв’язку. Збірник наукових праць. – Полтава: ПНТУ, 2023. – Т. 1 (71). – С. 51-59. – doi:https://doi.org/10.26906/SUNZ.2023.1.051.
Розділ
Управління в складних системах
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
