Timing analysis and timing predictability extended abstract

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

Volumn 3657 LNCS, Issue , 2005, Pages 317-323

  Wilhelm, Reinhard ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGER LINEAR PROGRAMMING; MACHINE CLOCK CYCLES; TIMING ANALYSIS; TIMING PREDICTABILITY;

ABSTRACTING; INTEGER PROGRAMMING; LINEAR PROGRAMMING; MIDDLEWARE; PREDICTIVE CONTROL SYSTEMS; TIMING DEVICES;

REAL TIME SYSTEMS;

EID: 33646049383     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11561163_14     Document Type: Conference Paper

References (11)

1. [CC77] Patrick Cousot and Radhia Cousot. Static Determination of Dynamic Properties of Generalized Type Unions. In Proceedings of an ACM Conference on Language Design for Reliable Software, volume 12(3), pages 77-94, Raleigh, NC, March 1977.
2. [CH78] Patrick Cousot and Nicolas Halbwachs. Automatic discovery of linear restraints among variables of a program. In Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 84-97, Tucson, Arizona, 1978. ACM Press, New York, NY.
3. +01] C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R. Wilhelm. Reliable and precise WCET determination for a real-life processor. In EMSOFT, volume 2211 of LNCS, pages 469-485, 2001.
4. [KKSC03] Arvind S. Krishna, Raymond Klefstad, Douglas C. Schmidt, and Angelo Corsaro. Towards predictable real-time Java object request brokers. In Real Time Technology and Applications Symposium, pages 49-. IEEE, 2003.
5. [LMW99] Yau-Tsun Steven Li, Sharad Malik, and Andrew Wolfe. Performance estimation of embedded software with instruction cache modeling. Design Automation of Electronic Systems, 4(3):257-279, 1999.
6. [LS99] Thomas Lundquist and Per Stenström. Timing anomalies in dynamically scheduled microprocessors. In 20th IEEE Real-Time Systems Symposium, 1999.
7. [Sha89] Alan C. Shaw. Reasoning About Time in Higher-Level Language Software. IEEE Transactions on Software Engineering, 15(7):875-889, 1989.
8. [TFW00] H. Theiling, C. Ferdinand, and R. Wilhelm. Fast and Precise WCET Prediction by Separate Cache and Path Analyses. Real-Time Systems, 18(2/3):157-179, May 2000.
9. [TW04] Lothar Thiele and Reinhard Wilhelm. Design for timing predictability, Real-Time Systems, 28:157-177, 2004.
10. [Wil05] Reinhard Wilhelm. Determination of bounds on execution times. In Richard Zurawski, editor, Embedded Systems Handbook, pages 14-1,14-24. CRC Press, 2005.
11. [WM97] Reinhard Wilhelm and Dieter Maurer. Compiler Design. Addison Wesley, 1997.