CN114415622B - 一种控制系统用户程序逻辑在线验证方法及系统 - Google Patents
一种控制系统用户程序逻辑在线验证方法及系统 Download PDFInfo
- Publication number
- CN114415622B CN114415622B CN202111522159.6A CN202111522159A CN114415622B CN 114415622 B CN114415622 B CN 114415622B CN 202111522159 A CN202111522159 A CN 202111522159A CN 114415622 B CN114415622 B CN 114415622B
- Authority
- CN
- China
- Prior art keywords
- program logic
- logic
- preset
- control system
- program
- 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.)
- Active
Links
- 238000000034 method Methods 0.000 title claims abstract description 39
- 238000012795 verification Methods 0.000 title claims abstract description 11
- 230000007246 mechanism Effects 0.000 claims abstract description 13
- 230000004048 modification Effects 0.000 claims description 8
- 238000012986 modification Methods 0.000 claims description 8
- 238000010586 diagram Methods 0.000 description 8
- 238000004519 manufacturing process Methods 0.000 description 8
- 238000004088 simulation Methods 0.000 description 8
- 238000004590 computer program Methods 0.000 description 4
- 230000009286 beneficial effect Effects 0.000 description 2
- 241000282414 Homo sapiens Species 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 239000000126 substance Substances 0.000 description 1
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
- G05B23/00—Testing or monitoring of control systems or parts thereof
- G05B23/02—Electric testing or monitoring
- G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
- G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
- G05B23/0221—Preprocessing measurements, e.g. data collection rate adjustment; Standardization of measurements; Time series or signal analysis, e.g. frequency analysis or wavelets; Trustworthiness of measurements; Indexes therefor; Measurements using easily measured parameters to estimate parameters difficult to measure; Virtual sensor creation; De-noising; Sensor fusion; Unconventional preprocessing inherently present in specific fault detection methods like PCA-based methods
-
- 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
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Programmable Controllers (AREA)
Abstract
本发明涉及一种控制系统用户程序逻辑在线验证方法及系统，方法包括控制系统采集与控制系统连接的多个现场仪表的信号，根据程序逻辑针对现场仪表的信号进行逻辑运算，获取运算结果并将该运算结果传输至相应的执行机构；预先设定的第一程序逻辑包括运算逻辑内容和第一标识；包括：获取用户输入的虚拟的信号值；调取与预先设定的第一程序逻辑相应的预先设定的第二程序逻辑；基于用户输入的与现场仪表对应的虚拟的信号值和所述第二程序逻辑，获取用户输入的与现场仪表对应的虚拟的信号值的相应的第二运算结果；根据所述第二运算结果，确定所述预先设定的第一程序逻辑和第二程序逻辑的运行状态。
Description
技术领域
本发明涉及技术领域，尤其涉及一种控制系统用户程序逻辑在线验证方法及系统。
背景技术
现代化化工工厂工艺复杂，用户程序逻辑多，其中联锁保护程序可以保护整个工艺的安全运行。用户联锁逻辑程序复杂，加上程序逻辑长期执行常用条件执行路径，经过系统长期运行，存在存储器失效，芯片失效，功能器件失效，cpu缓存失效的风险，最终导致在部分用户程序逻辑在存储器失效，芯片失效，功能器件失效，cpu缓存失效后，无法正常执行或者执行非预期结果，给生产控制造成重大风险。正常情况下通过每隔2～3年的全厂检修，对控制系统健康度全面检查，可以发现出这类系统硬件、软件、系统配置、逻辑的潜在隐患。但2～3年的控制系统健康检查时间跨度长，风险问题发现晚，给生产安全控制留下隐患。所以需要一种在线模式下校验用户执行逻辑是否正确运行的方法。
但是，现有的常用的控制系统逻辑调试方法有2种，第1种是控制系统仿真调试模式：随着现代控制系统的进步，大部分控制系统厂商都提供仿真模式运行控制逻辑的方法，校验逻辑和数据的正确性。但仿真模式逻辑调试存在几大弊端：仿真模式下运行逻辑和实际控制器存在一定差异。仿真模式下控制器内核、cpu类型，操作系统系统的逻辑装载方式，运行调度模式、内存管理机制、异常处理都和实际控制器存在差异。仿真模式下逻辑下装是一次全新的逻辑算法加载，无法模拟出因器件故障、芯片故障造成逻辑失效。
第2种是控制系统在线调试模式：控制系统在线调试模式也是常用的的一种逻辑和数据调试方式，可以极大节省用户的时间。但它同时也存在的问题是：在线调试模式占用控制系统宝贵资源，无法多幅控制逻辑同时进行。处于已投运上线的控制逻辑再进行调试，有可能对现场生产工艺造成实时误输出的影响，影响现场生产及人身安全。
发明内容
(一)要解决的技术问题
鉴于现有技术的上述缺点、不足，本发明提供一种控制系统用户程序逻辑在线验证方法及系统，其解决了现有技术中控制系统在线调试模式中存在的在线调试模式占用控制系统宝贵资源，无法多幅控制逻辑同时进行，以及处于已投运上线的控制逻辑再进行调试，有可能对现场生产工艺造成实时误输出的影响，影响现场生产及人身安全的技术问题。
(二)技术方案
为了达到上述目的，本发明采用的主要技术方案包括：
第一方面，本发明实施例提供一种控制系统用户程序逻辑在线验证方法，所述控制系统采集与所述控制系统连接的多个现场仪表的信号，并根据预先设定的第一程序逻辑针对所述现场仪表的信号进行逻辑运算，获取相应的运算结果并将该运算结果传输至与现场仪表对应的执行机构；所述预先设定的第一程序逻辑包括运算逻辑内容和第一标识；包括：
S1、获取用户输入的与现场仪表对应的虚拟的信号值；
S2、调取与所述预先设定的第一程序逻辑相应的预先设定的第二程序逻辑；
S3、基于所述用户输入的与现场仪表对应的虚拟的信号值和所述第二程序逻辑，获取用户输入的与现场仪表对应的虚拟的信号值的相应的第二运算结果；
S4、根据所述第二运算结果，确定所述预先设定的第一程序逻辑和第二程序逻辑的运行状态。
优选的，所述S4包括：
S41、判断所述第二运算结果，是否等于预先设定第一标准值；
S42、若所述第二运算结果等于预先设定第一标准值，则确定所述预先设定的第一程序逻辑和第二程序逻辑正确运行；
若所述第二运算结果不等于预先设定第一标准值，则确定所述预先设定的第一程序逻辑和第二程序逻辑非正确运行。
优选的，所述控制系统采集与所述控制系统连接的多个现场仪表的信号，并根据预先设定的第一程序逻辑针对所述现场仪表的信号进行逻辑运算，获取相应的运算结果并将该运算结果传输至与现场仪表对应的执行机构，具体包括：
所述控制系统采集与所述控制系统连接的多个现场仪表的信号，并将多个所述现场仪表的信号作为该控制系统的内部变量；
根据预先设定的第一程序逻辑中的运算逻辑内容，针对该控制系统的内部变量进行逻辑运算，获取相应的第一运算结果；
将所述第一运算结果传输至与现场仪表对应的执行机构。
优选的，
所述预先设定的第二程序逻辑包括运算逻辑内容和第二标识；
所述预先设定的第二程序逻辑的运算逻辑内容与所述预先设定的第一程序逻辑的运算逻辑内容相同；
所述第一标识与所述第二标识一一对应。
优选的，所述S2具体包括：
S21、所述控制系统识别当前进行逻辑运算的预先设定的第一程序逻辑的第一标识；
S22、调取与该第一标识所对应的第二标识的所属的预先设定的第二程序逻辑。
优选的，所述S3具体包括：
S31、将所述用户输入的与现场仪表对应的虚拟的信号值作为该控制系统的内部变量；
S32、根据预先设定的第二程序逻辑中的运算逻辑内容，针对该控制系统的内部变量进行逻辑运算，获取相应的第二运算结果。
优选的，所述方法在所述S2之后还包括：
Q3、获取用户针对所述第二程序逻辑的运算逻辑内容进行修改的新的运算逻辑内容，获取第三程序逻辑；
所述第三程序逻辑包括：新的运算逻辑内容和该第二程序逻辑中的第二标识；
Q4、将所述用户输入的与现场仪表对应的虚拟的信号值作为该控制系统的内部变量；
Q5、根据所述第三程序逻辑中新的运算逻辑内容，针对该控制系统的内部变量进行逻辑运算，获取相应的第三运算结果；
Q6、根据所述第三运算结果，确定所述预先设定的第一程序逻辑的运行状态。
优选的，所述Q6包括：
Q61、判断所述第三运算结果，是否等于第二预先设定值；
Q62、若所述第三运算结果等于预先设定第二标准值，则确定所述预先设定的第一程序逻辑和第三程序逻辑正确运行；
若所述第三运算结果不等于预先设定第二标准值，则确定所述预先设定的第一程序逻辑和第三程序逻辑非正确运行。
另一方面，本实施例还提供一种控制系统用户程序逻辑在线验证系统，包括：
信号输入模块，用于获取用户输入的与现场仪表对应的虚拟的信号值；
程序调取单元，用于调取与所述预先设定的第一程序逻辑相应的预先设定的第二程序逻辑；
逻辑运算模块，用于基于所述用户输入的与现场仪表对应的虚拟的信号值和所述第二程序逻辑，获取用户输入的与现场仪表对应的虚拟的信号值的相应的第二运算结果；
判断模块，用于根据所述第二运算结果，确定所述预先设定的第一程序逻辑和第二程序逻辑的运行状态。
优选的，所述系统还包括：
内容修改模块，用于获取用户针对所述第二程序逻辑的运算逻辑内容进行修改的新的运算逻辑内容，获取第三程序逻辑；
所述第三程序逻辑包括：新的运算逻辑内容和该第二程序逻辑中的第二标识；
逻辑运算模块，还用于将所述用户输入的与现场仪表对应的虚拟的信号值作为该控制系统的内部变量，根据所述第三程序逻辑中新的运算逻辑内容，针对该控制系统的内部变量进行逻辑运算，获取相应的第三运算结果；
判断模块，还用于根据所述第三运算结果，确定所述预先设定的第一程序逻辑的运行状态。
(三)有益效果
本发明的有益效果是：本发明的一种控制系统用户程序逻辑在线验证方法及系统，由于获取用户输入的与现场仪表对应的虚拟的信号值，调取与所述预先设定的第一程序逻辑相应的预先设定的第二程序逻辑；然后基于所述用户输入的与现场仪表对应的虚拟的信号值和所述第二程序逻辑，获取用户输入的与现场仪表对应的虚拟的信号值的相应的第二运算结果，最后通过判断所述第二运算结果，是否等于预先设定第一标准值，来确定所述预先设定的第一程序逻辑是否正确运行。相对于现有技术而言，其可以在调用第二程序逻辑的同时以及第二程序逻辑的运算过程中，不会对与所述控制系统连接的多个执行机构造成扰动，提高了控制系统现场生产和人身安全性。
附图说明
图1为本发明的一种控制系统用户程序逻辑在线验证方法流程图；
图2为本发明实施例中的一种控制系统用户程序逻辑在线验证方法流程图；
图3为本发明实施例中生成第一程序逻辑和第二程序逻辑示意图；
图4为本发明实施例中第一程序逻辑执行示意图；
图5为本发明实施例中第二程序逻辑执行示意图；
图6为本发明实施例中控制系统与现场仪表连接示意图；
图7为本发明的一种控制系统用户程序逻辑在线验证系统示意图。
具体实施方式
为了更好的解释本发明，以便于理解，下面结合附图，通过具体实施方式，对本发明作详细描述。
为了更好的理解上述技术方案，下面将参照附图更详细地描述本发明的示例性实施例。虽然附图中显示了本发明的示例性实施例，然而应当理解，可以以各种形式实现本发明而不应被这里阐述的实施例所限制。相反，提供这些实施例是为了能够更清楚、透彻地理解本发明，并且能够将本发明的范围完整的传达给本领域的技术人员。
参见图1，本实施例提供一种控制系统用户程序逻辑在线验证方法，其特征在于，所述控制系统采集与所述控制系统连接的多个现场仪表的信号，并根据预先设定的第一程序逻辑针对所述现场仪表的信号进行逻辑运算，获取相应的运算结果并将该运算结果传输至与现场仪表对应的执行机构(本实施例中的执行机构可以是开关阀等，对此不作具体限定)；所述预先设定的第一程序逻辑包括运算逻辑内容和第一标识；包括：
S1、获取用户输入的与现场仪表对应的虚拟的信号值；
S2、调取与所述预先设定的第一程序逻辑相应的预先设定的第二程序逻辑；
S3、基于所述用户输入的与现场仪表对应的虚拟的信号值和所述第二程序逻辑，获取用户输入的与现场仪表对应的虚拟的信号值的相应的第二运算结果；
S4、根据所述第二运算结果，确定所述预先设定的第一程序逻辑和第二程序逻辑的运行状态。
具体的，参见图6，本实施例中控制系统通过IO输入/输出模块和硬件通道与现场仪表连接，从而采集与所述控制系统连接的多个现场仪表的信号，比如压力值、压强值等。
在具体应用中，参见图2，用户首先在相关软件中去创建程序逻辑，然后向关的软件，根据用户所创建的程序逻辑去生成第一程序逻辑和第二程序逻辑。并将第一程序逻辑和第二程序逻辑装到控制系统中。
举例说明，参见图3，[A]001以及[A]002是组态中的用户所创建的程序逻辑，然后，根据后[A]001以及[A]002创建出[B]001、[B]001’、[B]002、[B]002’的用户程序逻辑，其中[B]001’是[B]001程序逻辑的副本，[B]002’是，[B]002’程序逻辑的副本。
[B]001、[B]002作为第一程序逻辑；[B]001’、[B]002’作为第二程序逻辑。
其中，[B]001’、[B]002’作为第二程序逻辑在下装到控制系统后默认不处于执行状态，只有在收到用户发出输入的与现场仪表对应的虚拟的信号值后，控制系统才执行第二程序逻辑。
在本实施例的实际应用中，所述S4包括：
S41、判断所述第二运算结果，是否等于预先设定第一标准值。
S42、若所述第二运算结果等于预先设定第一标准值，则确定所述预先设定的第一程序逻辑和第二程序逻辑正确运行。
若所述第二运算结果不等于预先设定第一标准值，则确定所述预先设定的第一程序逻辑和第二程序逻辑非正确运行。
具体的，举例说明，假设第二运算结果包括4项数值，如g值、h值、j值、k值，预先设定的第一标准值为g*值、h*值、j*值、k*值，第二运算结果等于预先设定第一标准值，也就是说，g值等于g*值、h值等于h*值、j值等于j*值、k值等于k*值。
第二运算结果不等于预先设定第一标准值，也就是说，第二运算结果中的4项数值(g值、h值、j值、k值)中，至少有一项数值与第一标准值(g*值、h*值、j*值、k*值)相等。
在本实施例的实际应用中，所述控制系统采集与所述控制系统连接的多个现场仪表的信号，并根据预先设定的第一程序逻辑针对所述现场仪表的信号进行逻辑运算，获取相应的运算结果并将该运算结果传输至与现场仪表对应的执行机构，具体包括：
所述控制系统采集与所述控制系统连接的多个现场仪表的信号，并将多个所述现场仪表的信号作为该控制系统的内部变量；
根据预先设定的第一程序逻辑中的运算逻辑内容，针对该控制系统的内部变量进行逻辑运算，获取相应的第一运算结果；
将所述第一运算结果传输至与现场仪表对应的执行机构。
具体的，参见图4，举例说明，将与控制系统连接的现场仪表a1所采集的信号A1传值给控制系统的内部变量1，将与控制系统连接的现场仪表a2所采集的信号A2传值给控制系统的内部变量2，将与控制系统连接的现场仪表b1所采集的信号B1传值给控制系统的内部变量3，将与控制系统连接的现场仪表b2所采集的信号B2传值给控制系统的内部变量4，通过预先设定的第一程序逻辑中的A逻辑运算步骤和/或B逻辑运算步骤和/或C逻辑运算步骤(第一程序逻辑中的具体的逻辑运算步骤是由人为设定的)，得到第一运算结果，并将该第一运算结果保存在控制系统输出内部变量x。由控制系统将输出内部变量x的值传值给输出信号F。
在本实施例的实际应用中，所述预先设定的第二程序逻辑包括运算逻辑内容和第二标识。
所述预先设定的第二程序逻辑的运算逻辑内容与所述预先设定的第一程序逻辑的运算逻辑内容相同。
所述第一标识与所述第二标识一一对应。也就是说，一个第一程序逻辑与一个第二程序逻辑通过第一标识和第二标识实现对应的关系，具有对应关系的第一程序逻辑和第二程序逻辑的逻辑内容是相同的。
在本实施例的实际应用中，所述S2具体包括：
S21、所述控制系统识别当前进行逻辑运算的预先设定的第一程序逻辑的第一标识。
S22、调取与该第一标识所对应的第二标识的所属的预先设定的第二程序逻辑。
在本实施例的实际应用中，所述S3具体包括：
S31、将所述用户输入的与现场仪表对应的虚拟的信号值作为该控制系统的内部变量。
S32、根据预先设定的第二程序逻辑中的运算逻辑内容，针对该控制系统的内部变量进行逻辑运算，获取相应的第二运算结果。
具体的，参见图5，举例说明，将用户输入的与现场仪表a1对应的虚拟的信号值A1*传值给控制系统的内部变量1；将用户输入的与现场仪表a2对应的虚拟的信号值A2*传值给控制系统的内部变量2；将用户输入的与现场仪表b1对应的虚拟的信号值B1*传值给控制系统的内部变量3；将用户输入的与现场仪表b2对应的虚拟的信号值B2*传值给控制系统的内部变量4。
通过预先设定的第二程序逻辑中的A逻辑运算步骤和/或B逻辑运算步骤和/或C逻辑运算步骤(第二程序逻辑中的具体的逻辑运算步骤是由人为设定的)，得到第二运算结果，并将该第二运算结果保存在控制系统输出内部变量x。
本实施例中，第二程序逻辑没有接入实际的输入输出信号。通过在控制系统内建立内部变量，完成内部变量到输入控制系统，然后逻辑运算，最后输出运算的完整过程。
只有第一程序逻辑在控制系统中是执行实际的与所述控制系统连接的多个现场仪表的信号的逻辑运算的。
第二程序逻辑是收到第二执行逻辑验证信号后，控制系统执行第二程序逻辑。用户通过给内部变量不同的人工输入值，可以完整进行第二程序逻辑的运算模拟，但输出值不会传值给现场实际信号。
在本实施例的实际应用中，所述方法在所述S2之后还包括：
Q3、获取用户针对所述第二程序逻辑的运算逻辑内容进行修改的新的运算逻辑内容，获取第三程序逻辑。
所述第三程序逻辑包括：新的运算逻辑内容和该第二程序逻辑中的第二标识。
Q4、将所述用户输入的与现场仪表对应的虚拟的信号值作为该控制系统的内部变量。
Q5、根据所述第三程序逻辑中新的运算逻辑内容，针对该控制系统的内部变量进行逻辑运算，获取相应的第三运算结果。
Q6、根据所述第三运算结果，确定所述预先设定的第一程序逻辑的运行状态。
本实施例中，第二程序逻辑是收到发出输入的与现场仪表对应的虚拟的信号值后，控制系统才执行第二程序逻辑。通过给第二程序逻辑修改第二程序逻辑中的逻辑内容(控制变量)得到第三程序逻辑，可以完整进行第三程序逻辑的运算模拟，但输出值不会传值给现场实际信号。
其中，第三程序逻辑对第二程序逻辑存在证明的关系，也就是说如果第三程序逻辑被验证正确的话，那么，就能够证明第二程序逻辑也能够被证明是正确运行的。如果第三程序逻辑被验证非正确运行的话，那么，就表明第二程序逻辑也是非正确运行的。
在本实施例的实际应用中，所述Q6包括：
Q61、判断所述第三运算结果，是否等于第二预先设定值。
Q62、若所述第三运算结果等于预先设定第二标准值，则确定所述预先设定的第一程序逻辑和第三程序逻辑正确运行。
若所述第三运算结果不等于预先设定第二标准值，则确定所述预先设定的第一程序逻辑和第三程序逻辑非正确运行。
本实施例中将第二程序逻辑与控制系统工作的实际过程中与所述控制系统连接的多个现场仪表的信号脱开，使用用户输入的虚拟的信号值进行的逻辑调试的方法，验证第二程序逻辑和当前在线运行的第一程序逻辑的一致性。从而达到便于验证控制器是否存在存储器失效，芯片失效，功能器件失效，cpu缓存失效的风险的目的。
另一方面，参见图7，本实施例还提供一种控制系统用户程序逻辑在线验证系统，包括：
信号输入模块，用于获取用户输入的与现场仪表对应的虚拟的信号值。
程序调取单元，用于调取与所述预先设定的第一程序逻辑相应的预先设定的第二程序逻辑。
逻辑运算模块，用于基于所述用户输入的与现场仪表对应的虚拟的信号值和所述第二程序逻辑，获取用户输入的与现场仪表对应的虚拟的信号值的相应的第二运算结果。
判断模块，用于根据所述第二运算结果，确定所述预先设定的第一程序逻辑和第二程序逻辑的运行状态。
在本实施例的实际应用中，所述系统还包括：
内容修改模块，用于获取用户针对所述第二程序逻辑的运算逻辑内容进行修改的新的运算逻辑内容，获取第三程序逻辑。
所述第三程序逻辑包括：新的运算逻辑内容和该第二程序逻辑中的第二标识。
逻辑运算模块，还用于将所述用户输入的与现场仪表对应的虚拟的信号值作为该控制系统的内部变量，根据所述第三程序逻辑中新的运算逻辑内容，针对该控制系统的内部变量进行逻辑运算，获取相应的第三运算结果。
判断模块，还用于根据所述第三运算结果，确定所述预先设定的第一程序逻辑的运行状态。
本实施例中的一种控制系统用户程序逻辑在线验证方法及系统，由于获取用户输入的与现场仪表对应的虚拟的信号值，调取与所述预先设定的第一程序逻辑相应的预先设定的第二程序逻辑；然后基于所述用户输入的与现场仪表对应的虚拟的信号值和所述第二程序逻辑，获取用户输入的与现场仪表对应的虚拟的信号值的相应的第二运算结果，最后通过判断所述第二运算结果，是否等于预先设定第一标准值，来确定所述预先设定的第一程序逻辑是否正确运行。相对于现有技术而言，其可以在调用第二程序逻辑的同时以及第二程序逻辑的运算过程中，不会对与所述控制系统连接的多个执行机构造成扰动，提高了控制系统现场生产和人身安全性。
由于本发明上述实施例所描述的系统，为实施本发明上述实施例的方法所采用的系统，故而基于本发明上述实施例所描述的方法，本领域所属技术人员能够了解该系统的具体结构及变形，因而在此不再赘述。凡是本发明上述实施例的方法所采用的系统都属于本发明所欲保护的范围。
本领域内的技术人员应明白，本发明的实施例可提供为方法、系统或计算机程序产品。因此，本发明可采用完全硬件实施例、完全软件实施例，或结合软件和硬件方面的实施例的形式。而且，本发明可采用在一个或多个其中包含有计算机可用程序代码的计算机可用存储介质(包括但不限于磁盘存储器、CD-ROM、光学存储器等)上实施的计算机程序产品的形式。
本发明是参照根据本发明实施例的方法、设备(系统)和计算机程序产品的流程图和/或方框图来描述的。应理解可由计算机程序指令实现流程图和/或方框图中的每一流程和/或方框、以及流程图和/或方框图中的流程和/或方框的结合。
应当注意的是，在权利要求中，不应将位于括号之间的任何附图标记理解成对权利要求的限制。词语“包含”不排除存在未列在权利要求中的部件或步骤。位于部件之前的词语“一”或“一个”不排除存在多个这样的部件。本发明可以借助于包括有若干不同部件的硬件以及借助于适当编程的计算机来实现。在列举了若干装置的权利要求中，这些装置中的若干个可以是通过同一个硬件来具体体现。词语第一、第二、第三等的使用，仅是为了表述方便，而不表示任何顺序。可将这些词语理解为部件名称的一部分。
此外，需要说明的是，在本说明书的描述中，术语“一个实施例”、“一些实施例”、“实施例”、“示例”、“具体示例”或“一些示例”等的描述，是指结合该实施例或示例描述的具体特征、结构、材料或者特点包含于本发明的至少一个实施例或示例中。在本说明书中，对上述术语的示意性表述不必须针对的是相同的实施例或示例。而且，描述的具体特征、结构、材料或者特点可以在任一个或多个实施例或示例中以合适的方式结合。此外，在不相互矛盾的情况下，本领域的技术人员可以将本说明书中描述的不同实施例或示例以及不同实施例或示例的特征进行结合和组合。
尽管已描述了本发明的优选实施例，但本领域的技术人员在得知了基本创造性概念后，则可对这些实施例作出另外的变更和修改。所以，权利要求应该解释为包括优选实施例以及落入本发明范围的所有变更和修改。
显然，本领域的技术人员可以对本发明进行各种修改和变型而不脱离本发明的精神和范围。这样，倘若本发明的这些修改和变型属于本发明权利要求及其等同技术的范围之内，则本发明也应该包含这些修改和变型在内。
Claims (8)
1.一种控制系统用户程序逻辑在线验证方法，其特征在于，所述控制系统采集与所述控制系统连接的多个现场仪表的信号，并根据预先设定的第一程序逻辑针对所述现场仪表的信号进行逻辑运算，获取相应的运算结果并将该运算结果传输至与现场仪表对应的执行机构；所述预先设定的第一程序逻辑包括运算逻辑内容和第一标识；包括：
S1、获取用户输入的与现场仪表对应的虚拟的信号值；
S2、调取与所述预先设定的第一程序逻辑相应的预先设定的第二程序逻辑；
所述预先设定的第二程序逻辑包括运算逻辑内容和第二标识；所述预先设定的第二程序逻辑的运算逻辑内容与所述预先设定的第一程序逻辑的运算逻辑内容相同；所述第一标识与所述第二标识一一对应；其中，所述控制系统预先设置有第一程序逻辑和第二程序逻辑；其中，第二程序逻辑在下装到控制系统后默认不处于执行状态，只有在收到用户发出输入的与现场仪表对应的虚拟信号之后，控制系统才执行第二程序逻辑；
S3、基于所述用户输入的与现场仪表对应的虚拟的信号值和所述第二程序逻辑，获取用户输入的与现场仪表对应的虚拟的信号值的相应的第二运算结果；
S4、根据所述第二运算结果，确定所述预先设定的第一程序逻辑和第二程序逻辑的运行状态；
所述S4包括：
S41、判断所述第二运算结果，是否等于预先设定第一标准值；
S42、若所述第二运算结果等于预先设定第一标准值，则确定所述预先设定的第一程序逻辑和第二程序逻辑正确运行；
若所述第二运算结果不等于预先设定第一标准值，则确定所述预先设定的第一程序逻辑和第二程序逻辑非正确运行。
2.根据权利要求1所述的方法，其特征在于，所述控制系统采集与所述控制系统连接的多个现场仪表的信号，并根据预先设定的第一程序逻辑针对所述现场仪表的信号进行逻辑运算，获取相应的运算结果并将该运算结果传输至与现场仪表对应的执行机构，具体包括：
所述控制系统采集与所述控制系统连接的多个现场仪表的信号，并将多个所述现场仪表的信号作为该控制系统的内部变量；
根据预先设定的第一程序逻辑中的运算逻辑内容，针对该控制系统的内部变量进行逻辑运算，获取相应的第一运算结果；
将所述第一运算结果传输至与现场仪表对应的执行机构。
3.根据权利要求2所述的方法，其特征在于，所述S2具体包括：
S21、所述控制系统识别当前进行逻辑运算的预先设定的第一程序逻辑的第一标识；
S22、调取与该第一标识所对应的第二标识的所属的预先设定的第二程序逻辑。
4.根据权利要求3所述的方法，其特征在于，所述S3具体包括：
S31、将所述用户输入的与现场仪表对应的虚拟的信号值作为该控制系统的内部变量；
S32、根据预先设定的第二程序逻辑中的运算逻辑内容，针对该控制系统的内部变量进行逻辑运算，获取相应的第二运算结果。
5.根据权利要求3所述的方法，其特征在于，所述方法在所述S2之后还包括：
Q3、获取用户针对所述第二程序逻辑的运算逻辑内容进行修改的新的运算逻辑内容，获取第三程序逻辑；
所述第三程序逻辑包括：新的运算逻辑内容和该第二程序逻辑中的第二标识；
所述第三程序逻辑对第二程序逻辑存在证明的关系，若第三程序逻辑被验证正确，则证明第二程序逻辑是正确运行的；若第三程序逻辑被验证非正确运行，则证明第二程序逻辑为非正确运行；
Q4、将所述用户输入的与现场仪表对应的虚拟的信号值作为该控制系统的内部变量；
Q5、根据所述第三程序逻辑中新的运算逻辑内容，针对该控制系统的内部变量进行逻辑运算，获取相应的第三运算结果；
Q6、根据所述第三运算结果，确定所述预先设定的第一程序逻辑的运行状态。
6.根据权利要求5所述的方法，其特征在于，所述Q6包括：
Q61、判断所述第三运算结果，是否等于第二预先设定值；
Q62、若所述第三运算结果等于预先设定第二标准值，则确定所述预先设定的第一程序逻辑和第三程序逻辑正确运行；
若所述第三运算结果不等于预先设定第二标准值，则确定所述预先设定的第一程序逻辑和第三程序逻辑非正确运行。
7.一种控制系统用户程序逻辑在线验证系统，其特征在于，所述控制系统采集与所述控制系统连接的多个现场仪表的信号，并根据预先设定的第一程序逻辑针对所述现场仪表的信号进行逻辑运算，获取相应的运算结果并将该运算结果传输至与现场仪表对应的执行机构；所述预先设定的第一程序逻辑包括运算逻辑内容和第一标识；包括：
信号输入模块，用于获取用户输入的与现场仪表对应的虚拟的信号值；
程序调取单元，用于调取与所述预先设定的第一程序逻辑相应的预先设定的第二程序逻辑；
所述预先设定的第二程序逻辑包括运算逻辑内容和第二标识；
所述预先设定的第二程序逻辑的运算逻辑内容与所述预先设定的第一程序逻辑的运算逻辑内容相同；所述第一标识与所述第二标识一一对应；其中，所述控制系统预先设置有第一程序逻辑和第二程序逻辑；其中，第二程序逻辑在下装到控制系统后默认不处于执行状态，只有在收到用户发出输入的与现场仪表对应的虚拟信号之后，控制系统才执行第二程序逻辑；
逻辑运算模块，用于基于所述用户输入的与现场仪表对应的虚拟的信号值和所述第二程序逻辑，获取用户输入的与现场仪表对应的虚拟的信号值的相应的第二运算结果；
判断模块，用于根据所述第二运算结果，确定所述预先设定的第一程序逻辑和第二程序逻辑的运行状态，具体包括：判断所述第二运算结果，是否等于预先设定第一标准值；若所述第二运算结果等于预先设定第一标准值，则确定所述预先设定的第一程序逻辑和第二程序逻辑正确运行；若所述第二运算结果不等于预先设定第一标准值，则确定所述预先设定的第一程序逻辑和第二程序逻辑非正确运行。
8.根据权利要求7所述的系统，其特征在于，所述系统还包括：
内容修改模块，用于获取用户针对所述第二程序逻辑的运算逻辑内容进行修改的新的运算逻辑内容，获取第三程序逻辑；
所述第三程序逻辑包括：新的运算逻辑内容和该第二程序逻辑中的第二标识；
逻辑运算模块，还用于将所述用户输入的与现场仪表对应的虚拟的信号值作为该控制系统的内部变量，根据所述第三程序逻辑中新的运算逻辑内容，针对该控制系统的内部变量进行逻辑运算，获取相应的第三运算结果；
判断模块，还用于根据所述第三运算结果，确定所述预先设定的第一程序逻辑的运行状态。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202111522159.6A CN114415622B (zh) | 2021-12-13 | 2021-12-13 | 一种控制系统用户程序逻辑在线验证方法及系统 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202111522159.6A CN114415622B (zh) | 2021-12-13 | 2021-12-13 | 一种控制系统用户程序逻辑在线验证方法及系统 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN114415622A CN114415622A (zh) | 2022-04-29 |
| CN114415622B true CN114415622B (zh) | 2023-12-22 |
Family
ID=81264736
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202111522159.6A Active CN114415622B (zh) | 2021-12-13 | 2021-12-13 | 一种控制系统用户程序逻辑在线验证方法及系统 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN114415622B (zh) |
Citations (16)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1620382A (zh) * | 2002-02-22 | 2005-05-25 | 阿尔斯通-费罗维亚里亚公开有限公司 | 为基于火车站的重要计算机设备产生逻辑控制单元的方法和设备 |
| CN102096401A (zh) * | 2010-12-22 | 2011-06-15 | 北京昊图科技有限公司 | 基于现场总线和arm处理器的冗余容错安全仪表系统 |
| CN103336494A (zh) * | 2013-06-05 | 2013-10-02 | 南车资阳机车有限公司 | 基于WinPac控制器的机车控制系统及实现方法 |
| CN103407463A (zh) * | 2013-08-21 | 2013-11-27 | 南京泰通科技有限公司 | 电子化半自动闭塞机及其工作方法 |
| CN103869801A (zh) * | 2012-12-13 | 2014-06-18 | 中广核工程有限公司 | 核电站仪控逻辑功能块的测试方法和系统 |
| CN104536436A (zh) * | 2014-12-19 | 2015-04-22 | 东北大学 | 一种工业生产过程控制逻辑的自动测试系统及方法 |
| CN105388370A (zh) * | 2015-10-16 | 2016-03-09 | 中国电力科学研究院 | 一种变电站间隔层联闭锁逻辑自动闭环测试方法 |
| CN105984468A (zh) * | 2015-03-18 | 2016-10-05 | E-Aam 传动系统公司 | 操作电驱动模块的方法 |
| CN106873443A (zh) * | 2015-11-24 | 2017-06-20 | 皮尔茨公司 | 用于对安全控制器进行编程的方法 |
| CN107507400A (zh) * | 2017-08-31 | 2017-12-22 | 北京龙飞船科技有限公司 | 一种基于融合阵列的周界监测防护系统及方法 |
| JP2018032275A (ja) * | 2016-08-25 | 2018-03-01 | ナレルシステム株式会社 | 変数を含んだ文字列をリテラルとして許容する論理プログラムを処理する方法、コンピュータプログラム及び装置 |
| CN109557900A (zh) * | 2018-11-16 | 2019-04-02 | 北京广利核系统工程有限公司 | 一种验证dcs模拟机逻辑运算功能的测试方法及系统 |
| CN109634175A (zh) * | 2018-12-13 | 2019-04-16 | 爱普（福建）科技有限公司 | 一种控制组态程序动态验证的方法及系统 |
| CN110674049A (zh) * | 2019-09-28 | 2020-01-10 | 中电智能科技有限公司 | 一种面向plc逻辑编程的智能形式化验证方法 |
| CN111610744A (zh) * | 2020-04-23 | 2020-09-01 | 广州明珞汽车装备有限公司 | 基于工艺时序的逻辑控制程序生成方法、系统和存储介质 |
| CN111762691A (zh) * | 2020-07-03 | 2020-10-13 | 徐州重型机械有限公司 | 工程机械的控制方法、控制系统及控制器 |
-
2021
- 2021-12-13 CN CN202111522159.6A patent/CN114415622B/zh active Active
Patent Citations (16)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1620382A (zh) * | 2002-02-22 | 2005-05-25 | 阿尔斯通-费罗维亚里亚公开有限公司 | 为基于火车站的重要计算机设备产生逻辑控制单元的方法和设备 |
| CN102096401A (zh) * | 2010-12-22 | 2011-06-15 | 北京昊图科技有限公司 | 基于现场总线和arm处理器的冗余容错安全仪表系统 |
| CN103869801A (zh) * | 2012-12-13 | 2014-06-18 | 中广核工程有限公司 | 核电站仪控逻辑功能块的测试方法和系统 |
| CN103336494A (zh) * | 2013-06-05 | 2013-10-02 | 南车资阳机车有限公司 | 基于WinPac控制器的机车控制系统及实现方法 |
| CN103407463A (zh) * | 2013-08-21 | 2013-11-27 | 南京泰通科技有限公司 | 电子化半自动闭塞机及其工作方法 |
| CN104536436A (zh) * | 2014-12-19 | 2015-04-22 | 东北大学 | 一种工业生产过程控制逻辑的自动测试系统及方法 |
| CN105984468A (zh) * | 2015-03-18 | 2016-10-05 | E-Aam 传动系统公司 | 操作电驱动模块的方法 |
| CN105388370A (zh) * | 2015-10-16 | 2016-03-09 | 中国电力科学研究院 | 一种变电站间隔层联闭锁逻辑自动闭环测试方法 |
| CN106873443A (zh) * | 2015-11-24 | 2017-06-20 | 皮尔茨公司 | 用于对安全控制器进行编程的方法 |
| JP2018032275A (ja) * | 2016-08-25 | 2018-03-01 | ナレルシステム株式会社 | 変数を含んだ文字列をリテラルとして許容する論理プログラムを処理する方法、コンピュータプログラム及び装置 |
| CN107507400A (zh) * | 2017-08-31 | 2017-12-22 | 北京龙飞船科技有限公司 | 一种基于融合阵列的周界监测防护系统及方法 |
| CN109557900A (zh) * | 2018-11-16 | 2019-04-02 | 北京广利核系统工程有限公司 | 一种验证dcs模拟机逻辑运算功能的测试方法及系统 |
| CN109634175A (zh) * | 2018-12-13 | 2019-04-16 | 爱普（福建）科技有限公司 | 一种控制组态程序动态验证的方法及系统 |
| CN110674049A (zh) * | 2019-09-28 | 2020-01-10 | 中电智能科技有限公司 | 一种面向plc逻辑编程的智能形式化验证方法 |
| CN111610744A (zh) * | 2020-04-23 | 2020-09-01 | 广州明珞汽车装备有限公司 | 基于工艺时序的逻辑控制程序生成方法、系统和存储介质 |
| CN111762691A (zh) * | 2020-07-03 | 2020-10-13 | 徐州重型机械有限公司 | 工程机械的控制方法、控制系统及控制器 |
Also Published As
| Publication number | Publication date |
|---|---|
| CN114415622A (zh) | 2022-04-29 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US20070079288A1 (en) | System and method for capturing filtered execution history of executable program code | |
| CN110580226B (zh) | 操作系统级程序的目标码覆盖率测试方法、系统及介质 | |
| CN103430158B (zh) | 使用执行单一步骤来诊断编码 | |
| Pezze et al. | Generating effective integration test cases from unit ones | |
| CN106980576B (zh) | 一种基于运行时验证技术的嵌入式系统软件调试系统 | |
| CN107710166A (zh) | 利用符号快速错误检测的硅后验证和调试 | |
| AbouTrab et al. | Specification mutation analysis for validating timed testing approaches based on timed automata | |
| CN1936860A (zh) | 一种在指令级随机测试中支持ejtag测试的实现方法 | |
| Coward | A review of software testing | |
| CN110471394B (zh) | 任务测试方法及装置、系统、存储介质和处理器 | |
| CN114415622B (zh) | 一种控制系统用户程序逻辑在线验证方法及系统 | |
| Wang et al. | Software testing for safety critical applications | |
| CN111639028A (zh) | 一种对账规则脚本测试方法、装置、引擎及存储介质 | |
| US20160224456A1 (en) | Method for verifying generated software, and verifying device for carrying out such a method | |
| CN115268853A (zh) | 一种基于约束求解器的自动形式验证方法与装置 | |
| CN112433947A (zh) | 一种基于网络数据的混沌工程方法及系统 | |
| CN107911264A (zh) | 可编程路由交换设备在线调试装置及方法 | |
| Ray et al. | Validating automotive control software using instrumentation-based verification | |
| CN112231062A (zh) | 一种用于可编程工业控制器的安全测试系统及方法 | |
| Ferro et al. | Generation of test programs for the assertion-based verification of TLM models | |
| Li et al. | A requirements inspection method based on scenarios generated by model mutation and the experimental validation | |
| RU2817185C1 (ru) | Способ подтверждения тестов встроенного программного обеспечения электронных устройств | |
| Aoyama et al. | Hybrid testing environment of execution testing and model checking for product line approach | |
| US20240231347A1 (en) | Fault injection test method and apparatus, and fault injection method | |
| CN118363859A (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 | ||
| CB02 | Change of applicant information |
Address after: 310053 No. 309 Liuhe Road, Binjiang District, Hangzhou City, Zhejiang Province Applicant after: Zhongkong Technology Co.,Ltd. Address before: 310053 No. 309 Liuhe Road, Binjiang District, Hangzhou City, Zhejiang Province Applicant before: ZHEJIANG SUPCON TECHNOLOGY Co.,Ltd. |
|
| CB02 | Change of applicant information |