安全级仪控系统的验证与确认方法及系统、程序产品技术方案

本发明专利技术公开了一种安全级仪控系统的验证与确认方法及系统、程序产品，所述安全级仪控系统的验证与确认方法包括：获取需求信息和设计文件；根据所述需求信息匹配硬件模型和软件模型，并验证是否符合所述需求信息；根据所述设计文件配置硬件框架模型和软件框架模型；并验证是否符合所述设计文件；根据所述设计文件配置所述硬件模型和所述软件模型，将配置好的所述硬件模型和所述软件模型分别设置于所述硬件框架模型和所述软件框架模型中，以得到所述安全级仪控系统；验证所述硬件模型和所述软件模型是否符合所述设计文件；显示验证结果，增强了验证的完整性，提高安全级仪控系统验证与确认工作的工作效率，并提升仪控系统的安全性和可靠性。

【技术实现步骤摘要】

本专利技术涉及计算机，具体而言，涉及一种安全级仪控系统的验证与确认方法及系统、程序产品。

技术介绍

1、在建核设施中，数字仪控系统已被广泛应用，其中安全级系统内软件是实现其功能逻辑的重要部件。根据核安全法规标准要求，数字仪控系统中安全级系统必须通过验证与确认(v&v)过程，来证明其安全性和可靠性满足核安全要求。v&v活动作为核安全质量的关键过程，受到核安全监管机构和行业内的高度关注。根据核安全法规标准要求，v&v活动应由独立于设计者和开发者的个人、团队或组织实施。在系统生命周期中，v&v工程师通过特定的工具和方法，对各生命周期阶段的设计输出进行验证，确认设计输出的正确性、完整性和一致性。

技术实现思路

1、本专利技术要解决的技术问题是为了克服现有技术中利用人工进行v&v(验证与确认)的效率低，错误多，产生的问题不能及时被发现导致后续返工费时费力的缺陷，提供一种安全级仪控系统的验证与确认方法及系统、程序产品。

2、本专利技术是通过下述技术方案来解决上述技术问题本文档来自技高网...

【技术保护点】

1.一种安全级仪控系统的验证与确认方法，其特征在于，所述安全级仪控系统的验证与确认方法包括：

2.如权利要求1所述的安全级仪控系统的验证与确认方法，其特征在于，所述安全级仪控系统的验证与确认方法还包括：

3.如权利要求1所述的安全级仪控系统的验证与确认方法，其特征在于，所述安全级仪控系统的验证与确认方法还包括：根据测试逻辑或人工输入的测试激励，生成系统测试用例，并对所述安全级仪控系统进行测试。

4.如权利要求1所述的安全级仪控系统的验证与确认方法，其特征在于，所述安全级仪控系统的验证与确认方法还包括：获取预定义规则，根据预定义规则验证所述设计文件。...

【技术特征摘要】

1.一种安全级仪控系统的验证与确认方法，其特征在于，所述安全级仪控系统的验证与确认方法包括：

2.如权利要求1所述的安全级仪控系统的验证与确认方法，其特征在于，所述安全级仪控系统的验证与确认方法还包括：

3.如权利要求1所述的安全级仪控系统的验证与确认方法，其特征在于，所述安全级仪控系统的验证与确认方法还包括：根据测试逻辑或人工输入的测试激励，生成系统测试用例，并对所述安全级仪控系统进行测试。

4.如权利要求1所述的安全级仪控系统的验证与确认方法，其特征在于，所述安全级仪控系统的验证与确认方法还包括：获取预定义规则，根据预定义规则验证所述设计文件。

5.一种安全级仪控系统的验证与确认系统，其特征在于，所述安全级仪控系统的验证与确认系统包括：

6...

【专利技术属性】
技术研发人员：杨秉政，戴瑞东，朱夕辉，何丽冰，
申请(专利权)人：国核自仪系统工程有限公司，
类型：发明
国别省市：