发明名称 |
SYSTEM FOR PROTECTING DIGITAL ATOMIC REACTOR WITHOUT COMMON SOFTWARE TROUBLES AND HIGH-RELIABILITY SOFTWARE MANUFACTURING METHOD FOR SAME |
摘要 |
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.
|
申请公布号 |
KR20020085222(A) |
申请公布日期 |
2002.11.16 |
申请号 |
KR20010024619 |
申请日期 |
2001.05.07 |
申请人 |
KOREA POWER ENGINEERING COMPANY, INC. |
发明人 |
HAN, JAE BOK;JANG, HUN SEON;KIM, HANG BAE;NAM, SANG GU;SHIN, HYEON GUK;SON, SE DO |
分类号 |
G06F11/16;G21D3/04;(IPC1-7):G06F11/16 |
主分类号 |
G06F11/16 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|