Multiple failure correction in the time-triggered architecture

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

Volumn , Issue , 2003, Pages 347-354

  Steiner, Wilfried ^a   Paulitsch, Michael ^a,b   Kopetz, Hermann ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b HONEYWELL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE MECHANISMS; MULTIPLE FAILURES; SAFETY CRITICAL APPLICATIONS; SYSTEM OPERATION; TIME-TRIGGERED ARCHITECTURES; TRANSIENT DISTURBANCES;

ALGORITHMS; COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANCE;

FAILURE (MECHANICAL);

EID: 84883119659     PISSN: 15301443     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2003.1267551     Document Type: Conference Paper

References (16)

1. A. Arora and M. Gouda. Distributed Reset. In IEEE Transaction on Computers, pages 1026-1038. IEEE, Sept. 1994.
2. G. Bauer, H. Kopetz, and W. Steiner. The Central Guardian Approach to Enforce Fault Isolation in a Time-Triggered System. In Proc. of ISADS, pages 37-44. IEEE, Apr. 2003.
3. G. Bauer and M. Paulitsch. An Investigation of Membership and Clique Avoidance in TTP/C. Proc. of SRDS, Oct. 2000.
4. E. W. Dijkstra. Self-stabilizing Systems in Spite of Distributed Control. Communications of the ACM, 17(11):643-644, 1974.
5. G. Heiner and T. Thurner. Time-Triggered Architectrue for Safety-Related Distributed Real-Time Systems in Transportation Systems. In Proceedings of the 28th Annual Symposium on Fault-Tolerant Computing, FTCS, pages 402-407. IEEE, June 1998.
6. H. Kopetz. Real-Time Systems. Kluwer Academic Publishers, 1997.
7. H. Kopetz. Fault Containment and Error Detection in the Time-Triggered Architecture. In Proc. of ISADS, pages 139-146. IEEE, Apr. 2003.
8. H. Kopetz and G. Bauer. The Time-Triggered Architecture. Proceedings of the IEEE Special Issue on Modeling and Design of Embedded Software, Jan. 2003.
9. H. Kopetz and W. Ochsenreiter. Clock Synchronization in Distributed Real-Time Systems. IEEE Transactions on Computers, C-36(8):933-940, 1987.
10. E. Normand. Single Event Upset at Ground Level. IEEE Transactions on Nuclear Science, 43:2742-2750, 1996.
11. B. Pauli and A. Meyna. Reliability of Electronic Control Units inMotor Vehicles. SAE Technical Paper Series, February 1998.
12. H. Pfeifer. Formal Verification of the TTP Group Membership Algorithm. In T. Bolognesi and D. Latella, editors, Formal Methods for Distributed System Development Proceedings of FORTE XIII /PSTV XX 2000, pages 3-18, Pisa, Italy, October 2000. Kluwer Academic Publishers.
13. J. Rushby. An Overview of Formal Verification for the Time-Triggered Architecture. In W. Damm and E.-R. Olderog, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 2469 of Lecture Notes in Computer Science, pages 83-105, Oldenburg, Germany, Sept. 2002. Springer-Verlag.
14. M. Schneider. Self-stabilization. ACM Computing Surveys (CSUR), 25(1):45-67, 1993.
15. W. Steiner and M. Paulitsch. The Transition From Asynchonous To Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems. In Proc. of ICDCS, Vienna, Austria, July 2002. IEEE.
16. C. Temple. Avoiding the Babbling-Idiot Failure in a Time-Triggered Communication System. In Proceedings of 28th Annual International Symposium on Fault-Tolerant Computing, pages 218-227, June 1998.