Time-triggered real-time computing

Annual Reviews in Control

Volumn 27 I, Issue 1, 2003, Pages 3-13

  Kopetz, H ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Component reuse; Composability; Distributed system; Global time; Linking interface; Real time; Time triggered

Indexed keywords

ACCIDENT PREVENTION; AEROSPACE ENGINEERING; AUTOMOTIVE ENGINEERING; COMPUTER NETWORKS; COMPUTER SYSTEM FIREWALLS; DISTRIBUTED COMPUTER SYSTEMS; USER INTERFACES;

COMPONENT REUSE; COMPOSABILITY; GLOBAL TIME; SAFETY-CRITICAL; TIME-TRIGGERED DISTRIBUTED REAL-TIME COMPUTING SYSTEMS;

REAL TIME SYSTEMS;

EID: 0141613218     PISSN: 13675788     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1367-5788(03)00002-6     Document Type: Short Survey

References (31)

1. Avizienis, A. (1982). The four-universe information system model for the study of fault tolerance. In Proceedings of the 12th FTCS Symposium. Los Angeles: IEEE Press.
2. Bauer, G., & Kopetz, H. (2000). Transparent redundancy in the time-triggered architecture. In Dependable systems and networks (DSN 2000). New York: IEEE Press.
3. Boyer, R. S., & Moore, J. S. (1981). The correctness problem in computer science. New York: Academic Press.
4. Constantinescu, C. (2002). Impact of deep submicron technology on dependability of VLSI circuits. In Proceedings of the 2002 International Conference on Dependable Systems and Networks. Washington, DC: IEEE Press.
5. Fetzer, C. (2001). Enforcing perfect failure detection. In Proceedings of the 21st Conference on Distributed Computing Systems. Meza, AZ: IEEE Press.
6. Fischer, M., Lynch, N., Paterson, M. (1985). Impossibility of distributed consensus with one faulty processor. Journal of the ACM, 32(2), 374-382.
7. Jones, C., et al. (2003). Revised conceptual model of DSOS. Computer Science Department, University of Newcastle upon Tyne.
8. Kopetz, H. (1992). Sparse time versus dense time in distributed real-time systems. In Proceedings of the 14th International Conference on Distributed Computing Systems. Yokohama, Japan: IEEE Press.
9. Kopetz, H. (1997). Real-time systems, design principles for distributed embedded applications; ISBN: 0-7923-9894-7, Third printing 1999. Boston: Kluwer Academic Publishers.
10. Kopetz, H. (1998). The time-triggered (TT) model of computation. In Real-Time System Symposium 1998. Madrid, Spain: IEEE Computer Society Press.
11. Kopetz, H. (1999). Elementary versus composite interfaces in distributed real-time systems. In Proceedings of the of ISADS 99. Tokyo, Japan: IEEE Press.
12. Kopetz, H. (2000) Composability in the time-triggered architecture. In SAE World Congress. Detroit, USA: SAE Press.
13. Kopetz, H. (2001). The temporal specification of interfaces in distributed real-time systems. In Proceedings of the EMSOFT 2001 Conference. Berlin: Springer-Verlag (LNCS 2211).
14. Kopetz, H. (2002). Time-triggered real-time computing. In Proceedings of IFAC World Congress. Barcelona, Spain: IFAC Press.
15. Kopetz, H., & Kim, K. (1990). Temporal uncertainties in interactions among real-time objects. In Proceedings of the 9th Symposium on Reliable Distributed Systems. Huntsville, AL: IEEE Computer Society Press.
16. Kopetz, H., & Gruensteidl, G. (1993). TTP - A time-triggered protocol for fault-tolerant real-time systems. In Proceedings of the 23rd IEEE International Symposium on Fault-Tolerant Computing (FTCS-23). Toulouse, France: IEEE Press.
17. Kopetz, H., & Bauer, G. (2003, January). The time-triggered architecture. Proceedings of the IEEE, 91, 112-126.
18. Kopetz, H., & Suri, N. (2003) Compositional design of real-time system: A conceptual basis for the specification of linking interfaces. In ISORC 2003 - The 6th International Symposium on Object Oriented Real-Time Computing. Hakodate, Japan: IEEE Press.
19. Lamport, L., Shostak, R., Pease, M. (1982). The Byzantine generals problem. ACM Transaction on Programming Languages and Systems, 4(3), 382-401.
20. Lawson, H.W. (1992). Cyclone - An approach to the engineering of resource adequate cyclic real-time systems. Real-Time Systems, 4(1), 55-84.
21. Poledna, S. (1994). Replica determinism in fault-tolerant real-time systems. Technical University of Vienna, Austria.
22. Puschner, P., Burns, A. (2000). A review of worst-case execution time analysis. Journal of Real-Time Systems, 2(3), 115-128.
23. Ran, A., & Xu, J. (1997). Architecting software with interface objects. In Proceedings of the Eight Israeli Conference on Computer Systems and Software Engineering. Herzliya, Israel: IEEE Press.
24. Rao, S., Alvisi, L., Vin, H.M. (2000). The cost of recovery in message logging protocols. IEEE Transaction on Knowledge and Data Engineering, 12(2), 160-173.
25. Reason, J. (1990). Human error. Cambridge: Cambridge University Press.
26. Rushby, J. (2000). Formal verification of group membership for the time-triggered architecture (p. 41). Menlo Park, CA: SRI International.
27. Rushby, J. (2001). A comparison of bus architectures for safety critical embedded systems. Menlo Park, CA: SRI International.
28. Schütz, W. (1991). On the testability of distributed real-time systems. In Proceedings of the Tenth Symposium on Reliable Distributed Systems. Pisa, Italy.
29. Suri, N., Walter, C. J., & Hugue, M. M. (Eds.). (1995). Advances in ultra-dependable systems. Los Alamitos, CA: IEEE Press.
30. Tisato, F., & DePaoli, F. (1995). On the duality between event-driven and time-driven models. In Proceedings of 13th IFAC DCCS 1995. Toulouse, France.
31. Vicente, K.J., Rasmussen, J. (1992). Ecological interface design: Theoretical foundations. IEEE Transactions on Systems, Man, and Cybernetics, 22(4), 589-606.