Trading end-to-end latency for composability

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2005, Pages

  Matic, Slobodan ^a   Henzinger, Thomas A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION HIERARCHY; DISTRIBUTED RESOURCES; END-TO-END LATENCY; INTER-GROUP DEPENDENCY; LOGICAL EXECUTION TIME; NATURAL SEMANTICS; REAL TIME WORKSHOP; RESOURCE REQUIREMENTS;

ABSTRACTING; DATA FLOW ANALYSIS; REAL TIME SYSTEMS;

SEMANTICS;

EID: 84879355082     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2005.43     Document Type: Conference Paper

References (21)

1. L. Almeida and P. Pedreiras. Scheduling within temporal partitions: Response-time analysis and server design. In EMSOFT, pages 95-103. ACM Press, 2004.
2. P. Brucker, S. Kravchenko, and Y. Sotskov. Preemptive job-shop scheduling problems with a fixed number of jobs. Mathematical Methods of Operations Research, 49:41-76, 1999.
3. G. C. Buttazzo. Rate monotonic vs. EDF: Judgment day. Real-Time Systems, 29:5-26, 2005.
4. S. Chatterjee and J. K. Strosnider. Distributed pipeline scheduling: A framework for distributed, heterogeneous real-time system design. The Computer Journal, 38:271-285, 1995.
5. Z. Deng and J. W.-S. Liu. Scheduling real-time applications in an open environment. In RTSS, pages 308-319. IEEE Computer Society, 1997.
6. Models with multiple sample rates. In Real-Time Workshop User Guide, pages 1-34. The MathWorks Inc, 2005.
7. S. Goddard and K. Jeffay. Managing latency and buffer requirements in processing graph chains. The Computer Journal, 44:486-503, 2001.
8. B. Hardung, T. Koelzow, and A. Krueger. Reuse of software in distributed embedded automotive systems. In EMSOFT, pages 203-210. ACM Press, 2004.
9. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: a time-triggered language for embedded programming. Proceedings of the IEEE, 91:84-99, 2003.
10. C. Kirsch, M. A. Sanvido, and T. A. Henzinger. A programmable microkernel for real-time systems. In VEE, pages 35-45. ACM Press, 2005.
11. H. Kopetz and N. Suri. Compositional design of RT systems: A conceptual basis for specification of linking interfaces. In ISORC, pages 51-60. IEEE Computer Society, 2003.
12. E. A. Lee and D. G. Messerschmitt. Static scheduling of synchronous data flow programs for digital signal processing. IEEE Transactions on Computing, 36:24-35, 1987.
13. G. Lipari and E. Bini. Resource partitioning among realtime applications. In ECRTS, pages 151-158. IEEE Computer Society, 2003.
14. G. Lipari, P. Gai,M. Trimarchi, G. Guidi, and P. Ancilotti. A hierarchical framework for component-based real-time systems. In CBSE, volume 3054 of Lecture Notes in Computer Science, pages 209-216. Springer, 2004.
15. A. K. Mok and A. X. Feng. Towards compositionality in real-time resource partitioning based on regularity bounds. In RTSS, pages 129-138. IEEE Computer Society, 2001.
16. A. K. Mok and A. X. Feng. Real-time virtual resource: A timely abstraction for embedded systems. In EMSOFT, volume 2491 of Lecture Notes in Computer Science, pages 182-196. Springer, 2002.
17. A. K. Mok, A. X. Feng, and D. Chen. Resource partition for real-time systems. In RTAS, pages 75-84. IEEE Computer Society, 2001.
18. J. Regehr and J. A. Stankovic. HLS: A framework for composing soft real-time schedulers. In RTSS, pages 3-14. IEEE Computer Society, 2001.
19. J. Rushby. Partitioning for Avionics Architectures: Requirements, Mechanisms, and Assurance. NASA Report CR-1999-209347, NASA Langley Research Center, 1999.
20. I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In RTSS, pages 2-13. IEEE Computer Society, 2003.
21. I. Shin and I. Lee. Compositional real-time scheduling framework. In RTSS, pages 57-67. IEEE Computer Society, 2004.