期刊文献+

基于Petri网的WIA-PA协议一致性测试工具

下载PDF
导出
摘要 WIA-PA协议一致性测试系统在测试效率和测试覆盖率方面往往难以满足测试需求,而且缺乏测试结果的错误诊断。文章针对提高测试效率、增加测试覆盖度、测试结果错误的需求,设计了基于Petri网的WIA-PA协议一致性测试工具。该工具搭建了基于Petri网的WIA-PA一致性测试系统,可对未通过的测试案例进行错误诊断,且测试效率可提高2倍,同时测试覆盖度也得到了明显提升。
出处 《物联网技术》 2016年第1期39-41,共3页 Internet of things technologies
  • 相关文献

参考文献7

  • 1GB/T26790.工业无线网络WIA规范(第1部分):用于过程自动化的WIA系统结构与通信规范[s].1-2011.
  • 2Lee A. Petri net modeling of fault analysis for probabilistic risk assessment[D].Toronto .. University of Ontario Institute of Technology, 2013.
  • 3Liu S. Formal Modeling and Analysis Techniques for High Level Petri Nets[D].Miami .. Florida International University, 2014.
  • 4方欢,方贤文,李德权.基于Petri网的故障诊断研究理论的综述[J].计算机科学,2014,41(3):17-22. 被引量:11
  • 5Lefebvre D. On-line fault diagnosis with partially observed Petri nets[J]. Automatic Control, IEEE Transactions on, 2013, 59 (7) : 1919-1924.
  • 6Fanti M.P, Mangini A.M, Ukovich W. Fault detection by labeled Petri nets and time constraints[C]//Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on. Saarbrucken, 2011 : 168-173.
  • 7Basile E, Chiacchio P, Tommasi G D, Improving on-line fault diagnosis for discrete event systems using time[C]//2007 IEEE International Conference on Automation Science and Engineering, Scottsdale, 2007: 26-32.

二级参考文献50

  • 1Sampath M,Sengupta R,Lafortune S,et al.Diagnosability of discrete-event systems[J].IEEE Trans.Autom.Control,1995,40(9):1555-1575.
  • 2Sampath M,Sengupta R,Lafortune S,et al.Failure diagnosis using discrete-event models[J].IEEE Trans.Control Syst.Technol.,1996,4(2):105-124.
  • 3Ushio T,Onishi I,Okuda K.Fault detection based on Petri net models with faulty behaviors[C] //Proceedings of 1998 IEEE International Conference on Systems,Man and Cybernetics.1998:113-118.
  • 4Cabasino M P,Giua A,Lafortune S,et al.A new approach for diagnosability analysis of Petri nets using verifier nets[J].IEEE Transactions on Automatic Control,2012,57(12):3104-3117.
  • 5Cabasino M P,Giua A,Lfortune S,et al.Diagnosability anslysis of unbounded Petri nets[C] //Joint 48 IEEE Conference on Decision and Control and 28th Chinese Control Conference.Shanghai,China,Dee.2009:1267-1272.
  • 6Cabasino M P,Giua A,Lfortune S,et al.Diagnosability of bounded Petri nets[C] //Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference.Shanghai,China,Dec.2009:1254-1260.
  • 7Jiroveanu G,Boel R K.The diagnosability of Petri net models using minimal explanations[J].IEEE Transactions on Automatic Control,2010,55(7):1663-1668.
  • 8Ranirez-Trevino A,Ruiz-Beltrán E,Rivera-Rangel I,et al.Diagnosability of discrete event systems.A Petri net based approach[C] //Proceedings of the 2004 IEEE International Conference on Robotics & Automation.New Orleans,LA,2004:541-546.
  • 9Ramirez-Trevino A,Ruiz-Beltran E,Aramburo-Lisarraga J,et al.Structural diagnosability of DES and design of reduced Petri net diagnosers[J].IEEE Transactions on System,Man and Cybemeties,A,2012,42(2):416-429.
  • 10Wen Yuan-lin,Jeng M D.Dingnosability of Petri nets[C] //2004IEEE International Conference on Systems,Man and Cybernetics.2004:4891-4896.

共引文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部