核电厂安全系统软件设计及编码研究  

Research of Software Design and Coding for Safety Systems in Nuclear Power Plants

作　　者：毛从吉[1] 毋琦[1] 

机构地区：[1]环保部核与辐射安全中心,北京100082

出　　处：《核电子学与探测技术》2012年第4期497-500,共4页Nuclear Electronics & Detection Technology

摘　　要：当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须对其硬件和软件进行鉴定。软件设计和编码是软件通过鉴定关键的一环。核安全级软件必须具备可确定性的特征,其设计和编码必须体现这一特征。对于核安全级软件设计和编码如何满足核安全要求的研究,是软件厂商和监管当局面临的问题之一。Chinese code and regulations have stipulated that Class 1E equipments included hardware and software must be qualified for digital safety systems in Nuclear Power Plants. Software design and coding is one key aspect to pass the qualification. Class IE software must meet the requirement of deterministic, and Software design and coding also reflect this characteristic. Research of how to meet requirement of qualification for software design and coding is one issue faced by both vendors and regulatory authorities

关 键 词：核电厂 核安全级 软件 设计 编码 可确定性 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]