公开(公告)号：CN114137919A

公开(公告)日：2022-03-04

申请号：CN202111420882.3

申请日：2021-11-26

Applicant: 浙江中控技术股份有限公司

Inventor： 闫西宁 ,  黄彤俊 ,  沈明原 ,  刘先霖 ,  张理成 ,  王鑫

IPC: G05B19/418

Abstract: 本申请涉及一种工业控制系统的控制方法及装置、处理设备和存储介质。所述方法包括：获取所述工业控制系统包括的至少一个条件参数、至少一个动作参数、至少一个执行参数，其中所述执行参数用于表示所述至少一个条件参数和所述至少一个动作参数之间的触发关系；根据所述至少一个条件参数、所述至少一个动作参数和所述至少一个执行参数，确定所述工业控制系统的控制逻辑；根据所述控制逻辑控制所述工业控制系统。利用本申请各个实施例提供的工业控制系统的控制方法，可以将工业控制系统的控制流程利用条件参数、工作参数和执行参数之间的关系表达，简化了控制流程的逻辑表达，提升工业控制系统的控制逻辑的开发效率。

公开(公告)号：CN113849395A

公开(公告)日：2021-12-28

申请号：CN202110914676.1

申请日：2021-08-10

Applicant: 浙江中控技术股份有限公司

Inventor： 徐伟强 ,  陈延 ,  吴欣 ,  刘先霖 ,  黄彤俊 ,  闫西宁

IPC: G06F11/36 ,  G06F8/33 ,  G06F8/41

Abstract: 本申请涉及一种用于数组下标越界检查的组态方法，包括：ST编辑器生成采用结构化文本语言编写的控制程序；ST编译器针对控制程序中的每个数组对象，建立相应的数组内存模型；ST编译器将控制程序编译转换为C语言代码，在编译转换过程中，针对下标中具有非常量表达式的数组元素，增加用于数组下标越界动态检查的代码片段，并将数组元素的C语言代码地址表达式嵌入到代码片段中；代码片段采用三目条件运算符实现；C编译器将包含代码片段的C语言代码编译成对应的二进制文件下载至目标控制器中，以便目标控制器运行时按照三目条件运算符中的条件表达式检查数组下标是否越界。通过本申请方法能够在控制程序运行时动态检测内存是否越界。