Scope-tree: A program representation for symbolic worst-case execution time analysis

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2002, Pages 50-59

  Colin, Antoine ^a   Bernat, Guillem ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Real time systems; symbolic WCET analysis; WCET

Indexed keywords

NUMBER OF ITERATIONS; PROGRAM REPRESENTATIONS; SYMBOLIC EXPRESSION; SYSTEM CONFIGURATIONS; WCET; WCET ANALYSIS; WORST-CASE EXECUTION TIME; WORST-CASE EXECUTION TIME ANALYSIS;

INPUT OUTPUT PROGRAMS; TREES (MATHEMATICS);

REAL TIME SYSTEMS;

EID: 84884694443     PISSN: 10683070     EISSN: None     Source Type: Journal    
DOI: 10.1109/EMRTS.2002.1019185     Document Type: Article

References (19)

1. G. Bernat and A. Burns. An approach to symbolic worst-case execution time analysis. In 25th workshop on real-time programming, Palma, Spain, May 2000
2. J. Blieberger. Discrete loops and worst case performance. Computer Languages, 20(3):193-212, 1994
3. B. W. Char, K. O. Geddes, and G. H. Gonnet. MAPLE V language reference manual. Springer-Verlag, 1991
4. A. Colin and I. Puaut. Worst case execution time analysis for a processor with branch prediction. Real-Time Systems, 18(2-3):249-274, May 2000
5. A. Colin and I. Puaut. A modular and retargetable framework for tree-based wcet analysis. In Proc. of the 13th Euromicro Conference on Real-Time Systems, pages 37-44, Delft, The Netherlands, June 2001
6. A. Colin and I. Puaut. Worst-case execution time analysis of the RTEMS real-time operating system. In Proc. of the 13th Euromicro Conference on Real-Time Systems, pages 191-198, Delft, The Netherlands, June 2001
7. J. Engblom and A. Ermedahl. Modeling complex flows for worst-case execution time analysis. In Proceedings of the 21th IEEE Real-Time Systems Symposium (RTSS00), Orlando, Florida, Dec. 2000
8. C. Healy, M. Sjodin, V. Rustagi, and D. Whalley. Bounding loop iterations for timing analysis. In Fourth IEEE Real-Time Technology and Applications Symposium, pages 12-21, June 1998
9. C. Healy, R. van Engelen, and D. B. Whalley. A general approach for tight timing predictions of non-rectangular loops. WIP Proceedings of the 1999 Real-Time technology and Applications Symposium, pages 11-14, June 1999
10. Y.-T. S. Li and S. Malik. Performance analysis of embedded software using implicit path enumeration. In R. Gerber and T. Marlowe, editors, ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, volume 30 of ACM SIGPLAN Notices, pages 88-98, New York, NY, USA, Nov. 1995. ACM Press
11. S.-S. Lim, Y. H. Bae, G. T. Jang, B.-D. Rhee, S. L. Min, C. Y. Park, H. Shin, K. Park, S.-M. Moon, and C.-S. Kim. An accurate worst case timing analysis for RISC processors. In Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS94), pages 97-108, Dec. 1994
12. G. Ottosson and M. Sjödin. Worst-case execution time analysis for modern hardware architectures. In ACM SIGPLAN Workshop on Languages, Compilers, and Tools Support for Real-Time Systems (LCTRTS'97), June 1997
13. C. Y. Park. Predicting program execution times by analyzing static and dynamic program paths. Real-Time Systems, 5(1):31-62, 1993
14. C. Y. Park and A. C. Shaw. Experiments with a program timing tool based on source-level timing schema. IEEE Computer, 24(5):48-57, May 1991
15. P. Puschner and A. Burns. A review of worst-case execution-time analysis. Real-Time Systems, 18(2-3):115-128, May 2000. Guest Editorial
16. P. Puschner and C. Koza. Calculating the maximum execution time of real-time programs. Real-Time Systems, 1(2):159-176, Sept. 1989
17. P. Puschner and A. V. Schedl. Computing maximum task execution times - a graph based approach. In Proc. of IEEE Real-Time Systems Symposium, volume 13, pages 67-91. Kluwer Academic Publishers, 1997
18. E. Vivancos, C. Healy, F. Mueller, and D. Whalley. Parametric timing analysis. In ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, June 2001
19. S. Wolfram. Mathematica: A System for Doing Mathematics by Computer. Addison-Wesley, Reading, MA, USA, 1988