摘要
当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须对其硬件和软件进行鉴定。软件设计和编码是软件通过鉴定关键的一环。核安全级软件必须具备可确定性的特征,其设计和编码必须体现这一特征。对于核安全级软件设计和编码如何满足核安全要求的研究,是软件厂商和监管当局面临的问题之一。
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
出处
《核电子学与探测技术》
CAS
CSCD
北大核心
2012年第4期497-500,共4页
Nuclear Electronics & Detection Technology
关键词
核电厂
核安全级
软件
设计
编码
可确定性
Nuclear Power Plant, Class 1E, Software, design, coding, deterministic