专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明公开

KR1020020085222A 소프트웨어 공통유형고장을 자체 배제한 디지털원자로 보호시스템 및 그 제어방법 有权
标题翻译：用于保护数字原子反应器的系统，不具有通用软件故障和高可靠性软件制造方法
公开(公告)号：KR1020020085222A
公开(公告)日：2002-11-16
申请号：KR1020010024619
申请日：2001-05-07
申请人： 한국전력기술 주식회사
发明人： 신현국 , 남상구 , 손세도 , 장훈선 , 김항배 , 한재복
IPC分类号： G06F11/16
CPC分类号： G21D3/04 , G05B2219/24173 , G05B2219/24191 , G21Y2002/207 , G21Y2002/304 , G21Y2004/30 , G21Y2004/402 , Y02E30/40
摘要： 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.
摘要翻译：目的：提供一种无普通软件故障的数字原子反应堆保护系统及其高可靠性软件制造方法，通过彻底消除常见故障并自主检查软件，提高数字原子反应堆保护系统的安全性和可靠性设计。构成：系统包括四个通道（A，B，C，D）。每个通道包括BP（双稳态处理器）（20），LCL（本地一致逻辑处理器）（30），SIP（系统接口处理器）（40），启动逻辑（50）和MTP（维护和测试面板）（80）。软件条件规范通过使用状态图来写出。写出使用不同操作系统的每个软件的设计描述。每个软件都是根据设计描述进行编码的。执行编码软件的模块测试。比较软件的测试结果，检查错误的产生。

2. 发明公开

KR1020110020520A 소프트웨어 개발 과정이 통합된 소프트웨어의 안전성 분석 방법 및 그를 위한 시스템 无效
标题翻译：软件安全分析方法和软件集成与软件开发
公开(公告)号：KR1020110020520A
公开(公告)日：2011-03-03
申请号：KR1020090078176
申请日：2009-08-24
申请人： 한국전력기술 주식회사
发明人： 정재천 , 김항배 , 장훈선 , 김성호
IPC分类号： G06F9/455 , G06F17/00
CPC分类号： G06F11/3624 , G06F8/31 , G06F11/366 , G06F17/5009
摘要： PURPOSE: A software safety analyzing method and a system therefor are provided to increase safety and reliability and reduce a cost and developing period of software by integrating the developing process of software and safety analyzing process of developed software. CONSTITUTION: A source code generating unit(40) generates a source code by generating a fixed and detailed statement through formal modeling about a requirement specification detailed statement. A safety restricting agenda extracting unit(10) searches a harmful sentence structure from the requirement agenda statement and extracts restriction agenda according to a HAZOP(Hazard And Operability) analysis result about the harmful sentence structure. A safety requirement generating unit(20) analyzes the safety restriction agenda to generate safety requirement agenda. A safety analyzing unit(30) uses a scenario corresponding to the safety requirement agenda to analyze the safety of the source code.
摘要翻译：目的：通过整合开发软件开发过程和开发软件的安全分析过程，提供软件安全分析方法及其系统，提高安全性和可靠性，降低软件成本和开发周期。构成：源代码生成单元（40）通过关于需求规范详细语句的形式建模生成固定和详细的语句来生成源代码。安全约束议程提取单元（10）从要求议程声明中搜索有害的句子结构，并根据有害句子结构的HAZOP（危险和可操作性）分析结果提取限制议程。安全要求生成单元（20）分析安全限制议程以产生安全要求议程。安全分析单元（30）使用与安全要求议程对应的场景来分析源代码的安全性。

3. 发明授权

KR100408493B1 소프트웨어 공통유형고장을 자체 배제한 디지털원자로 보호시스템 및 그 제어방법 有权
标题翻译：开发人员软件开发工具开发工具开发工具开发工具开发工具开发工具
公开(公告)号：KR100408493B1
公开(公告)日：2003-12-06
申请号：KR1020010024619
申请日：2001-05-07
申请人： 한국전력기술 주식회사
发明人： 신현국 , 남상구 , 손세도 , 장훈선 , 김항배 , 한재복
IPC分类号： G06F11/16
CPC分类号： G21D3/04 , G05B2219/24173 , G05B2219/24191 , G21Y2002/207 , G21Y2002/304 , G21Y2004/30 , G21Y2004/402 , Y02E30/40
摘要： Disclosed is a digital reactor protction system capable of self-excluding a software common mode failure. The system comprises four channels, each channel includes two bistable processors, two local coincidence logic processors, two system interface processors, two initiation logics, two reactor trips, two engineered safety features actuation systems, two maintenance and test panels, and two operator modules; wherein one bistable processor and local coincidence processor provided in each channel include an A-type CPU and B-type operating system, respectively, and the other bistable processor and local coincidence processor provided in each channel includes a C-type CPU and D-type operating system, respectively; and wherein the A and C-type CPUs and the B and D-type operating systems are different form each other, respectively, and if a trip condition is produced at the 2of4 (2 out of 4) bistable processor, the local coincidence logic processor transfers a trip signal to the initiation logic to operate the reactor trip and a engineered safety features actuation system.
摘要翻译：公开了一种能够自行排除软件共模故障的数字反应堆保护系统。该系统包括四个通道，每个通道包括两个双稳态处理器，两个本地符合逻辑处理器，两个系统接口处理器，两个启动逻辑，两个反应器跳闸，两个设计安全功能驱动系统，两个维护和测试面板以及两个操作员模块; 其中每个通道中提供的一个双稳态处理器和本地符合处理器分别包括A型CPU和B型操作系统，并且在每个通道中提供的另一个双稳态处理器和本地符合处理器包括C型CPU和D型操作系统，分别; 并且其中A型和C型CPU以及B型和D型操作系统分别彼此不同，并且如果在2×4（2×4）双稳态处理器中产生跳闸条件，则局部一致逻辑处理器传送跳闸信号到启动逻辑以操作反应堆跳闸和设计的安全特征致动系统。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式