[发明专利]一种核电厂控制逻辑设计验证的系统及方法

说明书

本发明的目的在于公开一种核电厂控制逻辑设计验证的系统及方法，包括客户端计算机、控制逻辑设计验证数据存储服务器、数据结构分解服务器及存储设计数据和要求规格数据的数据库；客户端计算机通过网络分别与控制逻辑设计验证数据存储服务器和数据结构分解服务器互相通讯连接，控制逻辑设计验证过程中的所有请求、动作由客户端计算机发送并执行；数据结构分解服务器与数据库互相通讯连接；与现有技术相比，可以根据不同的设计要求，将控制逻辑设计数据按照相应的设计验证方法进行分解并执行不同的设计验证流程，通过计算机自动判别，实现自动化、批量化、可视化的设计验证功能，显著提高了控制逻辑设计验证效率和质量，实现本发明的目的。

技术领域

本发明涉及一种控制逻辑设计验证的系统及方法，特别涉及一种基于数据库、计算机技术的的核电厂控制逻辑设计验证的系统及方法。

背景技术

三代核电采用全数字化仪控系统，对于电厂控制的功能基本是通过数字化仪控系统的软件实现的。在完成核电厂控制系统的控制逻辑设计工作之后，需要对设计成品(控制逻辑图)进行设计验证，以确保其满足电厂要求和质量要求，保证其功能可实现核电厂安全、稳定、经济地运行。

随着计算机技术的发展，控制逻辑的设计验证的部分工作采用了经过验证的控制逻辑仿真分析平台(控制逻辑仿真分析平台是指用于模拟控制系统的控制逻辑或控制特性的计算机软件)。但设计验证的方法不仅限于仿真测试，仍然有许多控制要求需要通过设计审查、分析、检查、论证等手段来进行设计验证工作。

传统设计验证中这部分工作大量依赖于人力，通过比对、分析、验算等手段进行设计审查、分析、检查、论证的方式进行设计验证，耗时费力，可能存在人因失误。

目前的控制逻辑设计已经实现了所有设计内容的数据化(基于数据库存储)，这是本系统和方法提出的重要前提。

因此，特别需要一种核电厂控制逻辑设计验证的系统及方法，以解决上述现有存在的问题。

发明内容

本发明的目的在于提供一种核电厂控制逻辑设计验证的系统及方法，针对现有技术的不足，实现控制逻辑设计验证的自动化，降低人力成本及人因失误率。

本发明所解决的技术问题可以采用以下技术方案来实现：

第一方面，本发明提供一种核电厂控制逻辑设计验证的系统，其特征在于，包括客户端计算机、控制逻辑设计验证数据存储服务器、数据结构分解服务器及存储设计数据和要求规格数据的数据库；客户端计算机通过网络分别与控制逻辑设计验证数据存储服务器和数据结构分解服务器互相通讯连接，控制逻辑设计验证过程中的所有请求、动作由客户端计算机发送并执行；数据结构分解服务器与数据库互相通讯连接。

在本发明的一个实施例中，所述客户端计算机用于安装控制逻辑设计验证主程序/应用程序，并支持用户自定义的设计验证流程、设计验证过程及结果的监测。

在本发明的一个实施例中，所述控制逻辑设计验证数据存储服务器包含需要开展设计验证的控制逻辑设计数据、控制要求规格数据、设计验证结果数据、设计验证流程、自动测试用例数据、依据专家经验形成的设计验证验收准则数据及用于存储这些数据和流程的数据库。

在本发明的一个实施例中，所述数据结构分解服务器包括：

数据载入模块，用于从控制逻辑设计验证数据存储服务器中载入需要开展设计验证的控制逻辑图的数据以及相应的控制要求规格数据；

数据分解模块，用于对载入的数据根据不同的设计验证方法进行识别分类。

在本发明的一个实施例中，所述客户端计算机包含：

数据识别调用模块，用于在设计验证过程中的不同环节调用所需数据；

设计验证流程及验收准则模块，用于驱动控制逻辑所生成的模型，根据所对应的测试用例，开展自动测试；