[发明专利]利用信息同构验证画面组态的方法和系统

说明书

本发明涉及核电站安全控制的技术领域，为了解决现有技术中SVDU画面组态验证过程中，执行效率不高、工作质量过于依赖人为因素的技术问题；本发明提供一种利用信息同构验证画面组态的方法和系统，所述方法包括：S1、建立画面组态的验证规则数据库；S2、将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；S4、对比所述第一数据库和所述第二数据，验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致；并基于对比的结果，输出所述待验证画面组态的验证结果。

技术领域

本发明涉及核电站安全控制的技术领域，尤其涉及安全级人机接口显示单元中应用软件验证与确认的技术领域，更具体地涉及一种利用信息同构验证画面组态的方法和系统。

背景技术

核电厂安全级人机接口显示单元(Safety Video Display Unit,或称SafetyVDU，或简称SVDU)，能够对安全级DCS(分布式控制系统)进行直接控制，并且实现仪控系统操作和信息监控层之间不同等级的隔离。具体地：操作员通过SVDU向安全相关设备和功能发送命令，同时接收安全相关设备提供的状态反馈，并将反馈的状态信息，通过SVDU中的操作窗口显示，为操作员提供监视信息。

SVDU作为人机接口(Human Machine Interface，简称HMI)软件，一般分为两部分：1、运行于HMI硬件中的系统软件，2、运行于系统软件下的画面应用软件，在引入SVDU后，验证画面应用软件的功能实现的正确性成为必须考虑的问题。

发明人在实现本发明的过程中发现：工程人员使用HMI的画面组态软件时，需要有画面软件需求，并进行人工制作画面应用软件；而目前画面软件需求和画面应用软件，是以自然语言和半形式化表现为主，验证与确认(VV)都是以人工为主执行，而且验证与确认工作量巨大，导致执行效率不高，而且工作质量过于依赖人为因素。并且现有技术中，验证与确认(VV)的技术领域中，并未有支持SVDU分析领域内的验证与确认(VV)工具。

发明内容

为了解决现有技术中SVDU画面组态验证过程中，执行效率不高、工作质量过于依赖人为因素的技术问题；本发明提供一种利用信息同构验证画面组态的方法和系统，能够自动执行验证。

为了实现上述目的，本发明提供的技术方案包括：

本发明一方面提供一种利用信息同构验证画面组态的方法，其特征在于，包括：

S1、建立画面组态用验证规则数据库，所述验证规则数据库中对应设置有每个组态对象各项属性信息需要满足的基准属性信息之间的匹配关系；

S2、将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；

S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；

S4、对比所述第一数据库和所述第二数据中，验证每个组态对象的各项属性的值是否与所述验证规则数据库中的匹配关系一致；并基于对比的结果，输出所述待验证画面组态的验证结果。

本发明实施例优选地，所述步骤S1中的验证规则数据库中每行对应一个组态对象，并且每个组态对象的列属性信息包括：所述组态对象对应画面软件需求对应机器代码满足的正确参数值，所述组态对象对应安全控制显示装置页面信息下载文件对应机器代码满足的正确参数值。