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