本发明提供一种可编程逻辑控制器编程语言转换系统,包括：抽象语法树转换模块、梯形图转换模块、功能块图转换模块、顺序功能表图转换模块、结构化文本转换模块、指令表转换模块、ICIL中间结构转换模块。本发明提出的可编程逻辑控制器编程语言转换系统能够实现IEC 61131-3语言的统一转换,在不同厂商的PLC产品上进行开发和移植过程中,不必分别针对每种PLC语言编写相应的移植代码,且有利于后续深入开展基于该中间语言的形式化建模、分析及验证工作。
科研之友
微信
新浪微博
Facebook
分享链接
