期刊文献+

TTP/C协议的关键特性研究 被引量:17

An Investigation on the Key Characteristics of TTP/C
在线阅读 下载PDF
导出
摘要 数据总线是构建分布式实时容错系统的关键技术之一,而基于TTA架构定义的TTP/C协议是面向安全关键领域的最新总线规范;首先介绍了TTP/C协议的基本架构和运行机制,然后深入研究了基于Welch-Lynch算法的分布式容错同步时钟、基于GMP的容错一致性策略和上电启动过程等TTP/C协议的关键特性;研究结果表明TTP/C协议具有严格的时间确定性和完备的容错策略,十分适合作为航空、汽车、铁路等安全关键领域的通用底层解决方案。 While the data bus is one of the key technologies to build distributed real--time fault--tolerant systems, TTP/C protocol is the latest bus specification for safety-- critical areas based on TTA architecture. Firstly, the basic structure and operation mechanism of TTP/C were introduced, then the key characteristics of TTP/C such as distributed fault tolerant synchronous clock based on the Welch-- Lynch algorithm, fault tolerant consistency strategy based on the GMP and start--up were investigated. The results show that TTP/C is very suitable for a generic underlying solutions of the aviation, automotive, railway and other safety--critical areas with its strict time determinability and complete fault tolerant strategy.
出处 《计算机测量与控制》 CSCD 北大核心 2012年第10期2769-2772,共4页 Computer Measurement &Control
基金 江苏省研究生培养创新工程(CX09B_086Z) 2011年江苏省优势学科建设项目资助
关键词 TTP/C协议 容错策略 时钟同步 一致性 启动过程 time--triggered protocol/class C fault--tolerance strategy clock synchronization consistency startup process
  • 相关文献

参考文献11

  • 1John Rushby. A comparison of bus architectures for safety-critical embedded systems [R]. NASA/CR- 2003 - 212161, 2003.
  • 2Gwaltney D A, Briscoe JM. Comparison of communication archi- tectures for spacecraft modular avionics systems[R]. NASA/TM -2006-214431, 2006.
  • 3Cary R. Spitzer. Digital Avionics Handbook: Avionics Elements, Software and Functions ( Vol. 1 ) [M]. USA: CRC Press, 2007.
  • 4张兴隆,苏罗辉,杨敏.基于FPGA的时间触发协议控制器实现[J].系统仿真学报,2010,22(A01):114-118. 被引量:8
  • 5刘双与,郭丽娟,张激,张晓先.TTP/C协议的一致性机制研究[J].计算机工程,2006,32(5):119-121. 被引量:11
  • 6魏婷,张喜民,陈益.一种基于TTP/C协议的容错策略研究[J].航空计算技术,2008,38(3):90-93. 被引量:5
  • 7Bauer G, Opetz H, Puschner P. Assumption coverage under differ- ent failure modes in the time-triggered architecture [A] //In Pro ceedings 8th IEEE International Conference on Emerging Technolo- gies and Factory Automation[C]. Italy, IEEE, 2001:333 - 341.
  • 8Bauer G, Kopetz H, Steiner W. The central guardian approach to enforce fault isolation in the time-triggered architecture [A]// Proceedings of the 63th IEEE International Symposium on Autono- mous Decentralized Systems[C]. Italy, IEEE, 2003:37 - 44.
  • 9Time-Triggered Protocol TTP/C High-Level Document Protocol Version 1. 1[S]. Specification edition 1. 4. 3 of 19-Nov 2003 Document number D - 032 - S - 10 - 028.
  • 10H Kopetz, W Ochsenreiter. Clock Synchronization in Distributed Real.- Time Systems[J]. IEEE Transactona on Computers (ISSN0018-9340), 1987, 36 (8), 933-940.

二级参考文献17

  • 1刘双与,郭丽娟,张激,张晓先.TTP/C协议的一致性机制研究[J].计算机工程,2006,32(5):119-121. 被引量:11
  • 2Time-Triggered Protocol TTP/C High-Level Specification Document Protocol Version 1.1 [S]. Specification edition 1.4.3 of 19-Nov-2003Document number D-032-S- 10-028.
  • 3Mirko Jakovljevic, TTTech Computerchnik A G Time-Triggered Protocol [M]. Avonics: elements, software,and functions / Cary R Spitzer. Taylor & Francis Group, LLC, 2007.
  • 4D A Gwaltney, J M Briscoe. Comparison of Communication Architectures for Spacecraft Modular Avionics Systems [C]//Marshall Space Flight Center, Marshall Space Flight Center, Alabama. NASA/ TM- 2006-214431.
  • 5H Kopetz, W Ochsenreiter. Clock Synchronization in Distributed Real-Time Systems [J]. IEEE Transactions on Computers (ISSN0018- 9340), 1987, 36(8): 933-940.
  • 6Hermann Kopetz, Astrit Ademaj, Alexander Hanzlik. Clock-State and Clock-Rate Correction in Fault-Tolerant Distributed Systems [D]. Vienna University of Technology, Real-Time Systems Group, Vienna, Austria, April 2003.
  • 7A Ademaj. Assessment of Error Detection Mechanisms of the Time-Triggered Architecture Using Fault Injection [D]. PhD Thesis, Vienna University of Technology, Real-Time Systems Group, Vienna, Austria, April 2003.
  • 8Kopetz 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.
  • 9Kopetz H.Real-time Systems:Design Principles for Distributed Embedded Applications[M].Kluwer Academic Publishers,Norwell,MA,1997.
  • 10Pfeifer 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.

共引文献15

同被引文献71

引证文献17

二级引证文献75

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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