The temporal specification of interfaces in distributed real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2211, Issue , 2001, Pages 223-236

  Kopetz, H ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SPECIFICATIONS;

CONSTRUCTIVE DESIGN; DEPENDABLE EMBEDDED SYSTEMS; DISTRIBUTED ARCHITECTURE; DISTRIBUTED REAL TIME SYSTEM; INTERFACE DESIGNS; INTERFACE SPECIFICATION; TEMPORAL SPECIFICATION; TIME-TRIGGERED ARCHITECTURES;

REAL TIME SYSTEMS;

EID: 33646809861     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45449-7_15     Document Type: Conference Paper

References (12)

1. ARINC (1991). Multi-Transmitter Data Bus ARINC 629--Part 1: Technical Description, Aeronautical Radio Inc., Annapolis, Maryland 21401.
2. CAN (1990). Controller Area Network CAN, an In-Vehicle Serial Communication Protocol. SAE Handbook 1992, SAE Press. SAE J1583: 20.341-20.355.
3. Deline, R. (1999). Resolving Packaging Mismatch. Computer Science Department. Pittsburgh, Carnegie Mellon University: 178.
4. Jones, C., H. Kopetz, et al. (2001). Revised Conceptual Model of DSOS. University of Newcastle upon Tyne, Computer Science Department.
5. Kopetz, H. (1997). Real-Time Systems, Design Principles for Distributed Embedded Applications; ISBN: 0-7923-9894-7, Third printing 1999. Boston, Kluwer Academic Publishers.
6. Kopetz, H. (1999). Elementary versus Composite Interfaces in Distributed Real-Time Systems. Proc. of ISADS 99, IEEE Press, Tokyo, Japan.
7. Kopetz, H. (2000). Software Engineering for Real-Time: A Roadmap. Software Engineering Conference 2000, Limmerick, Ireland, IEEE Press.
8. Kopetz, H. and K. Kim (1990). Temporal Uncertainties in Interactions among Real-Time Objects. Proc. 9th Symposium on Reliable Distributed Systems, Huntsville, AL, USA, IEEE Computer Society Press.
9. Kopetz, H. and R. Nossal (1997). Temporal Firewalls in Large Distributed Real-Time Systems. Proceedings of IEEE Workshop on Future Trends in Distributed Computing, Tunis, Tunesia, IEEE Press.
10. Poledna, S. (1994). Replica Determinism in Fault-Tolerant Real-Time Systems, Technical University of Vienna.
11. Tindell, K. (1995). “Analysis of Hard Real-Time Communications.” Real-Time Systems 9(2): 147-171.
12. Tisato, F. and F. DePaoli (1995). On the Duality between Event-Driven and Time Driven Models. Proc. of 13th. IFAC DCCS 1995, Toulouse France.