Automatic flow analysis using symbolic execution and path enumeration

Proceedings of the International Conference on Parallel Processing Workshops

Volumn , Issue , 2006, Pages 8-15

  Kebbal, D ^a  

^a IRIT   (France)

Author keywords

Automatic parametric flow analysis; Block based symbolic execution; Hard real time systems; Path enumeration; Static WCET analysis

Indexed keywords

ITERATIVE METHODS; MOTION PLANNING; PARAMETER ESTIMATION; SEMANTICS;

AUTOMATIC PARAMETRIC FLOW ANALYSIS; BLOCK-BASED SYMBOLIC EXECUTION; HARD REAL-TIME SYSTEMS; PATH ENUMERATION; STATIC WCET ANALYSIS;

INFORMATION RETRIEVAL;

EID: 34547279490     PISSN: 15302016     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICPPW.2006.26     Document Type: Conference Paper

References (11)

1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers Principles, Techniques, and Tools. Addison-Wesley, Reading, March 1986.
2. G. Bernat and A. Burns. An approach to symbolic worst-case execution time analysis. In 25th IFAC Workshop on Real-Time Programming, Palma, Spain, May 2000.
3. R. Chapman, A. Burns, and A. Wellings. Combining static worst-case timing analysis and program proof. Real-Time Systems, 11:145-171, 1996.
4. A. Ermedahl. A modular Tool Architecture for Worst-Case Execution Time Analysis. PhD thesis, Uppsala University, 2003.
5. J. Gustafsson and A. Ermedahl. Automatic derivation of path and loop annotations in object-oriented real-time programs. Journal of Parallel and Distributed Computing Practices, 1(2):61-74, 1998.
6. C. Healy, M. Sjodin, V. Rustagi, D. Whalley, and R. van Engelen. Supporting timing analysis by automatic bounding of loop iterations. Journal of Real-Time Systems, 18(2-3): 129-156, May 2000.
7. Y.-T S. Li and S. Malik. Performance analysis of embedded software using implicit path enumeration. In ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-time Systems, La Jolla, California, June 1995.
8. B. Lisper. Fully automatic, parametric worst-case execution time analysis. In 3rd International Workshop on Worst-Case Execution Time Analysis, WCET 2003, pages 99-102, Polytechnic Institute of Porto, Portugal, 2003.
9. T. Lundqvist and P. Stenström. An integrated path and timing analysis method based on cycle-level symbolic execution. Real-Time Systems, 17(2-3): 183-207, 1999.
10. C. Y. Park and A. C. Shaw. Experiments with a program timing tool based on source-level timing schema. Journal of Real-Time Systems, 1(2):160-176, September 1989.
11. P. Puschner and A. V. Schedl. Computing maximum task execution- a graph-based approach. Real-Time Systems, 13(1):67-91, July 1997.