A tool for automatic flow analysis of C-programs for WCET calculation

Author

Gustafsson, Jan ; Lisper, Björn ; Sandberg, Christer ; Bermudo, Nerina

Author_Institution

Dept. of Comput. Sci. & Eng., Malardalen Univ., Vasteras, Sweden

fYear

2003

fDate

15-17 Jan. 2003

Firstpage

106

Lastpage

112

Abstract

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 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 the number of programming languages. C programs are targeted. We also show an example of a program analysis using our method.

Keywords

C language; program compilers; program control structures; program debugging; program diagnostics; real-time systems; software tools; C program; automatic bound calculation; automatic flow analysis; code optimization; compiler optimized code; intermediate code representation; iteration; looping; program analysis; program compiler; programming language; real-time system; recursion; software tool; worst case execution time calculation; Computer languages; Computer science; Electronic mail; Hardware; Information analysis; Optimizing compilers; Programming profession; Prototypes; Real time systems; Time measurement;

fLanguage

English

Publisher

ieee

Conference_Titel

Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003). Proceedings of the Eighth International Workshop on

Print_ISBN

0-7695-1929-6

Type

conf

DOI

10.1109/WORDS.2003.1218072

Filename

1218072