Static Worst-Case Execution Time (WCET) analysis is a technique to derive upper bounds for the execution times of programs. Such bounds are crucial when designing and verifying real-time systems. A key component for static derivation of precise WCET estimates is determination of upper bounds on the number of times loops can be iterated.
The idea of the parametric loop bound analysis is to express the upper loop bound as a formula depending on parameters { variables and expressions staying constant within the loop body. The formula is constructed once for each loop. Then by instantiating this formula with
values of parameters acquired externally (from value analysis, etc.), a concrete loop bound can be computed without high computational effort.
Keywords:
HyperLinks / References / URLs:
Personal Comments:
Download
Access Level:
Internal
Referee, Status
1. Referee:
Prof. Dr. Bernd Finkbeiner
2. Referee:
Dr. Florian Martin
Supervisor:
Prof. Dr. Reinhard Wilhelm
Status:
Completed
First Lecture Title:
Location of Lecture:
Date of the Kolloquium:
18 March 2010
Chair of the Kolloquium:
Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
IMPRS-CS
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort
BibTeX Entry:
@MASTERSTHESIS{Honcharova2009,
AUTHOR = {Honcharova, Olha},
TITLE = {Static detection of parametric loop
bounds on C code},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2009},
MONTH = {February},
}
Entry last modified by Stephanie Jörg, 01/21/2010
Edit History (please click the blue arrow to see the details)
Edit History (please click the blue arrow to see the details)