Timing analysis of optimized code

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

Volumn , Issue , 2003, Pages 100-105

  Kirner, R ^a   Puschner, P ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT INTERPRETATIONS; ASSEMBLY CODE; CODE OPTIMIZATION; EXECUTION PATHS; HARD REAL-TIME SYSTEMS; TIMING ANALYSIS; WCET ANALYSIS; WORST-CASE EXECUTION TIME;

COMPUTER PROGRAMMING LANGUAGES; OPTIMIZATION; PROGRAM COMPILERS; REAL TIME SYSTEMS;

EMBEDDED SYSTEMS;

EID: 35248824404     PISSN: 15301443     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2003.1218071     Document Type: Conference Paper

References (14)

1. P. Atanassov, R. Kirner, and P. Puschner. Using real hardware to create an accurate timing model for execution-time analysis. In International Workshop on R al-Time Embedded Systems RTES (in conjunction with 22nd IEEE RTSS 2001), London, UK, December 2001.
2. A. Colin and I. Puaut. Worst case execution time analysis for a processor with branch prediction. R al-Time Systems, 18(2):249-274, May 2000.
3. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference R cord of the Fourth A nnualACM SIGPLAN-SIGACT Symposium, on Principles of Programming Languages, pages 238-252, Los Angeles, California, 1977. ACM Press, New York, NY.
4. P. Cousot and R. Cousot. Systematic design of program transformation frameworks b y abstract iiterpre-tation. In Conference Record of the Twentyninth Annual ACM SIGPLAN-SIGACT Symposium, on Principles of Programming Languages, pages 178-190, Portland, Oregon, January 2002. ACM Press, New York.
5. J. Engblom, A. Ermedahl, and P. Altenbernd. Facilitating Worst-Case Execution Time Analysis for Optimized Code. In Proceeding of the 10th Eur omicv R al-Time Workshop, Berlin, Germany, June 1998.
6. J. Gustafsson. A nalysing Execution-Time of Object-Oriented Programs Using A bstrict Interpretation PhD thesis, Uppsala University, Uppsala, Sweden, May 2000.
7. C. A. Healy, R. D. Arnold, F. Mueller, D. Whalley, and M. G. Harmon. Bounding Pipeline and Instruc-tion Cac heP erformance. In IEEE Transactions on Computers, number 48 in 1, January 1999.
8. R. Kirner. The Programming Language w CETC Research Report 2/2002, Technisc heUniversitat Wien, Institut fur Tchnische Informatik, Treitlstr. 1-3/1821, 1040 Vienna, Austria, 2002.
9. R. Kirner and P. Pusc hner. Supporting Coitrol-Flow-Dependent Execution Times on WCET Calculation. In Deutschsprachige WCET-Tagung, Paderborn, Germany, October 2000. C-Lab.
10. R. Kirner and P. Puschner. Transformation of Path Information for WCET Analysis during Compilation. In Proceedings of the 13th Euromicro Conference on R mi-Time Systems, pages 29-36, Delft, The Netherlands, June 2001. Technical University of Delft, IEEE.
11. S.-S. Lim, J. H. Han, J. Kim, and S. L. Min. A worst case timing analysis technique for multiple-issue machines. In Proceedings of the 19th Real-Time Systems Symposium (RTSS), December 1998.
12. F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program A nalysis Springer, 1999. ISBN: 3-54065410-0.
13. P. Puschner and C. Koza. Calculating the Maximum Execution Time of Real-Time Programs. The Journal of Real-Time Systems, 1:159-176, 1989.
14. P Pusdiner and A. V. Schedl. Computing Maximum T ask Execution Times-A Graph-Based Approach. The Journal of Real-Time Systems, 13:67-91, 1997.