摘要: Embedded systems for safety-critical applications often integrate multiple "functions" and must generally be fault-tolerant. These requirements lead to a need mechanisms services that provide protection against fault propagation ease the construction of distributed fault-tolerant applications.A number bus architectures have been developed satisfy this need. This paper reviews on these architectures, employed, provided. Four representative (SAFEbusTM, SPIDER,TTA, FlexRay) are briefly described.
springer.com
core.ac.uk
sri.com 
sci-hub.se 参考文章(22)
Josef Berwanger, Christian Ebner, Anton Schedl, Ralf Belschner, Sven Fluhrer, Peter Lohrmann, Emmerich Fuchs, Dietmar Millinger, Michael Sprachmann, Florian Bogenberger, Gary Hay, Andreas Krüger, Mathias Rausch, Wolfgang O. Budde, Peter Fuhrmann, Robert Mores, FlexRay - The Communication System for Advanced Automotive Control Systems SAE transactions. ,vol. 110, pp. 303- 314 ,(2001) , 10.4271/2001-01-0676
Tommaso Bolognesi, Testing Protocol Specification, Diego Latella, Formal methods for distributed system development : FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy Kluwer Academic Publishers. ,(2000)
Dale A. Mackall, Development and flight test experiences with a flight-crucial digital control system ,(1988)
H. Kopetz, G. Grunsteidl, TTP/spl minus/a protocol for fault-tolerant real-time systems IEEE Computer. ,vol. 27, pp. 14- 23 ,(1994) , 10.1109/2.248873
Fred B. Schneider, Understanding Protocols for Byzantine Clock Synchronization Cornell University. ,(1987)
H. Pfeifer, D. Schwier, F.W. von Henke, Formal verification for time-triggered clock synchronization Dependable Computing for Critical Applications 7. pp. 207- 226 ,(1999) , 10.1109/DCFTS.1999.814297
Holger Pfeifer, Formal Verification of the TTP Group Membership Algorithm formal techniques for networked and distributed systems. pp. 3- 18 ,(2000) , 10.1007/978-0-387-35533-7_1
G. Heiner, T. Thurner, Time-triggered architecture for safety-related distributed real-time systems in transportation systems ieee international symposium on fault tolerant computing. pp. 402- 407 ,(1998) , 10.1109/FTCS.1998.689491
Davies, Wakerly, Synchronization and Matching in Redundant Systems IEEE Transactions on Computers. ,vol. 27, pp. 531- 539 ,(1978) , 10.1109/TC.1978.1675144
Jennifer Lundelius Welch, Nancy Lynch, A new fault-tolerant algorithm for clock synchronization Information & Computation. ,vol. 77, pp. 1- 36 ,(1988) , 10.1016/0890-5401(88)90043-0