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

发布时间：2018-08-31 18:28

【摘要】：针对可编程逻辑控制器(PLC)程序在进行Nu SMV模型检测时需要手工对程序进行建模,不仅浪费人力且容易出错的问题,提出一种基于状态转移的PLC程序模型自动化构建方法。该方法首先分析结构化文本(ST)语言特性并解析ST程序为抽象语法树;其次,在抽象语法树基础上,根据不同的文法结构进行控制流分析生成控制流图;然后,通过数据流分析得到程序依赖图;最后,根据程序依赖图生成Nu SMV的输入模型。实验结果表明,所提方法实现了ST程序到Nu SMV输入模型的自动化构建,并且构建的Nu SMV输入模型既保留了ST程序的原有特性又符合Nu SMV模型检测工具输入的规范,与传统手工模型构建方法相比,提高了模型生成的效率和准确率。
[Abstract]:In order to solve the problem that the (PLC) program of programmable logic controller needs to model the Nu SMV model manually, which is not only a waste of manpower but also easy to make mistakes, an automatic construction method of PLC program model based on state transition is proposed. The method firstly analyzes the characteristics of structured text (ST) language and parses the ST program as an abstract syntax tree; secondly, on the basis of abstract syntax tree, the control flow is analyzed according to different grammar structures to generate the control flow graph. The program dependency graph is obtained by data flow analysis. Finally, the input model of Nu SMV is generated according to the program dependency graph. The experimental results show that the proposed method realizes the automatic construction of ST program to Nu SMV input model, and the constructed Nu SMV input model not only retains the original characteristics of ST program, but also conforms to the input specification of Nu SMV model checking tool. Compared with the traditional manual modeling method, the efficiency and accuracy of model generation are improved.
【作者单位】： 信息工程大学;数学工程与先进计算国家重点实验室;
【基金】：国家重点研发计划项目(2016YFB0800203) 上海市科研计划项目(14DZ1104800)~~
【分类号】：TP273

【相似文献】

相关期刊论文 前10条

1 何青;骆翔宇;苏开乐;;基于符号化模型检测的对弈必胜策略验证[J];计算机工程与应用;2008年17期

2 龙士工;王扣武;;多智体系统时序认知规范的SPIN模型检测[J];计算机工程与科学;2011年12期

3 周从华;叶萌;王昌达;刘志锋;;多智体系统中约简状态空间的限界模型检测算法[J];软件学报;2012年11期

4 文中华;黄巍;刘任任;姜云飞;;模型检测规划中的状态之间的可达关系研究[J];计算机学报;2012年08期

5 骆翔宇;古天龙;董荣胜;;和与积数迷的符号化模型检测[J];计算机科学;2008年05期

6 文中华;黄巍;刘任任;姜云飞;;模型检测规划中的状态分层方法[J];软件学报;2009年04期

7 吴立军;骆翔宇;;基于固定内存和状态管理的模型检测方法[J];计算机应用研究;2011年06期

8 吴立军,苏开乐;多智体系统时态认知规范的模型检测算法[J];软件学报;2004年07期

9 宁正元;胡山立;赖贤伟;;交互时态信念逻辑及其模型检测[J];南京大学学报(自然科学版);2008年02期

10 朱新峰;李斌;吴俊;;模型检测中的偏序简化[J];扬州职业大学学报;2009年04期

相关博士学位论文 前3条

1 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年

2 尹良泽;基于SAT的组合迁移系统模型检测技术研究[D];清华大学;2014年

3 吴骏;多Agent联盟规范系统研究[D];南京大学;2011年

相关硕士学位论文 前10条

1 杨树峰;基于统计模型检测的无线传感器网络协议建模与分析[D];郑州大学;2015年

2 邓楠轶;基于广义可能性测度的模型检测器GPoCheck的设计与实现[D];陕西师范大学;2015年

3 王进宗;不确定规划中带权值的观察信息约简[D];湘潭大学;2015年

4 程贝;基于抽象和学习的统计模型检测研究[D];华东师范大学;2016年

5 柯进;基于模型检测的硬件验证在金融领域的研究与应用[D];湖北工业大学;2017年

6 杨志刚;基于μ演算的认知难题符号化模型检测[D];华侨大学;2017年

7 吴小娟;并行完备模型检测技术的研究[D];电子科技大学;2013年

8 金怡爱;基于模型检测方法的规划[D];吉林大学;2005年

9 高静;面向环境演算系统的模型检测算法的研究[D];南京航空航天大学;2009年

10 廉智超;模型检测在模型诊断领域中的应用[D];吉林大学;2007年

，

本文编号：2215797