CN114442570A - 一种核电站非安全级dcs逻辑回路的验证系统和方法 - Google Patents
一种核电站非安全级dcs逻辑回路的验证系统和方法 Download PDFInfo
- Publication number
- CN114442570A CN114442570A CN202111602054.1A CN202111602054A CN114442570A CN 114442570 A CN114442570 A CN 114442570A CN 202111602054 A CN202111602054 A CN 202111602054A CN 114442570 A CN114442570 A CN 114442570A
- Authority
- CN
- China
- Prior art keywords
- logic
- safety
- control terminal
- verification
- dcs
- 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
Links
- 238000012795 verification Methods 0.000 title claims abstract description 117
- 238000000034 method Methods 0.000 title claims abstract description 35
- 238000004088 simulation Methods 0.000 claims abstract description 87
- 238000012360 testing method Methods 0.000 claims abstract description 44
- 238000004891 communication Methods 0.000 claims abstract description 37
- 238000013461 design Methods 0.000 claims description 7
- 238000004364 calculation method Methods 0.000 claims description 3
- 230000007812 deficiency Effects 0.000 abstract description 2
- 238000004422 calculation algorithm Methods 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000011156 evaluation Methods 0.000 description 1
- 230000006870 function Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000000750 progressive effect Effects 0.000 description 1
- 230000009466 transformation Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/418—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS] or computer integrated manufacturing [CIM]
- G05B19/41845—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS] or computer integrated manufacturing [CIM] characterised by system universality, reconfigurability, modularity
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/30—Nc systems
- G05B2219/33—Director till display
- G05B2219/33273—DCS distributed, decentralised controlsystem, multiprocessor
-
- 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]
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Manufacturing & Machinery (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Automation & Control Theory (AREA)
- Testing And Monitoring For Control Systems (AREA)
Abstract
本发明涉及一种核电站非安全级DCS逻辑回路的验证系统和方法,包括控制终端、仿真服务器、通讯单元和DCS控制机柜;控制终端根据测试指令按逻辑事件系列匹配对应的仿真输入接口模型并依次赋值,以及输出验证结果;仿真服务器根据控制终端的赋值进行仿真运算并通过通讯单元依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值;DCS控制机柜根据输入信号值进行非安全级DCS逻辑回路运算,并将逻辑回路运算结果通过通讯单元返回给仿真服务器。本发明实现了对非安全级DCS逻辑回路的全面验证,解决了验证缺失、遗漏的问题,同时还可以解决人工无法开展大量逻辑回路组合测试的难题,大大提高测试效率和可靠性,自动化程度高。
Description
技术领域
本发明涉及核电数字仪控系统的技术领域,更具体地说,涉及一种核电站非安全级DCS逻辑回路的验证系统和方法。
背景技术
目前,由于核电站非安全级数字化仪控系统(DCS)的逻辑回路系统复杂,针对核电站非安全级数字化仪控系统逻辑回路的验证方法和工具不能对其正确性进行全面验证,在测试验证过程中不能准确发现不可预见的错误,这些不可预见的错误则会导致部分功能失效,降低核电站的安全性和可靠性。
发明内容
本发明要解决的技术问题在于,针对现有技术的缺陷,提供一种核电站非安全级DCS逻辑回路的验证系统和方法。
本发明解决其技术问题所采用的技术方案是:构造一种核电站非安全级DCS逻辑回路的验证系统,包括:控制终端、仿真服务器、通讯单元以及DCS控制机柜;
所述控制终端用于根据测试指令按逻辑事件系列匹配对应的仿真输入接口模型并依次赋值,以及根据所述仿真服务器返回的逻辑回路运算结果输出验证结果;
所述仿真服务器与所述控制终端连接,用于根据所述控制终端的赋值进行仿真运算并通过所述通讯单元依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值给所述DCS控制机柜;
所述DCS控制机柜根据所述输入信号值进行非安全级DCS逻辑回路运算,并将逻辑回路运算结果通过所述通讯单元返回给所述仿真服务器。
在本发明所述的核电站非安全级DCS逻辑回路的验证系统中,所述控制终端包括:解析模块;
所述解析模块用于读取和解析执行脚本文件中的每一个非安全级DCS逻辑回路的逻辑事件系列,按逻辑事件系列匹配对应的仿真输入接口模型并依次赋值。
在本发明所述的核电站非安全级DCS逻辑回路的验证系统中,所述控制终端还包括:存储模块;
所述存储模块用于存储所述执行脚本文件;所述执行脚本文件包括:非安全级DCS逻辑回路的标准逻辑真值表。
在本发明所述的核电站非安全级DCS逻辑回路的验证系统中,所述控制终端还包括:比对模块;
所述比对模块用于将所述逻辑回路运算结果与所述标准逻辑真值表进行比对,并输出比对结果。
在本发明所述的核电站非安全级DCS逻辑回路的验证系统中,所述控制终端还包括:报告生成模块;
所述报告生成模块与所述比对模块连接,用于根据所述比对结果生成测试验证报告和验证信息;所述测试验证报告和验证信息为所述验证结果。
在本发明所述的核电站非安全级DCS逻辑回路的验证系统中,所述控制终端还包括:显示模块;
所述显示模块与所述报告生成模块连接,用于对所述验证信息和所述测试验证报告进行显示。
在本发明所述的核电站非安全级DCS逻辑回路的验证系统中,所述控制终端还包括:提示模块;
所述提示模块与所述报告生成模块连接,用于在所述逻辑回路运算结果与所述标准逻辑真值表中对应的系列标准值相同时输出第一提示信号、在所述逻辑回路运算结果与所述标准逻辑真值表中对应的系列标准值不相同时输出第二提示信号。
在本发明所述的核电站非安全级DCS逻辑回路的验证系统中,所述仿真服务器包括:多个事件系列模块;
每一个事件系列模块包括:多个仿真输入接口模型和一个仿真输出接口模型;
所述多个仿真输入接口模型用于根据所述控制终端的赋值进行仿真运算并通过所述通讯单元依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值给所述DCS控制机柜;
所述仿真输出接口用于接收所述DCS控制机柜通过所述通讯单元返回的逻辑运算结果并发送给所述控制终端。
在本发明所述的核电站非安全级DCS逻辑回路的验证系统中,所述通讯单元为PCL通讯模块。
在本发明所述的核电站非安全级DCS逻辑回路的验证系统中,所述DCS控制机柜包括:逻辑回路运算模块;
所述逻辑回路运算模块用于根据所述输入信号值进行对每一个非安全级DCS逻辑回路进行运算,并将逻辑回路运算结果通过所述通讯单元返回给所述仿真服务器。
本发明还提供一种核电站非安全级DCS逻辑回路的验证方法,包括以下步骤:
控制终端接收用户输入的测试指令,并根据所述测试指令按逻辑事件系列匹配对应的仿真输入接口模型并依次赋值;
仿真服务器根据所述控制终端的赋值进行仿真运算,并依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值;
DCS控制机柜根据所述输入信号值对每一个非安全级DCS逻辑回路的逻辑事件系列进行运算,并输出逻辑回路运算结果;
所述仿真服务器将所述逻辑回路运算结果返回给所述控制终端;
所述控制终端根据所述逻辑回路运算结果输出验证结果。
在本发明所述的核电站非安全级DCS逻辑回路的验证方法中,所述方法还包括:
所述仿真服务器通过通讯单元向所述DCS控制机柜依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值。
在本发明所述的核电站非安全级DCS逻辑回路的验证方法中,所述方法还包括:
所述控制终端根据待测试验证的非安全级DCS逻辑回路设计图纸进行解析编制生成标准逻辑真值表;
所述控制终端对所述标准逻辑真值表进行编译,生成执行脚本文件;
所述控制终端存储所述执行脚本文件。
在本发明所述的核电站非安全级DCS逻辑回路的验证方法中,所述控制终端根据所述逻辑回路运算结果输出验证结果包括:
所述控制终端将所述逻辑回路运算结果与所述标准逻辑真值表进行比对,并输出比对结果;
根据所述比对结果生成测试验证报告和验证信息;所述测试验证报告和验证信息为所述验证结果。
在本发明所述的核电站非安全级DCS逻辑回路的验证方法中,所述方法还包括:
所述控制终端对所述测试验证报告和所述验证信息进行显示。
在本发明所述的核电站非安全级DCS逻辑回路的验证方法中,所述方法还包括:
所述控制终端判断所述逻辑回路运算结果与所述标准逻辑真值表中对应的系列标准值是否相同;
若相同,则输出第一提示信号;
若不相同,则输出第二提示信号。
实施本发明的核电站非安全级DCS逻辑回路的验证系统和方法,具有以下有益效果:包括控制终端、仿真服务器、通讯单元和DCS控制机柜;控制终端根据测试指令按逻辑事件系列匹配对应的仿真输入接口模型并依次赋值,以及输出验证结果;仿真服务器根据控制终端的赋值进行仿真运算并通过通讯单元依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值;DCS控制机柜根据输入信号值进行非安全级DCS逻辑回路运算,并将逻辑回路运算结果通过通讯单元返回给仿真服务器。本发明实现了对非安全级DCS逻辑回路的全面验证,解决了验证缺失、遗漏的问题,同时还可以解决人工无法开展大量逻辑回路组合测试的难题,大大提高测试效率和可靠性,自动化程度高。
附图说明
下面将结合附图及实施例对本发明作进一步说明,附图中:
图1是本发明实施例提供的核电站非安全级DCS逻辑回路的验证系统的结构示意图;
图2是本发明实施例提供的核电站非安全级DCS逻辑回路的验证方法的流程示意图。
具体实施方式
为了对本发明的技术特征、目的和效果有更加清楚的理解,现对照附图详细说明本发明的具体实施方式。
参考图1,为本发明提供的核电站非安全级DCS逻辑回路的验证系统一可选实施例的结构示意图。
具体的,如图1所示,该核电站非安全级DCS逻辑回路的验证系统包括:控制终端10、仿真服务器20、通讯单元30以及DCS控制机柜40。
控制终端10用于根据测试指令按逻辑事件系列匹配对应的仿真输入接口模型并依次赋值,以及根据仿真服务器20返回的逻辑回路运算结果输出验证结果。
仿真服务器20与控制终端10连接,用于根据控制终端10的赋值进行仿真运算并通过通讯单元30依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值给DCS控制机柜40。
DCS控制机柜40根据输入信号值进行非安全级DCS逻辑回路运算,并将逻辑回路运算结果通过通讯单元30返回给仿真服务器20。
一些实施例中,该控制终端10包括:解析模块。
解析模块用于读取和解析执行脚本文件中的每一个非安全级DCS逻辑回路的逻辑事件系列,按逻辑事件系列匹配对应的仿真输入接口模型并依次赋值。
可选的,本发明实施例中,通过该解析模块可以读取和解析执行脚本文件中每一个非安全级DCS逻辑回路的逻辑事件系列,并按照逻辑事件系列匹配仿真服务器20中相对应的仿真输入接口模型,并对所匹配的仿真输入接口模型依次赋值。
一些实施例中,该控制终端10还包括:存储模块。
存储模块用于存储执行脚本文件;执行脚本文件包括:非安全级DCS逻辑回路的标准逻辑真值表。
可选的,本发明实施例中,该标准逻辑真值表可以根据待测试验证的非安全级DCS逻辑回路设计图纸进行解析编制形成。其中,该标准逻辑真值表可通过编译形成执行脚本文件,并存储于存储模块中。可选的,本发明实施例中,所编制的执行脚本文件可以存储于存储模块中预设的脚本文件夹中。
进一步地,一些实施例中,该控制终端10还包括:比对模块。
比对模块用于将逻辑回路运算结果与标准逻辑真值表进行比对,并输出比对结果。
进一步地,一些实施例中,该控制终端10还包括:报告生成模块。
报告生成模块与比对模块连接,用于根据比对结果生成测试验证报告和验证信息;测试验证报告和验证信息为验证结果。
进一步地,一些实施例中,该控制终端10还包括:显示模块。
显示模块与报告生成模块连接,用于对验证信息和测试验证报告进行显示。
进一步地,一些实施例中,该控制终端10还包括:提示模块。
提示模块与报告生成模块连接,用于在逻辑回路运算结果与标准逻辑真值表中对应的系列标准值相同时输出第一提示信号、在逻辑回路运算结果与标准逻辑真值表中对应的系列标准值不相同时输出第二提示信号。
一些实施例中,如图1所示,该仿真服务器20包括:多个事件系列模块。
可选的,本发明实施例中,每一个事件系列模块包括:多个仿真输入接口模型和一个仿真输出接口模型。
多个仿真输入接口模型用于根据控制终端10的赋值进行仿真运算并通过通讯单元30依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值给DCS控制机柜40。仿真输出接口用于接收DCS控制机柜40通过通讯单元30返回的逻辑运算结果并发送给控制终端10。
可选的,本发明实施实施例中,通讯单元30可以为PLC通讯模块。
可选的,如图1所示,该DCS控制机柜40包括:逻辑回路运算模块。
逻辑回路运算模块用于根据输入信号值进行对每一个非安全级DCS逻辑回路进行运算,并将逻辑回路运算结果通过通讯单元30返回给仿真服务器20。
具体的,控制终端10中的解析模块读取和解析执行脚本文件中每一个非安全级DCS逻辑回路的逻辑事件系列后,按照逻辑事件系列匹配仿真服务器20中相对应的仿真输入接口模型,并对所匹配的仿真输入接口模型依次赋值,接着,被赋值的仿真输入接口模型根据所得到的赋值进行仿真运算,并通过通讯单元30将每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值依次发送给DCS控制机柜40。DCS控制机柜40根据仿真服务器20的仿真输入接口模型发送的输入信号值将对应的非安全级DCS逻辑回路的每一事件系列进行逻辑回路运算,并将逻辑回路运算结果通过通讯单元30返回给对应的仿真输出接口模型。例如,如图1所示,若匹配的仿真输入接口模型为事件系列1中的仿真输入接口模型1、仿真输入接口模型2、……、仿真输入接口模型n,则经过赋值后,事件系列1中的仿真输入接口模型1、仿真输入接口模型2、……、仿真输入接口模型n进行相应的仿真运算后,将对应的输入信号值通过通讯单元30发送给DCS控制机柜40,DCS控制机柜40根据所接收的输入信号值将对应的非安全级DCS逻辑回路中的事件系列1进行逻辑回路运算,并通过通讯单元30返回逻辑回路运算结果至事件系列1的仿真输出接口模型,由事件系列1的仿真输出接口模型将逻辑回路运算结果返回给控制终端10,由控制终端10中的比对模块将返回的逻辑回路运算结果与标准逻辑真值表中对应的系列标准值进行比对,并将比对结果发送给报告生成模块,由报告生成模块根据比对结果生成测试验证报告和验证信息,同时,显示模块还对报告生成模块所生成的测试验证报告和验证信息进行显示。进一步地,提示模块还对验证信息进行提示。具体的,当逻辑回路运算结果与标准逻辑真值表中对应的系列标准值相同时,输出第一提示信号,不相同时,输出第二提示信号。
可选的,本发明实施例中,第一提示信号可以为绿灯亮,第二提示信号可以为红灯亮。
本发明通过采用表征非安全级DCS逻辑回路的逻辑事件输入和输出之间全部可能状态的标准逻辑真值表作为非安全级DCS逻辑回路的测试验证标准,实现了对非安全级DCS逻辑回路设计、组态设计以及DCS实际逻辑运算正确性的全部验证,解决了非安全级DCS验证标准缺失的问题。
进一步地,本发明可自动测试,解决了人工无法开展标准逻辑真值表中天量逻辑组合测试的难题。例如,一个逻辑回路若有n个输入,则需要测试(2n+1)个系列,部分回路输入变量数高达235次,对于人工测试根本不可能完成,而本发明可以基于该核电站非安全级DCS逻辑回路的验证系统自动测试验证。
另外,本发明可以大大提高测试可靠性和效率,并可多轮次重复测试,实现了将调试前移的目标,对新建核电机组和在役核电机组DCS改造的逻辑回路测试具有极大的适用性。
参考图2,为本发明提供的核电站非安全级DCS逻辑回路的验证方法一可选实施例的流程示意图。
该核电站非安全级DCS逻辑回路的验证方法可以通过本发明实施例公开的核电站非安全级DCS逻辑回路的验证系统实现。
如图2所示,该核电站非安全级DCS逻辑回路的验证方法包括以下步骤:
步骤S201、控制终端10接收用户输入的测试指令,并根据测试指令按逻辑事件系列匹配对应的仿真输入接口模型并依次赋值。
步骤S202、仿真服务器20根据控制终端10的赋值进行仿真运算,并依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值。
步骤S203、DCS控制机柜40根据输入信号值对每一个非安全级DCS逻辑回路的逻辑事件系列进行运算,并输出逻辑回路运算结果。
步骤S204、仿真服务器20将逻辑回路运算结果返回给控制终端10。
步骤S205、控制终端10根据逻辑回路运算结果输出验证结果。
进一步地,一些实施例中,该核电站非安全级DCS逻辑回路的验证方法还包括:仿真服务器20通过通讯单元30向DCS控制机柜40依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值。
进一步地,一些实施例中,该核电站非安全级DCS逻辑回路的验证方法还包括:控制终端10根据待测试验证的非安全级DCS逻辑回路设计图纸进行解析编制生成标准逻辑真值表;控制终端10对标准逻辑真值表进行编译,生成执行脚本文件;控制终端10存储执行脚本文件。
一些实施例中,控制终端10根据逻辑回路运算结果输出验证结果包括:控制终端10将逻辑回路运算结果与标准逻辑真值表进行比对,并输出比对结果;根据比对结果生成测试验证报告和验证信息;测试验证报告和验证信息为验证结果。
进一步地,一些实施例中,该核电站非安全级DCS逻辑回路的验证方法还包括:控制终端10对测试验证报告和验证信息进行显示。
进一步地,一些实施例中,该核电站非安全级DCS逻辑回路的验证方法还包括:控制终端10判断逻辑回路运算结果与标准逻辑真值表中对应的系列标准值是否相同;若相同,则输出第一提示信号;若不相同,则输出第二提示信号。
本说明书中各个实施例采用递进的方式描述,每个实施例重点说明的都是与其他实施例的不同之处,各个实施例之间相同相似部分互相参见即可。对于实施例公开的装置而言,由于其与实施例公开的方法相对应,所以描述的比较简单,相关之处参见方法部分说明即可。
专业人员还可以进一步意识到,结合本文中所公开的实施例描述的各示例的单元及算法步骤,能够以电子硬件、计算机软件或者二者的结合来实现,为了清楚地说明硬件和软件的可互换性,在上述说明中已经按照功能一般性地描述了各示例的组成及步骤。这些功能究竟以硬件还是软件方式来执行,取决于技术方案的特定应用和设计约束条件。专业技术人员可以对每个特定的应用来使用不同方法来实现所描述的功能,但是这种实现不应认为超出本发明的范围。
结合本文中所公开的实施例描述的方法或算法的步骤可以直接用硬件、处理器执行的软件模块,或者二者的结合来实施。软件模块可以置于随机存储器(RAM)、内存、只读存储器(ROM)、电可编程ROM、电可擦除可编程ROM、寄存器、硬盘、可移动磁盘、CD-ROM、或技术领域内所公知的任意其它形式的存储介质中。
以上实施例只为说明本发明的技术构思及特点,其目的在于让熟悉此项技术的人士能够了解本发明的内容并据此实施,并不能限制本发明的保护范围。凡跟本发明权利要求范围所做的均等变化与修饰,均应属于本发明权利要求的涵盖范围。
Claims (16)
1.一种核电站非安全级DCS逻辑回路的验证系统,其特征在于,包括:控制终端、仿真服务器、通讯单元以及DCS控制机柜;
所述控制终端用于根据测试指令按逻辑事件系列匹配对应的仿真输入接口模型并依次赋值,以及根据所述仿真服务器返回的逻辑回路运算结果输出验证结果;
所述仿真服务器与所述控制终端连接,用于根据所述控制终端的赋值进行仿真运算并通过所述通讯单元依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值给所述DCS控制机柜;
所述DCS控制机柜根据所述输入信号值进行非安全级DCS逻辑回路运算,并将逻辑回路运算结果通过所述通讯单元返回给所述仿真服务器。
2.根据权利要求1所述的核电站非安全级DCS逻辑回路的验证系统,其特征在于,所述控制终端包括:解析模块;
所述解析模块用于读取和解析执行脚本文件中的每一个非安全级DCS逻辑回路的逻辑事件系列,按逻辑事件系列匹配对应的仿真输入接口模型并依次赋值。
3.根据权利要求2所述的核电站非安全级DCS逻辑回路的验证系统,其特征在于,所述控制终端还包括:存储模块;
所述存储模块用于存储所述执行脚本文件;所述执行脚本文件包括:非安全级DCS逻辑回路的标准逻辑真值表。
4.根据权利要求3所述的核电站非安全级DCS逻辑回路的验证系统,其特征在于,所述控制终端还包括:比对模块;
所述比对模块用于将所述逻辑回路运算结果与所述标准逻辑真值表进行比对,并输出比对结果。
5.根据权利要求4所述的核电站非安全级DCS逻辑回路的验证系统,其特征在于,所述控制终端还包括:报告生成模块;
所述报告生成模块与所述比对模块连接,用于根据所述比对结果生成测试验证报告和验证信息;所述测试验证报告和验证信息为所述验证结果。
6.根据权利要求5所述的核电站非安全级DCS逻辑回路的验证系统,其特征在于,所述控制终端还包括:显示模块;
所述显示模块与所述报告生成模块连接,用于对所述验证信息和所述测试验证报告进行显示。
7.根据权利要求5所述的核电站非安全级DCS逻辑回路的验证系统,其特征在于,所述控制终端还包括:提示模块;
所述提示模块与所述报告生成模块连接,用于在所述逻辑回路运算结果与所述标准逻辑真值表中对应的系列标准值相同时输出第一提示信号、在所述逻辑回路运算结果与所述标准逻辑真值表中对应的系列标准值不相同时输出第二提示信号。
8.根据权利要求1所述的核电站非安全级DCS逻辑回路的验证系统,其特征在于,所述仿真服务器包括:多个事件系列模块;
每一个事件系列模块包括:多个仿真输入接口模型和一个仿真输出接口模型;
所述多个仿真输入接口模型用于根据所述控制终端的赋值进行仿真运算并通过所述通讯单元依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值给所述DCS控制机柜;
所述仿真输出接口用于接收所述DCS控制机柜通过所述通讯单元返回的逻辑运算结果并发送给所述控制终端。
9.根据权利要求1所述的核电站非安全级DCS逻辑回路的验证系统,其特征在于,所述通讯单元为PCL通讯模块。
10.根据权利要求1所述的核电站非安全级DCS逻辑回路的验证系统,其特征在于,所述DCS控制机柜包括:逻辑回路运算模块;
所述逻辑回路运算模块用于根据所述输入信号值进行对每一个非安全级DCS逻辑回路进行运算,并将逻辑回路运算结果通过所述通讯单元返回给所述仿真服务器。
11.一种核电站非安全级DCS逻辑回路的验证方法,其特征在于,包括以下步骤:
控制终端接收用户输入的测试指令,并根据所述测试指令按逻辑事件系列匹配对应的仿真输入接口模型并依次赋值;
仿真服务器根据所述控制终端的赋值进行仿真运算,并依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值;
DCS控制机柜根据所述输入信号值对每一个非安全级DCS逻辑回路的逻辑事件系列进行运算,并输出逻辑回路运算结果;
所述仿真服务器将所述逻辑回路运算结果返回给所述控制终端;
所述控制终端根据所述逻辑回路运算结果输出验证结果。
12.根据权利要求11所述的核电站非安全级DCS逻辑回路的验证方法,其特征在于,所述方法还包括:
所述仿真服务器通过通讯单元向所述DCS控制机柜依次发送每一个非安全级DCS逻辑回路每一个逻辑事件系列的输入信号值。
13.根据权利要求11所述的核电站非安全级DCS逻辑回路的验证方法,其特征在于,所述方法还包括:
所述控制终端根据待测试验证的非安全级DCS逻辑回路设计图纸进行解析编制生成标准逻辑真值表;
所述控制终端对所述标准逻辑真值表进行编译,生成执行脚本文件;
所述控制终端存储所述执行脚本文件。
14.根据权利要求13所述的核电站非安全级DCS逻辑回路的验证方法,其特征在于,所述控制终端根据所述逻辑回路运算结果输出验证结果包括:
所述控制终端将所述逻辑回路运算结果与所述标准逻辑真值表进行比对,并输出比对结果;
根据所述比对结果生成测试验证报告和验证信息;所述测试验证报告和验证信息为所述验证结果。
15.根据权利要求13所述的核电站非安全级DCS逻辑回路的验证方法,其特征在于,所述方法还包括:
所述控制终端对所述测试验证报告和所述验证信息进行显示。
16.根据权利要求13所述的核电站非安全级DCS逻辑回路的验证方法,其特征在于,所述方法还包括:
所述控制终端判断所述逻辑回路运算结果与所述标准逻辑真值表中对应的系列标准值是否相同;
若相同,则输出第一提示信号;
若不相同,则输出第二提示信号。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202111602054.1A CN114442570B (zh) | 2021-12-24 | 2021-12-24 | 一种核电站非安全级dcs逻辑回路的验证系统和方法 |
PCT/CN2022/122321 WO2023116110A1 (zh) | 2021-12-24 | 2022-09-28 | 一种核电站非安全级dcs逻辑回路的验证系统和方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202111602054.1A CN114442570B (zh) | 2021-12-24 | 2021-12-24 | 一种核电站非安全级dcs逻辑回路的验证系统和方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN114442570A true CN114442570A (zh) | 2022-05-06 |
CN114442570B CN114442570B (zh) | 2023-12-12 |
Family
ID=81363576
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202111602054.1A Active CN114442570B (zh) | 2021-12-24 | 2021-12-24 | 一种核电站非安全级dcs逻辑回路的验证系统和方法 |
Country Status (2)
Country | Link |
---|---|
CN (1) | CN114442570B (zh) |
WO (1) | WO2023116110A1 (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2023116110A1 (zh) * | 2021-12-24 | 2023-06-29 | 中广核核电运营有限公司 | 一种核电站非安全级dcs逻辑回路的验证系统和方法 |
Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102024504A (zh) * | 2010-10-21 | 2011-04-20 | 中广核工程有限公司 | 一种适于反应堆保护系统的逻辑测试方法及装置 |
CN103869801A (zh) * | 2012-12-13 | 2014-06-18 | 中广核工程有限公司 | 核电站仪控逻辑功能块的测试方法和系统 |
CN104898633A (zh) * | 2015-06-16 | 2015-09-09 | 中广核工程有限公司 | 一种核电厂非安全级dcs组态测试方法及系统 |
CN106774224A (zh) * | 2017-02-21 | 2017-05-31 | 中广核工程有限公司 | 核电站数字化控制系统的测试装置 |
CN107885097A (zh) * | 2017-10-24 | 2018-04-06 | 中广核核电运营有限公司 | 一种核电站模拟仪控系统dcs改造闭环验证系统及方法 |
CN111665818A (zh) * | 2020-05-29 | 2020-09-15 | 中核武汉核电运行技术股份有限公司 | 一种核电厂数字化仪控验证系统及其方法 |
CN111812998A (zh) * | 2020-06-08 | 2020-10-23 | 中核武汉核电运行技术股份有限公司 | 核电厂双机组数字化仪控验证系统及其方法 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR101030589B1 (ko) * | 2009-10-30 | 2011-04-21 | 한국전력공사 | 통합된 dcs를 검증하기 위한 시스템 및 방법 |
CN102412003B (zh) * | 2011-09-20 | 2014-05-21 | 中广核工程有限公司 | 一种核电站dcs调试系统和方法 |
CN104809932B (zh) * | 2015-04-22 | 2017-09-01 | 北京广利核系统工程有限公司 | 一种核电厂数字化安全级控制系统模拟装置 |
CN109765860B (zh) * | 2018-12-17 | 2021-05-18 | 中广核研究院有限公司 | 核反应堆dcs的验证方法、验证装置及验证系统 |
CN111427781B (zh) * | 2020-03-19 | 2023-07-21 | 北京广利核系统工程有限公司 | 一种兼容仿真和实体的逻辑功能测试方法及平台 |
CN114442570B (zh) * | 2021-12-24 | 2023-12-12 | 中广核核电运营有限公司 | 一种核电站非安全级dcs逻辑回路的验证系统和方法 |
-
2021
- 2021-12-24 CN CN202111602054.1A patent/CN114442570B/zh active Active
-
2022
- 2022-09-28 WO PCT/CN2022/122321 patent/WO2023116110A1/zh unknown
Patent Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102024504A (zh) * | 2010-10-21 | 2011-04-20 | 中广核工程有限公司 | 一种适于反应堆保护系统的逻辑测试方法及装置 |
CN103869801A (zh) * | 2012-12-13 | 2014-06-18 | 中广核工程有限公司 | 核电站仪控逻辑功能块的测试方法和系统 |
CN104898633A (zh) * | 2015-06-16 | 2015-09-09 | 中广核工程有限公司 | 一种核电厂非安全级dcs组态测试方法及系统 |
CN106774224A (zh) * | 2017-02-21 | 2017-05-31 | 中广核工程有限公司 | 核电站数字化控制系统的测试装置 |
CN107885097A (zh) * | 2017-10-24 | 2018-04-06 | 中广核核电运营有限公司 | 一种核电站模拟仪控系统dcs改造闭环验证系统及方法 |
CN111665818A (zh) * | 2020-05-29 | 2020-09-15 | 中核武汉核电运行技术股份有限公司 | 一种核电厂数字化仪控验证系统及其方法 |
CN111812998A (zh) * | 2020-06-08 | 2020-10-23 | 中核武汉核电运行技术股份有限公司 | 核电厂双机组数字化仪控验证系统及其方法 |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2023116110A1 (zh) * | 2021-12-24 | 2023-06-29 | 中广核核电运营有限公司 | 一种核电站非安全级dcs逻辑回路的验证系统和方法 |
Also Published As
Publication number | Publication date |
---|---|
CN114442570B (zh) | 2023-12-12 |
WO2023116110A1 (zh) | 2023-06-29 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN106850372B (zh) | 一种控制器can信号的测试方法及系统 | |
CN110716870B (zh) | 服务的自动化测试方法及装置 | |
CN107797928B (zh) | 仪控系统平台逻辑算法块测试装置和方法 | |
CN111176984A (zh) | 一种面向信号的自动测试实现方法 | |
CN114238071A (zh) | 基于数字化仿真技术的dcs软件自动验证系统和方法 | |
CN111258290A (zh) | 整车控制器自动化测试方法及系统 | |
CN114442570B (zh) | 一种核电站非安全级dcs逻辑回路的验证系统和方法 | |
CN109344074B (zh) | 一种跨平台自动化测试方法及系统 | |
CN111680463A (zh) | 一种文件检查方法和装置 | |
CN113572658A (zh) | 车辆控制信号的测试方法、装置、电子设备及存储介质 | |
CN117421217A (zh) | 一种软件功能自动测试方法、系统、终端及介质 | |
CN110554956B (zh) | 一种bdms自动化测试方法 | |
CN114661615B (zh) | 一种fpga软件测试方法和设备 | |
CN111190786A (zh) | 基于uvm的测试构架、测试平台及测试方法 | |
CN115034165A (zh) | 一种芯片仿真验证方法、系统、设备以及存储介质 | |
CN115185258A (zh) | 一种适用于整车控制器的hil仿真测试系统及方法 | |
CN114253248A (zh) | 自动测试验证核电站dcs控制系统的系统及方法 | |
CN111258838B (zh) | 验证组件生成方法、装置、存储介质及验证平台 | |
CN113176995A (zh) | 基于测试场景的接口测试方法、装置、设备及介质 | |
CN113608089A (zh) | 开关电源mos管的soa测试方法、系统、装置及可读存储介质 | |
CN111752823A (zh) | 一种车载电源应用软件的测试方法、装置及设备 | |
CN112433947A (zh) | 一种基于网络数据的混沌工程方法及系统 | |
CN112214403B (zh) | 一种基于保护装置模型文件的自动测试方法、装置及系统 | |
CN116991706B (zh) | 车辆自动化测试方法、装置、设备及存储介质 | |
CN114785712B (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 |