Publish in OALib Journal
ISSN: 2333-9721
APC: Only $99

Paper Submission

Views	Downloads

Relative Articles
嵌入式系统同步进程的竞态条件分析与推理学习方法
武汉阳逻长江大桥施工猫道抗风稳定性分析
介绍《名医别录》辑校本
阳逻长江大桥大体积混凝土温升有限元分析
长江中游阳逻砾石层沉积环境分析
“补辑新修本草”
武汉阳逻王母山断层及地震楔构造研究
金属学报第31卷A辑1995年分类索引
金属学报第30卷A辑1994年分类索引
The Project of Rebuilding the Coal Conveying Control System in Yangluo Power Plant 阳逻电厂输煤程控系统的改造
More...

华侨大学学报(自然科学版) 2015

一种可编程逻辑控制程序的竞态检测方法

DOI: 10.11830/ISSN.1000-5013.2015.02.0175, PP. 175-178

黄颖坤,罗继亮

Keywords: 竞态,梯形图,关系图,可编程逻辑控制器

Full-Text Cite this paper Add to My Lib

Abstract:

针对可编程逻辑控制器中竞态检测的高计算复杂性,提出一种基于梯形图程序的特征结构用于检测竞态的方法.提出关系图的概念,并给出梯形图到关系图的转化方法.通过关系图的环形结构与可编程逻辑控制器的竞态之间的必然关系,给出梯形图中无竞态的判据.结果表明:该方法可以快速判断梯形图无竞态,并具有多项式级计算复杂度.

References

[1]	吕卫阳.PLC技术综述[J].自动化博览,2008(增刊1):16-19.
[2]	AIKEN A,FAHNDRICH M,SU Zhen-dong.Detecting races in relay ladder logic programs[J].International Journal on Software Tools for Technology Transfer,2000,3(1):93-105.
[3]	吕毅.形式化方法介绍及其在工程中的应用[J].微电子学与计算机,2003(10):26-34.
[4]	张广泉.关于软件形式化方法[J].重庆师范学院学报:自然科学版,2002,19(2):1-4.
[5]	杨年华,虞彗群,孙华.带抑制弧的时延着色Petri网模型检测技术[J].计算机科学,2011,38(1):170-176.
[6]	沈云付,解晓方.基于on-the-fly的Petri网模型检查技术研究与实现[J].计算机应用与软件,2011,28(5):82-85.
[7]	BENDER D F,COMBEMALE B,CRéGUT X,et al.Ladder metamodeling and PLC program validation through time Petri nets[C]//4th European Conference on Model Driven Architecture-Foundations and Applications.Berlin:Springer,2008:121-136.
[8]	NGALAMOU L,MYERS L.Combining software methods for effective deployment of programmable logic controllers[J].International Journal of Computer Science and Network Security,2010,10(12):134-145.
[9]	WIGHTKIN N,BUY U,DARABI H.Formal modeling of sequential function charts with time Petri nets[J].IEEE Transactions on Control Systems Technology,2011,19(2):455-464.
[10]	MOKADEM H B,BERARD B,GOURCUFF V,et al.Verification of a timed multitask system with UPPAAL[J].IEEE Transactions on Automation Science and Engineering,2010,7(4):921-932.
[11]	TSAI J,TENG C C.Constructing an abstract model for ladder diagram using Petri nets[J].Asian Journal of Control,2010,12(3):309-322.
[12]	KRAMER B J,VAOLKER N.A highly dependable computing architecture for safety-critical control application[J].Real-Time Systems,1997,13(3):237-251.
[13]	陈钢,宋晓宇,顾明.COQ定理证明辅助PLC程序验证和分析[J].北京大学学报:自然科学版,2010,46(1):30-34.
[14]	FERRANTE J,OTTENSTEIN K J,WARREN J D.The program dependence graph and its use in optimization[J].ACM Transactions on Programming Languages and Systems,1987,9(3):319-349.
[15]	赵营,严义.基于梯形图复杂依赖关系的分解研究[J].机电工程,2012,29(5):605-608.

Full-Text

comments powered by Disqus

Contact Us

service@oalib.com

QQ:3279437679

微信:OALib Journal