(10)申请公布号
(43)申请公布日 (21)申请号 201410712835.X
(22)申请日 2014.12.01
G06F 21/44(2013.01)
(71)申请人中广核工程有限公司
地址518023 广东省深圳市福田区深南中路
69号
申请人中国广核集团有限公司
(72)发明人郑添 刘真 陈卫华 高峰
叶王平 唐建中 白涛 梁慧慧
彭华清 周军 谷鹏飞 张建波
何亚南 王升超
(74)专利代理机构广州三环专利代理有限公司
44202
代理人王基才
王冬华
(54)发明名称
(57)摘要
本发明公开了一种核电站安全级软件验证与
确认方法，该方法包括：建立核电站安全级软件
验证与确认对照单，所述对照单至少包括基础文
件列、验证文件列以及意见反馈列；在所述基础
文件列中输入核电站安全级软件的功能需求信
息；验证所述功能需求信息能否被产品功能信息
满足；将验证结果写入所述意见反馈列。此外，本
发明还公开了一种核电站安全级软件验证与确认
系统。本发明通过在核电站安全软件的概念阶段
实现验证和确认，避免了安全软件需求方与软件
提供方对概念理解不一致导致的软件故障风险。(51)Int.Cl.
(19)中华人民共和国国家知识产权局(12)发明专利申请权利要求书2页 说明书5页 附图1页
(10)申请公布号CN 104462933 A (43)申请公布日2015.03.25
C N 104462933
A
1.一种核电站安全级软件验证与确认方法，其特征在于，所述方法包括：
建立核电站安全级软件验证与确认对照单，所述对照单至少包括基础文件列、验证文件列以及意见反馈列；
在所述基础文件列中输入核电站安全级软件的功能需求信息；
验证所述功能需求信息能否被产品功能信息满足；
将验证结果写入所述意见反馈列。
2.根据权利要求1所述的方法，其特征在于，所述方法还包括：
若所述产品功能信息完全满足所述功能需求信息，则将所述产品功能信息录入到验证文件列中，验证结果为“适用”。
3.根据权利要求1所述的方法，其特征在于，所述方法还包括：
若所述产品功能信息不完全满足所述功能需求信息，则验证结果为“待确认”。
4.根据权利要求1所述的方法，其特征在于，所述方法还包括：
若所述产品功能信息完全不满足所述功能需求信息，则验证结果为“不适用”。
5.根据权利要求3所述的方法，其特征在于，所述方法还包括：
建立问题处理单，所述问题处理单至少包括问题描述列、问题反馈列。
6.根据权利要求5所述的方法，其特征在于，所述方法还包括：
将产品功能信息的问题描述写入所述问题描述列。
7.根据权利要求6所述的方法，其特征在于，所述方法还包括：
对所述问题描述进行处理意见反馈，并将所述处理意见反馈写入所述问题反馈列。
8.根据权利要求7所述的方法，其特征在于，所述方法还包括：
确认所述处理反馈意见是否被采纳，并将确认结果写入结论列。
9.根据权利要求8所述的方法，其特征在于，所述方法还包括：
若所述处理反馈意见被完全采纳，则确认结果为“问题描述被关闭”。
10.根据权利要求8所述的方法，其特征在于，所述方法还包括：
若所述处理反馈意见未被完全采纳，则确认结果为“后续跟踪”。
11.根据权利要求8所述的方法，其特征在于，所述方法还包括：
若所述处理反馈意见未被采纳，则确认结果为“继续讨论”。
12.根据权利要求1-11任一项所述的方法，其特征在于，所述功能需求信息至少包括接口功能需求信息、系统结构功能需求信息、运行功能需求信息以及维护功能需求信息中的一种。
13.一种核电站安全级软件验证与确认系统，其特征在于，所述系统包括：
建立模块，用于建立核电站安全级软件验证与确认对照单，所述对照单至少包括基础文件列、验证文件列以及意见反馈列；
输入模块，用于在所述基础文件列中输入核电站安全级软件的功能需求信息；
验证模块，用于验证所述功能需求信息能否被产品功能信息满足；
确认模块，用于将验证结果写入所述意见反馈列。
14.根据权利要求13所述的系统，其特征在于，若所述验证模块验证产品功能信息不完全满足所述功能需求信息，则验证结果为“待确认”。
15.根据权利要求14所述的系统，其特征在于，所述建立模块还用于：
建立问题处理单，所述问题处理单至少包括问题描述列、问题反馈列。
16.根据权利要求15所述的系统，其特征在于，所述输入模块还用于：
将产品功能信息的问题描述写入所述问题描述列。
17.根据权利要求16所述的系统，其特征在于，所述输入模块还用于：
对所述问题描述进行处理意见反馈，并将所述处理意见反馈写入所述问题反馈列。
18.根据权利要求17所述的系统，其特征在于，所述确认模块还用于：
确认所述处理反馈意见是否被采纳，并将确认结果写入结论列。
核电站安全级软件验证与确认方法和系统
技术领域
[0001] 本发明属于核电技术领域，更具体地说，本发明涉及一种核电站安全级软件验证与确认方法和系统。
背景技术
[0002] 核电站仪控系统是核电站的中枢神经，肩负着控制核电站正常运行和事故处理的重大使命，确保在任何工况下核电站的安全可靠运行。随着计算机系统在核电站的应用日益广泛，它们对于核电站安全的重要性也不断增加。这类系统既有用于安全级有关系统(如过程控制与检测系统)，也有用于安全系统(如反应堆保护和专设驱动)，核电站基于计算机的安全重要系统的可信性被优先考虑。在数字化仪控系统用于核电站过程中，为保证核电站安全性，人们在操作过程中寻和纠正在设计和执行阶段所发生的软件错误并加以改进的努力要进行多次。考虑到为确保安全有关的计算机应用所要求的高质量软件，必须要进行软件的验证Verification与确认Validation(V&V)。
[0003] 一般的，根据现行通用的V&V阶段和方法的划分，核电站安全软件的V&V整个过程包括如下阶段：
1、概念阶段验证与确认；2、需求阶段验证与确认；3、设计阶段验证与确认；
4、实现阶段验证与确认；
5、集成与测试阶段验证与确认。目前，国内还没有从事核安全级软件V&V的专业机构。为了确保核级安全重要系统软件的高可靠性，必须满足鉴定独立性要求，鉴定团队在管理、工作进度安排和财务方面应该与设备制造商是独立的，同时还要求参与鉴定人员数量以及能力应与供应商设计人员大致持平。核电站安全软件的概念阶段的验证与确认，是核电站安全软件V&V的最基础阶段。作为核电站仪控系统(DCS)的最终使用用户对安全相关的需求，如何能被核电站仪控系统的生产供货商正确理解，从而使生产的DCS 设备符合使用要求，是亟待解决的问题。
发明内容
[0004] 本发明的目的在于：在核电站安全软件验证与确认(V&V)的概念阶段过程中，提供一种高效、可靠的验证与确认技术。
[0005] 为了实现上述发明目的，本发明提供了一种核电站安全级软件验证与确认方法，其包括：
[0006] 建立核电站安全级软件验证与确认对照单，所述对照单至少包括基础文件列、验证文件列以及意见反馈列；
[0007] 在所述基础文件列中输入核电站安全级软件的功能需求信息；
[0008] 验证所述功能需求信息能否被产品功能信息满足；
[0009] 将验证结果写入所述意见反馈列。
[0010] 作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：[0011] 若所述产品功能信息完全满足所述功能需求信息，则将所述产品功能信息录入到验证文件列中，验证结果为“适用”。
[0012] 作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：[0013] 若所述产品功能信息不完全满足所述功能需求信息，则验证结果为“待确认”。[0014] 作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：[0015] 若所述产品功能信息完全不满足所述功能需求信息，则验证结果为“不适用”。[0016] 作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：[0017] 建立问题处理单，所述问题处理单至少包括问题描述列、问题反馈列。
[0018] 作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：[0019] 将产品功能信息的问题描述写入所述问题描述列。
[0020] 作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：[0021] 对所述问题
描述进行处理意见反馈，并将所述处理意见反馈写入所述问题反馈列。
[0022] 作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：[0023] 确认所述处理反馈意见是否被采纳，并将确认结果写入结论列。
[0024] 作为一种基于核电站安全级软件验证与确认方法的一种改进，所述方法还包括：[0025] 若所述处理反馈意见被完全采纳，则确认结果为“问题描述被关闭”。
[0026] 作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：[0027] 若所述处理反馈意见未被完全采纳，则确认结果为“后续跟踪”。
[0028] 作为本发明核电站安全级软件验证与确认方法的一种改进，所述方法还包括：[0029] 若所述处理反馈意见未被采纳，则确认结果为“继续讨论”。
[0030] 作为本发明核电站安全级软件验证与确认方法的一种改进，所述功能需求信息至少包括接口功能需求信息、系统结构功能需求信息、运行功能需求信息以及维护功能需求信息中的一种。
[0031] 为了实现上述发明目的，本发明还提供了一种核电站安全级软件验证与确认系统，系统包括：
[0032] 建立模块，用于建立核电站安全级软件验证与确认对照单，所述对照单至少包括基础文件列、验证文件列以及意见反馈列；
[0033] 输入模块，用于在所述基础文件列中输入核电站安全级软件的功能需求信息；[0034] 验证模块，用于验证所述功能需求信息能否被产品功能信息满足；
[0035] 确认模块，用于将验证结果写入所述意见反馈列。
[0036] 作为本发明核电站安全级软件验证与确认系统的一种改进，若所述验证模块验证产品功能信息不完全满足所述功能需求信息，则验证结果为“待确认”。
[0037] 作为本发明核电站安全级软件验证与确认系统的一种改进，所述建立模块还用于：
[0038] 建立问题处理单，所述问题处理单至少包括问题描述列、问题反馈列。
[0039] 作为本发明核电站安全级软件验证与确认系统的一种改进，所述输入模块还用于：
[0040] 将产品功能信息的问题描述写入所述问题描述列。
[0041] 作为本发明核电站安全级软件验证与确认系统的一种改进，所述输入模块还用于：
豫公网安备41160202000603
站长QQ:729038198
关于我们
投诉建议