Концептуальні підходи організації процесів верифікації програмних проєктів критичних інформаційно-управляючих систем на основі вимог до їх життєвого циклу

Васюта, В.Б.

Данилейко, А.С.

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.

критична інформаційно-управляюча система

програмований логічний контролер

верифікація

software and hardware complex,

critical information management system,

verification

programmable logic controller,