作者： 毛从吉 ; 毋琦
摘要：当前法律和法规规定，对核电厂安全系统使用的核安全级数字设备必须对其硬件和软件进行鉴定。软件设计和编码是软件通过鉴定关键的一环。核安全级软件必须具备可确定性的特征，其设计和编码必须体现这一特征。对于核安全级软件设计和编码如何满足核安全要求的研究，是软件厂商和监管当局面临的问题之一。
关键字： 核电厂 核安全级 软件 设计 编码 可确定性
上一篇：第一页 下一篇：M310改进型核电厂放射性流出物排放监测
