All Title Author
Keywords Abstract


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

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