A Tool for Automatic Flow Analysis of C-programs for WCET Calculation

Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must be known. We describe a newly developed prototype tool that calculates these bounds automatically, thereby avoiding the need for manual annotations by the programmer. The analysis is based on an intermediate code representation, which means that compiler optimized code is analyzed. The choice of intermediate code also allows the analysis to support a number of programming languages. Right now, C programs are targeted. We also show an example of a program analysis using out method. Finally we describe future research directions.

• Type: Conference
• Year: 2003
• Where: WORDS
• Authors: Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo
• Keywords: Intermediate Code, Intermediate Code Representation, WORDS 2003, Worst Case Execution Time