期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于协议的实时构件行为一致性验证 被引量：2

Protocol Based Real-time Component Behavior Consistency Verification
下载PDF
导出
摘要 对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。 The formal specification and consistency verification of complex real-time component systems＇ behavior can efficiently improve the systems＇ reusability,correctness and reliability.This paper analyzed the timed behavior protocol and the other mainstream formal specification methods of real-time behavior used in academia and industry.Based on the analysis we gave the substitution theory and the consistency verification algorithm based on timed behavior protocol,which can support complex real-time component based systems＇ development.
作者 张振领 贾仰理 谢圣献 李舟军
机构地区 聊城大学计算机学院 北京航空航天大学计算机学院
出处 《计算机科学》 CSCD 北大核心 2012年第6期125-128,142,共5页 Computer Science
基金 国家自然科学基金项目(90718017) 山东省自然科学基金项目(ZR2011FL023) 山东省软科学项目(2010RKE16007) 山东省高校智能信息处理与网络安全重点实验室(聊城大学)资助
关键词 实时构件 时间行为协议 形式化描述 一致性验证 Realtime component Timed behavior protocol Formal specification Consistency verification
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献13

  • 1李建中, 高宏, 于博. 信息物理融合系统(CPS)的概念、特点、挑战和研究进展[C]//中国计算机学会.2009中国计算机科学技术发展报告,2010:2-17.
  • 2Plasil F, Visnovsky S. Behavior Protocols for Software Compo- nentsEJ. IEEE Transactions on Software Engineering, 2002,28 (11) : 1056-1076.
  • 3贾仰理,张振领,李舟军.构件行为协议实时性扩展及相容性验证[J].计算机科学,2010,37(10):143-147. 被引量：4
  • 4Reed G M,Roscoe A W. A timed model for communicating se- quential processes(-J]. Lecture Notes in Computer Science Au- tomata Languages and Programming, 1986,22(6) : 314-32.
  • 5He Ji-feng. From CSP to Hybrid Systems[-C3//Roseoe A W, eel. A Classical Mind, Essays in Honour of C. A. R. Hoare, Interna- tional Series in Computer Science Prentice Hall, 1994:171-189.
  • 6Bergstra J A,Middleburg C A. Process algebra for Hybrid Sys- tems[-J. Theor. Comput. Sci. , 2005,335 (2/3) : 215-280.
  • 7Alur R,Dill D L. A theory of timed automata[-J. Theory Com- puter Science, 1994,12(6) 183-235.
  • 8Kaynar D K,Lynch N,Segala R,et al. The Theory of Timed 1/O Automata[R]. Cambridge MA.. MIT Laboratory for Computer Science, November 2004.
  • 9Lynch N, Segala R, Vaandrager F. Hybrid I/O automata[J]. In- formation and Computation,2003,185(1):105-157.
  • 10Thacker R A,Jones K R, Myers C J, et a|. Automatic Abstrac- tion for Verification of Cyber-physieal Systems[C]//Proc of IC- CPS 10. 2010:12-21.

二级参考文献29

  • 1徐丽萍,贾红卫,卢炎生.RTCS:一种具有精确语义的实时构件描述机制[J].计算机科学,2005,32(8):205-208. 被引量：2
  • 2Szyperski C, Gruntz D, Murer S. Component-Software: Beyond Object-oriented Programming(Second Edition)[M]. New York: ACM Press, Addison-Wesley, 2002 : 12-18.
  • 3Alagar V, Mohammad M. A component model for trustworthy reactime reactive systems development[C]//Formal Aspects of Component Software(FACS'07). Sophia-Antipolis, France: ENTCS, Elsevier, Sep. 2007:1-15.
  • 4Moiler A, Akerholm M, Fredriksson J, et al. Evaluation of component technologies with respect to industrial requirements[C]/// Proceedings of the 30th EUROMICRO Conference (EUROMICRO'04). Los Alamitos, CA, USA: IEEE Computer Society, 2004 : 56 63.
  • 5Xie Fei,Browne J C. Verified systems by composition from verified components [J]. ACM SIGSOFT Software Engineering Notes, 2003,28 (5):277-286.
  • 6Jezek P, Kofron J, Plasil F. Model Checking of Component Behavior Specification: A Real Life Experience [J]. Electronic Notes in Theoretical Computer Science, 2006,160 : 197-210.
  • 7Kofron J. Checking Software Component Behavior Using Behavior Protocols and Spin[C]// Proceedings of the 2007 ACM Ssymposium on Applied Computing. New York: ACM Press, 2007 : 1513-1517.
  • 8Plasil F, Visnovsky S. Behavior Protocols for Software Compo nents[J]. IEEE Transactions on Software Engineering, 2002,28 (11):1056-1076.
  • 9Allen R,Garlan D. A Formal Basis for Architectural Connection [J]. ACM Trans. Software Eng. and Methodology, 1997,6 (3): 213-249.
  • 10Alagar V, Mohammad M. A component model for trustworthy real-time reactive systems development[C]//Formal Aspects of Component Software (FACS' 07). Sophia-Antipolis, France: EN TCS, Elsevier, Sept 2007 : 1-15.

共引文献16

同被引文献22

  • 1胡军,于笑丰,张岩,李宣东,郑国梁.基于场景构件式实时软件设计的一致性检验[J].软件学报,2006,17(1):48-58. 被引量：13
  • 2张岩,胡军,于笑丰,张天,李宣东,郑国梁.场景驱动的构件行为抽取[J].软件学报,2007,18(1):50-61. 被引量：16
  • 3Abernethy R,Morin R,Chahin J.COM/Dcom Unleashed[M].IN,USA:Sams Indianapolis,1999.
  • 4Vinoski S.CORBA:integrating diverse applications within distributed heterogeneous environments[J].Communications Magazine,IEEE,1997,35(2):46-55.
  • 5Burke B,Monson Haefel R.Enterprise JavaBeans 3.0[M].CA,USA:O' Reilly Media,Inc,2006.
  • 6Bernholdt D E,Allan B A,Armstrong R,et al.A Component Architecture for High Performance Scientific Computing[J].International Journal of High Performance Computing Applications,2006,20(8):163-202.
  • 7Kohn S R,Kumfert G,Painter J F,et al.Divorcing language dependencies from a scientific software library[C]//Proceedings of the Tenth SIAM Conference on Parallel Processing for Scientific Computing,2001.Philadelphia,PA,USA:SIAM Press,2001:10.
  • 8Mahéo Y,Guidec F,Courtrai L.Middleware support for the deployment of resource aware parallel Java components on heterogeneous distributed platforms[C]//Proceedings of the 30th EUROMICRO Conference,2004.Washington,DC,USA:IEEE Computer Society,2004:144-151.
  • 9Furmento N,Mayer A,McGough S,et al.A Component Framework for HPC Applications[C]//Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing,2001.London,UK:Springer-Verlag,2001:540-548.
  • 10Zhao Lei,Jarvis S A,Spooner Daniel P,et al.Predictive Performance Modelling of Parallel Component Compositions[J].Cluster Computing,2007,10 (2):155-166.

引证文献2

二级引证文献1

计算机科学
2012年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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