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

关键词：核设施 核安全级 验证与确认 独立性 可确定性 

单位：环境保护部核与辐射安全中心 北京100082