Conceptual approaches of organizing processes of verification of software projects of critical information-controlled systems on the basis of requirements for their life cycle = Концептуальні підходи організації процесів верифікації програмних проєктів критичних інформаційно-управляючих систем на основі вимог до їх життєвого циклу

Abstract

The implementation of an effective technology to ensure the required level of quality of software systems is one of the urgent and important tasks of software engineering. It is especially important to solve this problem for critical information management Ukrainian nuclear power plants. Ensuring the required quality of software systems requires an understanding of the process of organizing the verification of software projects. The purpose of this study is to review the main conceptual approaches to the organization of verification processes for software projects of critical information management systems based on the requirements for their life cycle. To achieve this goal, the authors considered the automation of Ukrainian nuclear power plants in the form of software and hardware complexes and the general principles for the implementation of critical information management systems based on programmable logic controllers, analyzed the processes of verifying the user's applied logic in these systems, reviewed the main procedures for verifying the applied logic of a special RadiCS platforms.

Реалізація ефективної технології забезпечення необхідного рівня якості програмних систем наразі є однією з актуальних та важливих задач програмної інженерії. Особливо важливим є вирішення цієї задачі для критичних інформаційно-управляючих українських атомних електростанцій. Забезпечення необхідної якості програмних систем вимагає розуміння процесу організації верифікації програмних проектів. Метою дослідженняє огляд основнихконцептуальних підходів організації процесів верифікації програмних проєктів критичних інформаційно-управляючих систем на основі вимог до їх життєвого циклу. Для досягнення поставленої мети авторами було розглянуто автоматизацію атомних електростанційу вигляді програмно-технічних комплексів та загальні принципи реалізації критичних інформаційно-управляючих систем на основі програмованих логічних контролерів, проаналізовано процеси верифікації прикладної логіки користувача в даних системах, здійснено огляд основних процедур верифікації прикладної логіки спецплатформи RadiCS