Sciweavers

Share
WORDS
2003
IEEE

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

10 years 4 months ago
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.
Jan Gustafsson, Björn Lisper, Christer Sandbe
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where WORDS
Authors Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo
Comments (0)
books