The TTA's approach to resilience after transient upsets

Real-Time Systems

Volumn 32, Issue 3, 2006, Pages 213-233

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

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b HONEYWELL   (United States)

Author keywords

Clique resolving; Multiple failures; Recovery; Self stabilization; Startup; Time Triggered Architecture

Indexed keywords

CLIQUE RESOLVING; MULTIPLE FAILURES; SELF STABILIZATION; STARTUP; TIME-TRIGGERED ARCHITECTURE (TTA);

ALGORITHMS; FAULT TOLERANT COMPUTER SYSTEMS; RECOVERY; SYNCHRONIZATION;

COMPUTER ARCHITECTURE;

EID: 33746901122     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11241-005-4681-6     Document Type: Conference Paper

References (26)

1. Arora, A. and Gouda, M. 1994. Distributed reset. In IEEE Transaction on Computers, IEEE, pp. 1026-1038.
2. Arora, A. and Kulkarni, S. S. 1998. Detectors and correctors: A theory of fault-tolerance components. In Proc. of the 18th International Conference on Distributed Computing Systems, IEEE.
3. Bauer, G., Kopetz, H. and Steiner, W. 2003. The central guardian approach to enforce fault isolation in a time-triggered system. In Proc. of ISADS, IEEE, pp. 37-44.
4. Bauer, G. and Paulitsch, M. 2000. An investigation of membership and clique avoidance in TTP/C. In Proc. of SRDS.
5. Bouajjani, A. and Merceron, A. 2002. Parametric verification of a group membership algorithm. In Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science; Vol. 2469, Oldenburg, Germany, Springer-Verlag, pp. 311-330.
6. Constantinescu, C. 2003. Trends and challenges in VLSI circuit reliability. IEEE Micro 23(4): 14-19.
7. Dijkstra, E. W. 1974. Self-stabilizing systems in spite of distributed control. Communications of the ACM. 17(11):643-644.
8. Hall, B., Driscoll, K., Paulitsch, M. and Dajani-Brown, S. 2005. Ringing out fault tolerance. A new ring network for superior low-cost dependability, in International Conference on Dependable Systems and Networks (DSN'05), pp. 298-307.
9. Heiner, G. and Thurner, T. 1998. 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, IEEE, pp. 402-407.
10. Kopetz, H. and Bauer, G. 2003. The time-triggered architecture. In Proceedings of the IEEE Special Issue on Modeling and Design of Embedded Software.
11. Kopetz, H. and Ochsenreiter, W. 1987. Clock synchronization in distributed real-time systems. IEEE Transactions on Computers C-36(8):933-940.
12. Kopetz, H. 1997. Real-Time Systems. Kluwer Academic Publishers.
13. Kopetz, H. Paulitsch, M., Jones, C., Killijian, M.-O., Marsden, E., Moffat, N., Powell, D., Randell, B., Romanovsky, A. and Stroud, R. 2001. 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.
14. Normand, E. 1996. Single event upset at ground level. IEEE Transactions on Nuclear Science 43:2742-2750.
15. O'Gorman, T. J. 1994. The effect of cosmic rays on the soft error rate of a DRAM at ground level. IEEE Transactions on Electron Devices 41:553-557.
16. Paulitsch, M., Morris, J., Hall, B., Driscoll, K., Latronico, E. and Koopman, P. 2005. Coverage and the use of cyclic redundancy codes in ultra-dependable systems, in International Conference on Dependable Systems and Networks (DSN'05), pp. 346-355.
17. Pfeifer, H. 2000. Formal verification of the TTP group membership algorithm. In T. Bolognesi and D. Latella (editors), Formal Methods for Distributed System Development Proceedings of F ORTE XIII/PSTVXX 2000, Pisa, Italy, Kluwer Academic Publishers, pp. 3-18.
18. Pauli, B. and Meyna, A. 1998. Reliability of electronic control units in motor vehicles. SAE Technical Paper Series.
19. Rushby, J. 2001. A Comparison of bus architectures for safety-critical embedded systems. CSL Technical Report, SRI International, Menlo Park, CA 94025, USA.
20. Rushby, J. 2002. 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, Oldenburg, Germany: Springer-Verlag, pp. 83-105.
21. Schneider, M. 1993. Self-stabilization. ACM Computing Surveys (CSUR) 25(1):45-67.
22. Steiner, W., Paulitsch, M. and Kopetz, H. 2003. Multiple failure correction in the time-triggered architecture. In Proc. of 9th Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003f).
23. Steiner, W., Rushby, J., Sorea, M. and Pfeifer, H. 2004. Model checking a fault-tolerant startup algorithm: From design exploration to exhaustive fault simulation. In The International Conference on Dependable Systems and Networks (DSN 2004).
24. Steiner, W. 2004. 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.
25. Temple, C. 1998. Avoiding the babbling-idiot failure in a time-triggered communication system. In Proceedings of 28th Annual International Symposium on Fault-Tolerant Computing, pp. 218-227.
26. Wilde, J., Wondrak, W. and Senske, W. 1999. Reliability requirements for microtechnologies used in automotive applications. In Proceedings of the Congress for Microsystems and Precision Engineering, Micro-Engineering 99, Stuttgart, Germany, Stuttgarter Messe- und Kongressgesellschaft GmbH.