System for digital reactor protecting to prevent common mode failures and method for producing high reliability application software used to the said system

摘要

PURPOSE: A system for protecting a digital atomic reactor without common software troubles and a high-reliability software manufacturing method for the same are provided to improve safety and reliability of a digital atomic reactor protecting system by thoroughly removing the common troubles and to autonomously inspect software designing. CONSTITUTION: The system comprises four channels(A,B,C,D). Each channel comprises a BP(Bistable Processor)(20), an LCL(Local Coincidence Logic Processor)(30), an SIP(System Interface Processor)(40), an initiation logic(50), and an MTP(Maintenance and Test Panel)(80). Software condition specifications are written out by using a state diagram. A design description of each software using different operating systems is written out. Each software is coded based on the design description. A module test of the coded software is performed. The test result of the software is compared to check the generation of errors.