Time-triggered real-time computing

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 35, Issue 1, 2002, Pages 59-70

  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

AUTOMATION; DISTRIBUTED COMPUTER SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SAFETY ENGINEERING;

COMPONENT REUSE; COMPOSABILITY; DISTRIBUTED SYSTEMS; GLOBAL TIME; LINKING INTERFACES; REAL TIME; TIME TRIGGERED;

REAL TIME SYSTEMS;

EID: 84945551642     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20020721-6-es-1901.01640     Document Type: Conference Paper

References (27)

1. thFTCS). IEEE Press.
2. Bauer, G. and H. Kopetz (2000). Transparent redundancy in the time-triggered architecture. In: IC Dependable Systems and Networks (DSN2000). IEEE Press. NewYork. pp. 5-13.
3. Boyer, R. S. and J. S. Moore (1981). The Correctness Problem in Computer Science. Academic Press. London. ISBN: 0-12-122920-3.
4. Constantinescu, C. (2002). Impact of deep submicron technology on the dependability of VLSI circuits. In: IC Dependable System and Networks (DSN 2002). IEEE Press.
5. Fetzer, C. (2001). Enforcing perfect failure detection. In: IC Distributed ComputingSystems. Meza, Arizona, USA.
6. Fischer, M., N. Lynch and M. Paterson (1985). Impossibility of distributed consensus with one faulty process. ACM 32(2), 374-382.
7. Jones, C., H. Kopetz, M. Paulitsch, M.-O. Killijian, E. Marsden, N. Moffat, D. Powell, B. Randell, A. Romanovsky and R. Stroud (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.
8. Kopetz, H. (1992). Sparse time versus dense time in distributed real-time systems. In: IC Distributed ComputingSystems (DCS 1992). pp. 460-467.
9. rd ed. Kluwer Academic Publisheres. Boston. ISBN: 0-7923-9894-7.
10. Kopetz, H. (1998). The time-triggered model of computation. In: Real-Time Systems Symposium (RTSS98). IEEE Press. Madrid, Spain. pp. 168-177.
11. Kopetz, H. (1999). Elementary versus composite interfaces in distributed real-time systems. In: IS Autonomous Decentralized Systems (ISADS99). IEEE Press. Tokyo, Japan. pp. 26-33.
12. Kopetz, H. (2001). The temporal specification of interfaces in distributed real-time systems. In: EMSOFT. Vol. 2211 of Lecture Notes in Computer Science. Springer. pp. 223-236. ISBN: 3-540-42673-6.
13. Kopetz, H. and G. Bauer (2001). The time-triggered architecture. Technical Report 22/2001. Technische Universität Wien, Institut für Technische Informatik. Treitlstr. 1-3/182-1, 1040 Vienna, Austria. submitted to Proceedings of the IEEE special issue: Modeling and Design of Embedded Software.
14. thFTCS). IEEE Press. Toulouse, France.
15. Kopetz, H. and K. Kim (1990). Temporal uncertainties in interactions among real-time objects. In: 9th Symposium on Reliable Distributed Systems. IEEE Computer Society Press. Huntsville, AL, USA.
16. Lamport, L., R. Shostak and M. Pease (1982). The byzantine generals problem. ACM Transactions on Programming Languages and Systems 4(3), 382-401.
17. Lawson, H.W. (1992). Cyclone - an approach ot the engineering of resource adequate cyclic real-time systems. Real-Time Systems 4(1), 55-84.
18. Leveson, N.G. (2000). Intent specifications: An approach to building human-centered specifications. Software Engineering 26(1), 15-35.
19. Poledna, S. (1994). Replica Determinism in Fault-Tolerant Real-Time Systems. PhD thesis. Technical University of Vienna.
20. Ran, A. and J. Xu (1997). Architecting software with interface objects. In: 8th Israeli Conference on Computer Systems and Software Engineering. IEEE Press.
21. Rao, S., L. Alvisi and H. Vin (2000). The cost of recovery in message logging protocols. IEEE Transactions on Knowledge and Data Engineering 12(2), 160-173.
22. Reason, J. (1990). Human Error. Cambridge University Press.
23. Rushby, J. (2000). Formal verification of group membership for the time-triggered architecture. Technical report. SRI International. Menlo Park California.
24. Rushby, J. (2001). A comparison of bus architectures for safety critical embedded systems. Technical report. SRI International. Menlo Park California.
25. Schütz, W. (1991). On the testability of distributed real-time systems. In: IS Relieable Distributed Systems. IEEE Press. Pisa, Italy. pp. 52-61.
26. Tisato, F. and F. DePaoli (1995). On the duality between event-driven and time-driven models. In: 13th IFAC DCCS 1995. Toulouse, France.
27. Vicente, K.J. and J. Rasmussen (1992). Ecological interface design: Theoretical foundations. IEEE Transactions on Systems, Man, and Cybernetics 22(4), 589-606.