Faster WCET flow analysis by program slicing

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn 2006, Issue , 2006, Pages 103-112

  Sandberg, Christer ^a   Ermedahl, Andreas ^a   Gustafsson, Jan ^a   Lisper, Björn ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

Hard real time; Worst case execution time analysis

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; REAL TIME SYSTEMS;

FLOW INFORMATION; PROGRAM FLOW ANALYSIS; PROGRAM SLICING; STATIC WORST-CASE EXECUTION TIME (WCET);

COMPUTER PROGRAMMING;

EID: 33746078453     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134650.1134666     Document Type: Conference Paper

References (42)

1. H. Agrawal. Dominators, Super Blocks, and Program Coverage. In Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Oregon, 1994.
2. ASTEC homepage, 2005. www. astec. uu. se.
3. th Euromicro Conference of Real-Time Systems, (ECRTS'04), June 2004.
4. B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. The Essence of Computation: Complexity, Analysis, Transformation. LNCS 2566. Springer-Verlag, 2002.
5. Bound-T tool homepage, 2006. www. tidorum. fi/bound-t/.
6. th Euromicro Conference of Real-Time Systems, (ECRTS'05), pages 249-258, July 2005.
7. th ACM Symposium on Principles of Programming Languages, Los Angeles, January 1977.
8. th International Symposium on Programming Languages, Implementations, Logics, and Programs, Lecture Notes in Computer Science (LNCS) 631, pages 269-295. Springer-Verlag, August 1992.
9. J. Engblom. Processor Pipelines and Static Worst-Case Execution Time Analysis. PhD thesis, Uppsala University, April 2002. ISBN 91-554-5228-0.
10. th International Conference on Real-Time Computing Systems and Applications (RTCSA'99). IEEE Computer Society Press, Dec 1999.
11. th IEEE Real-Time Systems Symposium (RTSS'0), Nov 2000.
12. A. Ermedahl. A Modular Tool Architecture for Worst-Case Execution Time Analysis. PhD thesis, Uppsala University, June 2003.
13. th International Workshop on Worst-Case Execution Time Analysis, (WCET'2005), pages 19-22, Palma de Mallorca, July 2005.
14. th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, (CASES'03), Oct 2003.
15. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, July 1987.
16. C. Fraser and D. Hanson. A Retargetable C Compiler: Design and Implementation. Addison-Wesley, 1990.
17. J. Ganssle. Really real-time systems. In Proc. Embedded Systems Conference San Francisco 2001, April 2001.
18. P. Granger. Static Analysis of Arithmetical Congruences. International Journal of Computer Mathematics, pages 165-199, 1989.
19. R. Gupta. Generalized Dominators and Post-Dominators. In POPL '92: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, NY, USA, 1992. ACM Press.
20. J. Gustafsson. Analyzing Execution-Time of Object-Oriented Programs Using Abstract Interpretation. PhD thesis, May 2000.
21. th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005), Sedona, USA, February 2005.
22. th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), Guadalajara, Mexico, 2003. IEEE.
23. th IEEE.Real-Time Technology and Applications Symposium (RTAS'98), June. 1998.
24. th IEEE Real-Time Technology and Applications Symposium (RTAS'99), June 1999.
25. N. Holsti, T. Långbacka, and S. Saarinen. Worst-Case Execution-Time Analysis for Digital Signal Processors. In Proc. EUSIPCO 2000 Conference (X European Signal Processing Conference), 2000.
26. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst., 12(1), 1990.
27. T. Lundqvist and P. Stenström. Integrating Path and Timing Analysis using Instruction-Level Simulation Techniques. In Proc. ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES'98), June 1998.
28. Thomas Lundqvist. A WCET Analysis Method for Pipelined Microprocessors with Cache Memories. PhD thesis, Chalmers University of Technology, Göteborg, Sweden, June 2002.
29. Mälardalen University WCET project homepage, 2006. www.mrtc.mdh.se/projects/wcet.
30. S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, 1997. ISBN: 1-55860-320-4.
31. nd edition. Springer, 2005. ISBN 3-540-65410-0.
32. K. J. Ottenstein and L. M. Ottenstein. The Program Dependence Graph in a Software Development Environment. In Proc. ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 177-184, 1984.
33. rd International Workshop on Worst-Case Execution Time Analysis, (WCET'2003), 2003.
34. th International Workshop on Software and Compilers for Embedded Systems (SCOPES 03), 2003.
35. rd International Workshop on Worst-Case Execution Time Analysis, (WCET'2003), June 2003.
36. F. Stappert and P. Altenbernd. Complete worst-case execution time analysis of straight-line hard real-time programs. Journal of Systems Architecture, 46(4):339-355, 2000.
37. th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, November 2001.
38. rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 1996.
39. S. Thesing. Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models. PhD thesis, Saarland University, 2004.
40. Vinnova homepage, 2006. www.vinnova.se.
41. M. Weiser. Program Slicing. IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.
42. B. Xu, J. Qian, X. Zhang, Z. Wu, and L. Chen. A Brief Survey of Program Slicing. SIGSOFT Softw. Eng. Notes, 30(2):l-36, 2005.