[发明专利]核电站安全级软件验证与确认方法和系统

说明书

技术领域

本发明属于核电技术领域，更具体地说，本发明涉及一种核电站安全级软件验证与确认方法和系统。

背景技术

核电站仪控系统是核电站的中枢神经，肩负着控制核电站正常运行和事故处理的重大使命，确保在任何工况下核电站的安全可靠运行。随着计算机系统在核电站的应用日益广泛，它们对于核电站安全的重要性也不断增加。这类系统既有用于安全级有关系统(如过程控制与检测系统)，也有用于安全系统(如反应堆保护和专设驱动)，核电站基于计算机的安全重要系统的可信性被优先考虑。在数字化仪控系统用于核电站过程中，为保证核电站安全性，人们在操作过程中寻找和纠正在设计和执行阶段所发生的软件错误并加以改进的努力要进行多次。考虑到为确保安全有关的计算机应用所要求的高质量软件，必须要进行软件的验证Verification与确认Validation(V&V)。

一般的，根据现行通用的V&V阶段和方法的划分，核电站安全软件的V&V整个过程包括如下阶段：1、概念阶段验证与确认；2、需求阶段验证与确认；3、设计阶段验证与确认；4、实现阶段验证与确认；5、集成与测试阶段验证与确认。目前，国内还没有从事核安全级软件V&V的专业机构。为了确保核级安全重要系统软件的高可靠性，必须满足鉴定独立性要求，鉴定团队在管理、工作进度安排和财务方面应该与设备制造商是独立的，同时还要求参与鉴定人员数量以及能力应与供应商设计人员大致持平。核电站安全软件的概念阶段的验证与确认，是核电站安全软件V&V的最基础阶段。作为核电站仪控系统(DCS)的最终使用用户对安全相关的需求，如何能被核电站仪控系统的生产供货商正确理解，从而使生产的DCS设备符合使用要求，是亟待解决的问题。

发明内容

本发明的目的在于：在核电站安全软件验证与确认(V&V)的概念阶段过程中，提供一种高效、可靠的验证与确认技术。

为了实现上述发明目的，本发明提供了一种核电站安全级软件验证与确认方法，其包括：

建立核电站安全级软件验证与确认对照单，所述对照单至少包括基础文件列、验证文件列以及意见反馈列；

在所述基础文件列中输入核电站安全级软件的功能需求信息；

验证所述功能需求信息能否被产品功能信息满足；

将验证结果写入所述意见反馈列。

作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：

若所述产品功能信息完全满足所述功能需求信息，则将所述产品功能信息录入到验证文件列中，验证结果为“适用”。

作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：

若所述产品功能信息不完全满足所述功能需求信息，则验证结果为“待确认”。

作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：

若所述产品功能信息完全不满足所述功能需求信息，则验证结果为“不适用”。

作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：

建立问题处理单，所述问题处理单至少包括问题描述列、问题反馈列。

作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：

将产品功能信息的问题描述写入所述问题描述列。

作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：

对所述问题描述进行处理意见反馈，并将所述处理意见反馈写入所述问题反馈列。

作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：

确认所述处理反馈意见是否被采纳，并将确认结果写入结论列。

作为一种基于核电站安全级软件验证与确认方法的一种改进，所述方法还包括：

若所述处理反馈意见被完全采纳，则确认结果为“问题描述被关闭”。

作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：

若所述处理反馈意见未被完全采纳，则确认结果为“后续跟踪”。

作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：

若所述处理反馈意见未被采纳，则确认结果为“继续讨论”。

作为本发明核电站安全级软件验证与确认方法的一种改进，所述功能需求信息至少包括接口功能需求信息、系统结构功能需求信息、运行功能需求信息以及维护功能需求信息中的一种。

为了实现上述发明目的，本发明还提供了一种核电站安全级软件验证与确认系统，系统包括：