| PLC指令表程序的一种语法分析方法及其在代码静态测试上的应用 |
| |
| 作者姓名： | 李学良 赵千川 杨文 Syed Naeem HAIDER |
| |
| 作者单位： | 清华大学自动化系,北京信息科学与技术国家研究中心,智能与网络化系统研究中心,北京100084 |
| |
| 基金项目： | 国家重点研发计划;国家重点研发计划;国家自然科学基金;高等学校学科创新引智计划计划);北京信息科学与技术国家研究中心项目;国家高速列车技术创新中心研发项目 |
| |
| 摘 要： | 可编程逻辑控制器(PLC)是工业控制领域中广泛使用的自动控制装置。由于PLC程序缺乏具有普适性的测试工具,开发人员往往只能采用人工方式排查代码错误,导致测试效率低下。工业用户亟需一种标准化PLC代码检测方法,自动完成PLC程序语法检测与分析。该文以IEC61131-3标准为基础,建立基于Backus-Naur范式(BNF)的指令表语法模型。基于该模型构造抽象语法树,进而设计出一种具有线性复杂度的PLC指令表代码语法检测算法。利用2段控制工程中的PLC指令表代码对所提出的算法与商用软件CODESYS Static Analysis进行对比测试,验证了所提算法的可用性。
|
| 关 键 词： | 可编程逻辑控制器(PLC) 指令表(IL) 静态分析 IEC61131-3 |
| 本文献已被 万方数据 等数据库收录！ |
|
