Interactive Consistency on a Time-Triggered Real-Time Control Network

Current and emerging safety-critical applications such as the automotive X-by-wire systems require a high degree of reliability. These dependable embedded distributed systems require an ultra-reliable communication system to exchange data between the distributed components. In addition to guaranteeing a high level of reliability, these communication systems should facilitate the development of fault-tolerant applications. This can be achieved by providing additional communication system services such as interactive consistency. Interactive consistency on a communication system can be defined as a means to ensure that all non-faulty nodes on the communication system receive a consistent value for any message communicated. This paper describes the adoption of an explicit interactive consistency algorithm on a time-triggered broadcast communication system, using a shared communication medium. This is supported by the development of a prototype implementation of the interactive consistency algorithm. This prototype system demonstrates that interactive consistency is successfully achieved in the presence of a number of faults

[1]  Mattias Persson,et al.  Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol , 2003, LADC.

[2]  Håkan Sivencrona,et al.  Byzantine Fault Tolerance, from Theory to Reality , 2003, SAFECOMP.

[3]  Mahyar R. Malekpour,et al.  A conceptual design for a Reliable Optical Bus (ROBUS) , 2002, Proceedings. The 21st Digital Avionics Systems Conference.

[4]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[5]  Ieee Xplore,et al.  IEEE Transactions on Industrial Informatics , 2005 .

[6]  J.H. Lala,et al.  A design approach for ultrareliable real-time systems , 1991, Computer.

[7]  Donal Heffernan,et al.  Time-triggered controller area network , 2001 .

[8]  Christopher Temple,et al.  Avoiding the babbling-idiot failure in a time-triggered communication system , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[9]  J. Rushby,et al.  Formal verification of an interactive consistency algorithm for the Draper FTP architecture under a hybrid fault model , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

[10]  Alfons Geser,et al.  Abstractions for Fault-Tolerant Distributed System Verification , 2004, TPHOLs.

[11]  Neeraj Suri,et al.  Formally Verified On-Line Diagnosis , 1997, IEEE Trans. Software Eng..

[12]  Leslie Lamport,et al.  Reaching Agreement in the Presence of Faults , 1980, JACM.

[13]  Michael Paulitsch,et al.  An investigation of membership and clique avoidance in TTP/C , 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.

[14]  Donal Heffernan,et al.  TTCAN: a new time-triggered controller area network , 2002, Microprocess. Microsystems.

[15]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[16]  P. Koopman.  Critical embedded automotive networks , 2002, IEEE Micro.

[17]  Donal Heffernan,et al.  Clock synchronisation on multiple TTCAN network channels , 2004, Microprocess. Microsystems.

[18]  John Rushby,et al.  A Comparison of Bus Architectures for Safety-Critical Embedded Systems , 2003 .

[19]  J. H. Lala,et al.  Architectural principles for safety-critical real-time applications , 1994, Proc. IEEE.

[20]  Danny Dolev,et al.  The Byzantine Generals Strike Again , 1981, J. Algorithms.

[21]  Patrick Lincoln,et al.  A formally verified algorithm for interactive consistency under a hybrid fault model , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[22]  Philip M. Thambidurai,et al.  Interactive consistency with multiple failure modes , 1988, Proceedings [1988] Seventh Symposium on Reliable Distributed Systems.

[23]  Hermann Kopetz,et al.  Fault containment and error detection in the time-triggered architecture , 2003, The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS 2003..

[24]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[25]  Philip Koopman,et al.  Coverage and the use of cyclic redundancy codes in ultra-dependable systems , 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

[26]  Rolf Isermann,et al.  Fault-tolerant drive-by-wire systems , 2002 .

[27]  Donal Heffernan,et al.  Expanding Automotive Electronic Systems , 2002, Computer.

[28]  Stefan Poledna,et al.  Time-Triggered Architecture: A Consistent Computing Platform , 2002, IEEE Micro.

[29]  B. Hall,et al.  The real Byzantine Generals , 2004, The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).

[30]  Jan Torin,et al.  Evaluation of fault handling of the time-triggered architecture with bus and star topology , 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..