核安全级软件验证与确认独立性探讨

摘要

当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须进行鉴定.软件验证与确认是核安全级软件通过鉴定的关键环节,软件验证与确认必须具备独立性的特征.对于核安全级软件验证与确认如何满足当前核安全监管要求的研究,是软件厂商和监管当局共同关注的主要问题之一.核安全级软件验证与确认独立性要求的明确,有利于开发成本的控制和监管的规范化,从管理方面为保证核安全级数字设备安全水平打好基础.