[发明专利]一种基于制图软件的控制逻辑验证和调试方法

说明书

本发明属于核电站控制逻辑设计验证技术领域，具体涉及一种基于制图软件的控制逻辑验证和调试方法，目的是解决现有验证和调试方法涉及软件接口较多，容易产生人因错误，验证效率较低的问题。其特征在于，它包括如下步骤：验证查错；验证调试。本发明所述方法具有配置灵活，可扩展性强，维护方便的特点；本发明所述方法及系统可以提高核电厂控制逻辑设计验证的效率，缩短核电厂控制逻辑的调试周期；本发明所述方法可以进行分系统验证调试和多个系统集成验证调试；本发明所述方法及系统可用于核电设计院工程师设计核电厂控制逻辑。

技术领域

本发明属于核电站控制逻辑设计验证技术领域，具体涉及一种基于制图软件的控制逻辑验证和调试方法。

背景技术

目前，各大核电设计院大都采用某制图软件进行控制逻辑图设计和图纸绘制，验证和调试这些图纸采用的普遍方法是把制图软件所绘图纸导入到第三方软件平台或在第三方软件平台对这些图纸进行重新组态绘制，再进行验证和调试。当验证发现设计图纸错误后，需要修改设计图纸后再导入到第三方软件平台或在第三方软件平台重新绘制图纸，再进行验证和调试，经过多次迭代验证和调试后这些设计图纸才能最终定版。这种验证和调试方法涉及软件接口较多，容易产生人因错误，验证效率较低。

本发明公开一种基于制图软件的核电厂控制逻辑验证和调试方法，通过对制图软件二次开发技术进行研究，开发控制逻辑算法块软件、制图软件设计图形分析软件、数据维护工具软件、仿真运行加载项软件等，形成一套核电厂控制逻辑设计及调试系统。设计人员可以直接在该系统下设计、验证和调试控制逻辑，发现设计错误后可以直接修改再验证，大大提高设计验证的效率，缩短核电厂控制逻辑的设计周期。

发明内容

本发明的目的是解决现有验证和调试方法涉及软件接口较多，容易产生人因错误，验证效率较低的问题，提供了一种基于制图软件的控制逻辑验证和调试方法。

本发明是这样实现的：

一种基于制图软件的控制逻辑验证和调试方法，具体包括如下步骤：

步骤一：验证查错；

步骤二：验证调试。

如上所述的步骤一，包括如下步骤：

步骤1.1：使用制图软件获取当前的活动文档；

步骤1.2：获取活动文档中的控制模块；

步骤1.3：对于控制模块进行验证查错；

步骤1.4：如存在错误，则在控制模块中标识错误类型或输出错误日志，提示对上述控制模块的错误进行修改，返回步骤1.3对该控制模块重新验证差错；如不存在设计错误则执行步骤1.5；

步骤1.5：判断该控制模块是否为活动文档中的最后一个控制模块，如果是，验证查错执行流程完成，执行步骤二；如果否，则返回步骤1.2，获得下一个控制模块。

如上所述的步骤1.1中，所述的制图软件是指VISIO或CAD软件。

如上所述的步骤1.1中，所述的活动文档内容是指有连接线及控制模块的DCS仪控系统的控制逻辑图。

如上所述的步骤1.2中，所述的控制模块为DCS仪控系统的控制逻辑图的模块。

如上所述的步骤1.3中，所述的查错对象包括模块重名、模块之间的连接线错误。

如上所述的连接线错误的图形分析流程，可以分析的连接线错误类型包括：

(1)连接线有中断，至少有一端未连接；

(2)连接线方向错误，未从输出变量接入到输入变量；

(3)连接线两端变量类型不同。

如上所述的步骤二，包括如下步骤：