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.