科研之友
微信
新浪微博
Facebook
分享链接
摘要
本发明公开了一种基于中间语言的PLC程序验证方法,包括：中间语言转换、迁移系统构造、性质验证以及验证结果处理。其中,所述中间语言转换包括了对梯形图语言、功能块图语言或顺序功能图语言等图形类PLC语言的中间语言转换,结构化文本语言或指令表语言等文本类PLC语言的中间语言转换,以及PLC程序运行环境配置的中间语言转换,并获得统一的中间语言程序。本发明实现了通过统一的中间语言程序,对因在不同运行环境下而具有一种或多种编程语言的PLC程序及其PLC运行环境配置的多种性质验证工作,在提供了一个完整的PLC程序验证方案的同时,大大提高了对PLC程序的验证效率。
- 单位
