Formal Data Traceability Model to Support Decision-Making on NPP System Readiness During Commissioning

Abstract

This paper addresses the problem of establishing an information basis for decision support regarding the readiness of a nuclear power plant technological system during commissioning, where data on physical assets, completed work, requirements, test results, supporting documents, and findings are fragmented. An approach is proposed that combines an ontological foundation of the domain, a formal traceability model, an application data model, and algorithmic verification of formalizable readiness conditions. The key entities and relations are defined to trace links from a technological object and a requirement through work activities, tests, and results to supporting documents, findings, and decision grounds. An algorithm is proposed that distinguishes confirmed, violated, and indeterminate conditions and produces an explainable list of blocking factors. Using a model representation of a technological system, the approach demonstrates the ability to identify deficiencies in the completeness, connectivity, and admissibility of the information basis while preserving a trace from each analysis result to the source data. The findings provide a constructive justification for transferring the formalizable part of the expert-reconstructed commissioning context into a computable information and knowledge model intended to improve the traceability and explainability of engineering decision grounds.