期刊文献+

TTP/C协议的一致性机制研究 被引量:10

Research on the Consistency Mechanism of TTP/C
下载PDF
导出
摘要 介绍了一种基于时间触发的面向容错分布式嵌入系统的通用构架TTA,以及目前TTA系统的主流协议TTP/C所提供的主要一致性机制,并提出了一种改进的状态确认算法。 This paper introduces a generic time-triggered computer architecture (TTA) for fault-tolerant distributed real-time systems. And the main consistency mechanism of the TTP/C, which is the mainstream protocol of the TTA, is discussed deeply. Furthermore, an improved state confirmation algorithm is put forward.
出处 《计算机工程》 CAS CSCD 北大核心 2006年第5期119-121,共3页 Computer Engineering
关键词 时间触发 TTP/C 分布式 一致性 TTA TTP/C Distributed Consistency
  • 相关文献

参考文献3

  • 1Kopetz H,Holzmann M,et al.A Universal Smart Transducer Interface:TTP/A,Object-oriented Real-time Distributed Computing[M].Newport Beach,Cal.,IEEE Press 57023,2000.
  • 2Kopetz H.Real-time Systems:Design Principles for Distributed Embedded Applications[M].Kluwer Academic Publishers,Norwell,MA,1997.
  • 3Pfeifer H.Formal Verification of the TTP Group Membership Algorithm:In IFIP TC6/WG6.1[C].International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification,Testing and Verification (PSTV XX),FORTE/PSTV 2000,Pisa,Italy,2000-10.

同被引文献51

  • 1周震,杨正林.时间触发CAN——TTCAN[J].汽车电器,2005(5):3-7. 被引量:5
  • 2陕薇薇,樊丁.FADEC系统软件非相似技术容错结构设计[J].计算机测量与控制,2006,14(9):1263-1265. 被引量:2
  • 3王婧,张欣.汽车网络通信协议TTP/C和FlexRay的研究分析[J].北京汽车,2006(6):40-43. 被引量:13
  • 4张天宏,王继业.微型涡轮发动机快速原型控制系统[J].航空动力学报,2007,22(2):274-279. 被引量:12
  • 5Pfeifer H. Formal analysis of fault- tolerant algorithms in the time- triggered architecture [ D ]. Ph. D. Thesis, Universitat Ulm, Germany,2003 : 13 - 102.
  • 6Aliouat Zibouda. Formal Analysis of Fault- tolerant Algorithm in the Time- triggered Architecture [ J ]. Journal of Computer Science ,2007,3 ( 1 ) :28 - 34.
  • 7Aliouat Z. Formal Modeling and analysis of a node Reintegration in the Time-Triggered Architecture [ J ]. Asian J Inform. Technol,2006 : 706 - 711.
  • 8Gunther Bauer. An Investigation of Membership and Clique Avoidance in TTP/C [ J ]. IEEE, 2000 : 118 - 124.
  • 9HERMANN KOPETZ. The Time- Triggered Architecture [ J ]. PROCEEDINGS OF THE IEEE, VOL. 91, NO. 1, JANUARY 2003 : 112 - 126.
  • 10Wilfried Elmenreich. Introduction to TTP/C and TT/A [ J ]. Workshop on Time- Triggered and Real- Time Communication Systems ,2004.

引证文献10

二级引证文献37

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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