清华大学学报(自然科学版)

作者：李学良, 赵千川, 杨文, Syed Naeem HAIDER

单位：清华大学 自动化系, 北京信息科学与技术国家研究中心, 智能与网络化系统研究中心, 北京 100084

关键词：可编程逻辑控制器(PLC),指令表(IL),静态分析,IEC61131-3

基金：国家重点研发计划项目（2017YFC0704100，2016YFB0901900）；国家自然科学基金项目（61425027）；高等学校学科创新引智计划资助项目（BP2018006）；北京信息科学与技术国家研究中心项目（BNR2019TD01009）；国家高速列车技术创新中心研发项目（CX/KJ-2020-0006）

可编程逻辑控制器（PLC）是工业控制领域中广泛使用的自动控制装置。由于PLC程序缺乏具有普适性的测试工具，开发人员往往只能采用人工方式排查代码错误，导致测试效率低下。工业用户亟需一种标准化PLC代码检测方法，自动完成PLC程序语法检测与分析。该文以IEC61131-3标准为基础，建立基于Backus-Naur范式（BNF）的指令表语法模型。基于该模型构造抽象语法树，进而设计出一种具有线性复杂度的PLC指令表代码语法检测算法。利用2段控制工程中的PLC指令表代码对所提出的算法与商用软件CODESYS Static Analysis进行对比测试，验证了所提算法的可用性。

来源：2021年第10期

《清华大学学报(自然科学版)》期刊编辑部

查看清华大学学报(自然科学版)杂志2021年第10期