An Example of Verification of the Initial Data for Designing NPP Information Base

Nowadays, verification of the initial data for designing the information base of the NPP Automated Process Control System is a guarantee of the correct operation of the NPP Automated Process Control System itself. For this verification, exact and approximate methods are usually applied. Each method provides desirable results for an appropriate problem type. Exact methods are more suitable for solving this problem. The article presents a solution algorithm in terms of checking both the structure and the content of initial data, including a complete parsing of the Kraftwerk Kennzeichen System code with the study of all its sectors. A list of the most common inconsistencies is also provided.