CN109635480A - 一种基于制图软件的控制逻辑验证和调试方法 - Google Patents

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

Info

Publication number
CN109635480A
CN109635480A CN201811575124.7A CN201811575124A CN109635480A CN 109635480 A CN109635480 A CN 109635480A CN 201811575124 A CN201811575124 A CN 201811575124A CN 109635480 A CN109635480 A CN 109635480A
Authority
CN
China
Prior art keywords
verifying
control module
control logic
graphics software
adjustment method
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN201811575124.7A
Other languages
English (en)
Other versions
CN109635480B (zh
Inventor
张才科
刘培邦
周智
祁蔚
鲁星言
曲鸣
刘纯
尹继超
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Research Institute of Nuclear Power Operation
China Nuclear Power Operation Technology Corp Ltd
Original Assignee
Research Institute of Nuclear Power Operation
China Nuclear Power Operation Technology Corp Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Research Institute of Nuclear Power Operation, China Nuclear Power Operation Technology Corp Ltd filed Critical Research Institute of Nuclear Power Operation
Priority to CN201811575124.7A priority Critical patent/CN109635480B/zh
Publication of CN109635480A publication Critical patent/CN109635480A/zh
Application granted granted Critical
Publication of CN109635480B publication Critical patent/CN109635480B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/33—Design verification, e.g. functional simulation or model checking
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]

Abstract

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

Description

一种基于制图软件的控制逻辑验证和调试方法
技术领域
本发明属于核电站控制逻辑设计验证技术领域，具体涉及一种基于制图软件的控制逻辑验证和调试方法。
背景技术
目前，各大核电设计院大都采用某制图软件进行控制逻辑图设计和图纸绘制，验证和调试这些图纸采用的普遍方法是把制图软件所绘图纸导入到第三方软件平台或在第三方软件平台对这些图纸进行重新组态绘制，再进行验证和调试。当验证发现设计图纸错误后，需要修改设计图纸后再导入到第三方软件平台或在第三方软件平台重新绘制图纸，再进行验证和调试，经过多次迭代验证和调试后这些设计图纸才能最终定版。这种验证和调试方法涉及软件接口较多，容易产生人因错误，验证效率较低。
本发明公开一种基于制图软件的核电厂控制逻辑验证和调试方法，通过对制图软件二次开发技术进行研究，开发控制逻辑算法块软件、制图软件设计图形分析软件、数据维护工具软件、仿真运行加载项软件等，形成一套核电厂控制逻辑设计及调试系统。设计人员可以直接在该系统下设计、验证和调试控制逻辑，发现设计错误后可以直接修改再验证，大大提高设计验证的效率，缩短核电厂控制逻辑的设计周期。
发明内容
本发明的目的是解决现有验证和调试方法涉及软件接口较多，容易产生人因错误，验证效率较低的问题，提供了一种基于制图软件的控制逻辑验证和调试方法。
本发明是这样实现的：
一种基于制图软件的控制逻辑验证和调试方法，具体包括如下步骤：
步骤一：验证查错；
步骤二：验证调试。
如上所述的步骤一，包括如下步骤：
步骤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；如果是，验证调试流程结束。
上面结合实施例对发明的实施方法作了详细说明，但是发明并不限于上述实施例，在本领域普通技术人员所具备的知识范围内，还可以在不脱离本发明宗旨的前提下作出各种变化。本发明说明书中未作详细描述的内容均可以采用现有技术。

Claims (8)

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中，所述的控制模块为DCS仪控系统的控制逻辑图的模块。
6.根据权利要求2所述的基于制图软件的控制逻辑验证和调试方法，其特征在于：所述的步骤1.3中，所述的查错对象包括模块重名、模块之间的连接线错误。
7.根据权利要求6所述的基于制图软件的控制逻辑验证和调试方法，其特征在于：所述的连接线错误的图形分析流程，可以分析的连接线错误类型包括：
(1)连接线有中断，至少有一端未连接；
(2)连接线方向错误，未从输出变量接入到输入变量；
(3)连接线两端变量类型不同。
8.根据权利要求1所述的基于制图软件的控制逻辑验证和调试方法，其特征在于：所述的步骤二，包括如下步骤：
步骤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；如果是，验证调试流程结束。
CN201811575124.7A 2018-12-21 2018-12-21 一种基于制图软件的控制逻辑验证和调试方法 Active CN109635480B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201811575124.7A CN109635480B (zh) 2018-12-21 2018-12-21 一种基于制图软件的控制逻辑验证和调试方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201811575124.7A CN109635480B (zh) 2018-12-21 2018-12-21 一种基于制图软件的控制逻辑验证和调试方法

Publications (2)

Publication Number Publication Date
CN109635480A true CN109635480A (zh) 2019-04-16
CN109635480B CN109635480B (zh) 2023-07-14

Family

ID=66076473

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201811575124.7A Active CN109635480B (zh) 2018-12-21 2018-12-21 一种基于制图软件的控制逻辑验证和调试方法

Country Status (1)

Country Link
CN (1) CN109635480B (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113075911A (zh) * 2021-03-24 2021-07-06 中广核工程有限公司 核电厂安全级数字化仪控系统软件自动验证方法和系统

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20060064293A1 (en) * 2004-09-21 2006-03-23 Atrenta, Inc. A method, system, and computer program product for generating and verifying isolation logic modules in design of integrated circuits
US8402438B1 (en) * 2007-12-03 2013-03-19 Cadence Design Systems, Inc. Method and system for generating verification information and tests for software
CN103810090A (zh) * 2012-11-12 2014-05-21 中国广东核电集团有限公司 核电站数字化规程安装调试验证的方法、升版方法和平台
CN105988792A (zh) * 2015-02-11 2016-10-05 国核（北京）科学技术研究院有限公司 核电软件开发自动化系统和方法
CN106407572A (zh) * 2016-09-23 2017-02-15 四川电力设计咨询有限责任公司 火力发电工程的设计系统及方法

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20060064293A1 (en) * 2004-09-21 2006-03-23 Atrenta, Inc. A method, system, and computer program product for generating and verifying isolation logic modules in design of integrated circuits
US8402438B1 (en) * 2007-12-03 2013-03-19 Cadence Design Systems, Inc. Method and system for generating verification information and tests for software
CN103810090A (zh) * 2012-11-12 2014-05-21 中国广东核电集团有限公司 核电站数字化规程安装调试验证的方法、升版方法和平台
CN105988792A (zh) * 2015-02-11 2016-10-05 国核（北京）科学技术研究院有限公司 核电软件开发自动化系统和方法
CN106407572A (zh) * 2016-09-23 2017-02-15 四川电力设计咨询有限责任公司 火力发电工程的设计系统及方法

Non-Patent Citations (11)

* Cited by examiner, † Cited by third party
Title
CAIKE ZHANG,ET AL.: "Design and Development of Virtual Dcs Debugging and Research Platform Based on NPP Simulation Mopdel", 《2018 26TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING》 *
CAIKE ZHANG,ET AL.: "Design and Development of Virtual Dcs Debugging and Research Platform Based on NPP Simulation Mopdel", 《2018 26TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING》, 24 October 2018 (2018-10-24), pages 1 - 5 *
尹继超等: "基于仿真技术的核电站DCS人机界面验证研究", 《科技创新导报》 *
尹继超等: "基于仿真技术的核电站DCS人机界面验证研究", 《科技创新导报》, no. 28, 31 December 2015 (2015-12-31), pages 6 - 7 *
张光新;林智勇;: "基于设计分析器的CAP1400核电厂非安全级仪控系统控制逻辑设计验证", 化工自动化及仪表, no. 11 *
张朋等: "基于 Visio 平台的故障树自动建模软件开发", 《工业控制计算机》 *
张朋等: "基于 Visio 平台的故障树自动建模软件开发", 《工业控制计算机》, vol. 28, no. 1, 31 December 2015 (2015-12-31), pages 89 - 91 *
王娟娟: "基于Visio开发虚拟DCS工程师站关键问题研究", 《中国优秀硕士学位论文全文数据库》 *
王娟娟: "基于Visio开发虚拟DCS工程师站关键问题研究", 《中国优秀硕士学位论文全文数据库》, no. 2, 15 February 2017 (2017-02-15), pages 43 *
高汉军等: "虚拟DCS控制器在核电站DCS样机调试的应用研究", 《科技视界》 *
高汉军等: "虚拟DCS控制器在核电站DCS样机调试的应用研究", 《科技视界》, no. 02, 28 February 2017 (2017-02-28), pages 250 *

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113075911A (zh) * 2021-03-24 2021-07-06 中广核工程有限公司 核电厂安全级数字化仪控系统软件自动验证方法和系统

Also Published As

Publication number Publication date
CN109635480B (zh) 2023-07-14

Similar Documents

Publication Publication Date Title
US11176028B2 (en) System, method and storage device for CIM/E model standard compliance test
CN101183406B (zh) 网络芯片模块级功能验证测试平台的建立方法
CN102169846A (zh) 一种在集成电路晶圆测试过程中实现多维变量密码并行写入的方法
CN107025172B (zh) 一种基于概率风险评价的软件测试方法
CN103995780B (zh) 一种基于语句频度统计的程序错误定位方法
CN106326112B (zh) 一种程序作业自动批改的方法和装置
CN109557900A (zh) 一种验证dcs模拟机逻辑运算功能的测试方法及系统
CN115576768A (zh) 一种基于uvm的通用验证平台架构自动生成方法
CN105512372B (zh) 模型化的星载数据处理仿真测试方法
CN109635480A (zh) 一种基于制图软件的控制逻辑验证和调试方法
CN106526460B (zh) 一种电路故障定位方法及装置
CN111680463A (zh) 一种文件检查方法和装置
CN114661615B (zh) 一种fpga软件测试方法和设备
Matragkas et al. A Traceability-Driven Approach to Model Transformation Testing.
CN109522595A (zh) 一种基于核电厂验证平台的功能图导入自动诊断方法
CN112560393B (zh) Eda软件工具的比对验证方法及装置
Walker Sneak circuit analysis automation
CN115408967A (zh) 通过结构分析标识安全相关端口与其安全机制的关联
CN113434390B (zh) 一种基于变异的fpga逻辑综合工具模糊测试方法
CN105224736B (zh) 一种基于约束求解的智能电网系统鲁棒性验证方法
CN107872358B (zh) 一种针对hdlc协议的自动化仿真测试方法
CN108363567B (zh) 一种基于数据库的验证平台激励器自动化生成方法
CN107832232A (zh) 基于模型的软件测试方法
CN205898913U (zh) 电子测试设备测试用通用工装
CN109945892B (zh) 一种惯性导航系统复杂算法类需求的在线测试方法

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant