The startup problem in fault-tolerant time-triggered communication

Proceedings of the International Conference on Dependable Systems and Networks

Volumn 2006, Issue , 2006, Pages 35-44

  Steiner, Wilfried ^a   Kopetz, Hermann ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMMUNICATION SYSTEMS; COMPUTER SIMULATION; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PROBLEM SOLVING;

FAILURE MODES; FLEXRAY STARTUP ALGORITHMS; SAFETY-CRITICAL SYSTEMS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 33845573184     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2006.69     Document Type: Conference Paper

References (20)

1. A. Ademai, G. Bauer, H. Sivencrona, and J. Torin. Evaluation of fault handling of the time-triggered architecture with bus and star topology. In Proc. of International Conference on Dependable Systems and Networks (DSN 2003), San Francisco, Jun. 2003.
2. G. Bauer, H. Kopetz, and W. Steiner. Byzantine fault containment in ttp/c. Proceedings of the 2002 Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), pages 13-16, Jun. 2002.
3. V. Claesson, H. Lönn, and N. Sun. An efficient tdma start-up and restart synchronization approach for distributed embedded systems. IEEE Transactions on Parallel and Distributed Systems, 15(7), July 2004.
4. F. Consortium. FiexRay Communications System - Protocol Specification - Version 2.0. FiexRay Consortium, 2004. Available at http://www.flexray.com.
5. K. Driscoll, B. Hall, H. Sivencrona, and P. Zumsteg. Byzantine fault tolerance, from theory to reality. In Computer Safety, Reliability, and Security, volume 2788 of Lecture Notes in Computer Science, pages 235-248. Springer-Verlag, Vienna, Heidelberg, Oct. 2003.
6. M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed consensus with one faulty process. J. ACM, 32(2): 374-382, 1985.
7. IEEE, INC. Standard IEEE 802.4 - Information processing systems- Local Area networks- Part 4: Token-passing bus access method and physical layer specifications, 1990.
8. L. Kleeman and A. Cantoni. Metastable behavior in digital systems. IEEE Design & Test of Computers, pages 4-19, Dec. 1987.
9. H. Kopetz. TTP/C Protocol - Version 1.0. TTTech Computertechnik AG, Vienna, Austria, July 2002. Available at http://www.ttpforum.org.
10. H. Kopetz, M. Paulitsch, C. Jones, M.-O. Killijian, E. Marsden, N. Moffat, D. Powell, B. Randell, A. Romanovsky, and R. Stroud. Revised version of dsos conceptual model. Project Deliverable for DSoS (Dependable Systems of Systems), Research Report 35/2001, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2001.
11. A. Krüger. Interface Design for Time-Triggered Real-Time System Architectures. PhD thesis, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 3/3/182-1, 1040 Vienna, Austria, 1997.
12. H. Lönn. Initial synchronization of TDMA communication in distributed real-time systems. In 19th IEEE Int. Conf. on Distributed Computing Systems, pages 370-379, Gothenburg, Sweden, 1999.
13. H. Lönn and P. Pettersson. Formal verification of a TDMA protocol start-up mechanism. In Pacific Rim International Symposium on Fault-Tolerant Systems (PRFTS '97), pages 235-242, Taipei, Taiwan, Dec. 1997. IEEE.
14. W. Steiner. Startup and Recovery of Fault-Tolerant Time-Triggered Communication. PhD thesis, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 3/3/182-1, 1040 Vienna. Austria. 2004.
15. W. Steiner. Model-checking studies of the flexray startup algorithm. Research Report 57/2005, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2005.
16. W. Steiner and H. Kopetz. The startup problem in faulttolerant time-triggered communication. Research Report 06/2006, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2006.
17. W. Steiner and M. Paulitsch. The transition from asynchonous to synchronous system operation: An approach for distributed fault-tolerant systems. In Proceedings of ICDCS, Vienna, Austria, July 2002. IEEE.
18. W. Steiner, M. Paulitsch, and H. Kopetz. Multiple failure correction in the time-triggered architecture. Proc. of 9th Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003f), Oct. 2003.
19. W. Steiner, J. Rushby, M. Sorea, and H. Pfeifer. Model checking a fault-tolerant startup algorithm: From design exploration to exhaustive fault simulation. The International Conference on Dependable Systems and Networks (DSN 2004), Jun. 2004.
20. C. Temple. Avoiding the Babbling-Idiot Failure in a TimeTriggered Communication System. In Proceedings of 28th Annual International Symposium on Fault-Tolerant Computing, pages 218-227, June 1998.