2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (2009)

Beijing, China

Aug. 24, 2009 to Aug. 26, 2009

ISSN: 1533-2306

ISBN: 978-0-7695-3787-0

pp: 13-21

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.2009.9

ABSTRACT

Static WCET analysis is a process dedicated to derive a safe upper bound of the worst-case execution time of a program. In many real-time systems, however, a constant global WCET estimate is not always so useful since a program may behave very differently depending on its configuration or mode. A parametric WCET analysis derives the upper bound as formula rather than a constant. This paper presents a new efficient algorithm that can obtain a safe parametric estimate of the WCET of a program. This algorithm is evaluated on a large set of benchmarks and compared to a previous approach to parametric WCET calculation. The evaluation shows that the new algorithm, to the cost of some imprecision, scales much better and can handle more realistic programs than the previous approach.

INDEX TERMS

WCET Analysis, static analysis

CITATION

A. Ermedahl, S. Bygde and B. Lisper, "An Efficient Algorithm for Parametric WCET Calculation,"

*2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications(RTCSA)*, Beijing, China, 2009, pp. 13-21.

doi:10.1109/RTCSA.2009.9

CITATIONS