loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03)
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Guadalajara, Mexico
January 15-January 17
ISBN: 0-7695-1929-6
ASCII Text
x 
 
Jan Gustafsson, Bjorn Lisper, Christer Sandberg, Nerina Bermudoy, "A Tool for Automatic Flow Analysis of C-programs for WCET Calculation," Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on, pp. 106, Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/WORDS.2003.1218072,
author = {Jan Gustafsson and Bjorn Lisper and Christer Sandberg and Nerina Bermudoy},
title = {A Tool for Automatic Flow Analysis of C-programs for WCET Calculation},
journal ={Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on},
volume = {0},
year = {2003},
issn = {1530-1443},
pages = {106},
doi = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1218072},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
TI - A Tool for Automatic Flow Analysis of C-programs for WCET Calculation
SN - 1530-1443
SP
EP
A1 - Jan Gustafsson,
A1 - Bjorn Lisper,
A1 - Christer Sandberg,
A1 - Nerina Bermudoy,
PY - 2003
KW - null
VL - 0
JA - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
ER -
 
Jan Gustafsson, Malardalen University, Vasterras, Sweden.
Bjorn Lisper, Malardalen University, Vasterras, Sweden.
Christer Sandberg, Malardalen University, Vasterras, Sweden.

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.

Citation:
Jan Gustafsson, Bjorn Lisper, Christer Sandberg, Nerina Bermudoy, "A Tool for Automatic Flow Analysis of C-programs for WCET Calculation," words, pp.106, Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.