一种基于制图软件的控制逻辑验证和调试方法技术

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

【技术实现步骤摘要】
一种基于制图软件的控制逻辑验证和调试方法
本专利技术属于核电站控制逻辑设计验证
，具体涉及一种基于制图软件的控制逻辑验证和调试方法。
技术介绍
目前，各大核电设计院大都采用某制图软件进行控制逻辑图设计和图纸绘制，验证和调试这些图纸采用的普遍方法是把制图软件所绘图纸导入到第三方软件平台或在第三方软件平台对这些图纸进行重新组态绘制，再进行验证和调试。当验证发现设计图纸错误后，需要修改设计图纸后再导入到第三方软件平台或在第三方软件平台重新绘制图纸，再进行验证和调试，经过多次迭代验证和调试后这些设计图纸才能最终定版。这种验证和调试方法涉及软件接口较多，容易产生人因错误，验证效率较低。本专利技术公开一种基于制图软件的核电厂控制逻辑验证和调试方法，通过对制图软件二次开发技术进行研究，开发控制逻辑算法块软件、制图软件设计图形分析软件、数据维护工具软件、仿真运行加载项软件等，形成一套核电厂控制逻辑设计及调试系统。设计人员可以直接在该系统下设计、验证和调试控制逻辑，发现设计错误后可以直接修改再验证，大大提高设计验证的效率，缩短核电厂控制逻辑的设计周期。
技术实现思路
本专利技术的目的是解决现有验证和调试方法涉及软件接口较多，容易产生人因错误，验证效率较低的问题，提供了一种基于制图软件的控制逻辑验证和调试方法。本专利技术是这样实现的：一种基于制图软件的控制逻辑验证和调试方法，具体包括如下步骤：步骤一：验证查错；步骤二：验证调试。如上所述的步骤一，包括如下步骤：步骤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)连接线两端变量类型不同。如上所述的步骤二，包括如下步骤：步骤2.1：遍历制图软件当前所有打开的文档的控制模块；步骤2.2：设定控制模块的计算周期0.2s；步骤2.3：全部控制模块等待计算周期0.2s时间到后，执行步骤2.4；步骤2.4：运行制图软件中的一个文档对象；步骤2.5：获得该文档对象中的一个控制模块；步骤2.6：对该控制模块进行运行调试运行，如果有逻辑错误，则在控制模块中标识错误类型或输出错误日志，提示对上述错误进行修改，返回步骤2.5；如果没有逻辑错误，则执行步骤2.7；步骤2.7：判断当前文档是否为最后一个文档，如果否，则返回步骤2.4；如果是，验证调试流程结束。本专利技术的有益效果是：1.本专利技术所述方法具有配置灵活，可扩展性强，维护方便的特点；2.本专利技术所述方法及系统可以提高核电厂控制逻辑设计验证的效率，缩短核电厂控制逻辑的调试周期；3.本专利技术所述方法可以进行分系统验证调试和多个系统集成验证调试；4.本专利技术所述方法及系统可用于核电设计院工程师设计核电厂控制逻辑。附图说明图1是本专利技术的验证差错执行流程图；图2是本专利技术的验证调试执行流程图。具体实施方式下面结合附图和实施例对本专利技术进行进一步描述。如图1和图2所示，一种基于制图软件的控制逻辑验证和调试方法，具体包括如下步骤：步骤一：验证查错；步骤1.1：使用制图软件获取当前的活动文档；所述的制图软件是指VISIO或CAD软件；所述的活动文档内容是指有连接线及控制模块的DCS仪控系统的控制逻辑图。步骤1.2：获取活动文档中的控制模块；所述的控制模块为DCS仪控系统的控制逻辑图的模块。步骤1.3：对于控制模块进行验证查错；所述的查错对象包括模块重名、模块之间的连接线错误等。例如，连接线错误的图形分析流程，可以分析的连接线错误类型包括：(1)连接线有中断，至少有一端未连接；(2)连接线方向错误，未从输出变量接入到输入变量；(3)连接线两端变量类型不同。步骤1.4：如存在错误，则在控制模块中标识错误类型或输出错误日志，提示对上述控制模块的错误进行修改，返回步骤1.3对该控制模块重新验证差错；如不存在设计错误则执行步骤1.5。步骤1.5：判断该控制模块是否为活动文档中的最后一个控制模块，如果是，验证查错执行流程完成，执行步骤二；如果否，则返回步骤1.2，获得下一个控制模块。步骤二：验证调试；步骤2.1：遍历制图软件当前所有打开的文档的控制模块。步骤2.2：设定控制模块的计算周期0.2s。步骤2.3：全部控制模块等待计算周期0.2s时间到后，执行步骤2.4。步骤2.4：运行制图软件中的一个文档对象。步骤2.5：获得该文档对象中的一个控制模块。步骤2.6：对该控制模块进行运行调试运行，如果有逻辑错误，则在控制模块中标识错误类型或输出错误日志，提示对上述错误进行修改，返回步骤2.5；如果没有逻辑错误，则执行步骤2.7。步骤2.7：判断当前文档是否为最后一个文档，如果否，则返回步骤2.4；如果是，验证调试流程结束。上面结合实施例对专利技术的实施方法作了详细说明，但是专利技术并不限于上述实施例，在本领域普通技术人员所具备的知识范围内，还可以在不脱离本专利技术宗旨的前提下作出各种变化。本专利技术说明书中未作详细描述的内容均可以采用现有技术。本文档来自技高网...

【技术保护点】
1.一种基于制图软件的控制逻辑验证和调试方法，具体包括如下步骤：步骤一：验证查错；步骤二：验证调试。

【技术特征摘要】
1.一种基于制图软件的控制逻辑验证和调试方法，具体包括如下步骤：步骤一：验证查错；步骤二：验证调试。2.根据权利要求1所述的基于制图软件的控制逻辑验证和调试方法，其特征在于：所述的步骤一，包括如下步骤：步骤1.1：使用制图软件获取当前的活动文档；步骤1.2：获取活动文档中的控制模块；步骤1.3：对于控制模块进行验证查错；步骤1.4：如存在错误，则在控制模块中标识错误类型或输出错误日志，提示对上述控制模块的错误进行修改，返回步骤1.3对该控制模块重新验证差错；如不存在设计错误则执行步骤1.5；步骤1.5：判断该控制模块是否为活动文档中的最后一个控制模块，如果是，验证查错执行流程完成，执行步骤二；如果否，则返回步骤1.2，获得下一个控制模块。3.根据权利要求2所述的基于制图软件的控制逻辑验证和调试方法，其特征在于：所述的步骤1.1中，所述的制图软件是指VISIO或CAD软件。4.根据权利要求2所述的基于制图软件的控制逻辑验证和调试方法，其特征在于：所述的步骤1.1中，所述的活动文档内容是指有连接线及控制模块的DCS仪控系统的控制逻辑图。5.根据权利要求2所述的基于制图软件的控制逻辑验证和调试方法，其特征在于：所述的步骤1.2中，所述的控制模块为D...

【专利技术属性】
技术研发人员：张才科，刘培邦，周智，祁蔚，鲁星言，曲鸣，刘纯，尹继超，
申请(专利权)人：核动力运行研究所，中核武汉核电运行技术股份有限公司，
类型：发明
国别省市：湖北,42