System validation of computerized procedure system based on multi-level flow modeling

Computerized Procedure System (CPS) has been developed in Nuclear Power Plant (NPP) Instrumentation and Control (I and C) system. As part of CPS, emergency operating procedures (EOPs) take such an important role in the management of various abnormal situations in nuclear power plants, current technology for the validation of EOPs still largely depends on manual review. In this sense, a validation method for EOPs of NPPs is proposed based on dynamic multi-level flow modeling (MFM). The MFM modeling procedure and the EOP validation procedure are developed and provided in the paper. The application of the proposed method to EOPs of an actual NPP shows that the proposed method provides an efficient way for validating EOPs. It is also found that the information on state transitions in MFM models during the management of abnormal situations is also useful for further analysis on EOPs such as optimization of EOPs. (authors)