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

当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须对其硬件和软件进行鉴定.软件设计和编码是软件通过鉴定关键的一环.核安全级软件必须具备可确定性的特征,其设计和编码必须体现这一特征.对于核安全级软件设计和编码如何满足核安全要求的研究,是软件厂商和监管当局面临的问题之一.