基于状态转换的PLC程序模型构建方法

基于状态转换的PLC程序模型构建方法

102 4.4

22 2021-04-27

pdf | 1.2MB | 7页

正文简介

针对可编程逻辑控制器(PLC)程序在进行Nu SMV模型检测时需要手工对程序进行建模,不仅浪费人力且容易出错的问题,提出一种基于状态转移的PLC程序模型自动化构建方法。该方法首先分析结构化文本(ST)语言特性并解析ST程序为抽象语法树;其次,在抽象语法树基础上,根据不同的文法结构进行控制流分析生成控制流图;然后,通过数据流分析得到程序依赖图;最后,根据程序依赖图生成Nu SMV的输入模型。实验结果表明,所提方法实现了ST程序到Nu SMV输入模型的自动化构建,并且构建的Nu SMV输入模型既保留了ST程序的原有特性又符合Nu SMV模型检测工具输入的规范,与传统手工模型构建方法相比,提高了模型生成的效率和准确率。

*温馨提示：该数据为用户自主上传分享，如有侵权请举报或联系客服：400-823-1298处理。

广西大***

服务： -

数据量： 6

人气： -

擅长：市政园林给排水暖通

您可能感兴趣

原价: 100 积分

开通会员

立即购买

最新上传

热门商品

您可能感兴趣

老客限时专享

优惠券专享

基于状态转换的PLC程序模型构建方法

对不起，您暂无在线预览权限，如需浏览请

最新上传

热门商品

您可能感兴趣

老客限时专享

优惠券专享