An efficient algorithm for parametric WCET calculation

  • Bygde S
  • Ermedahl A
  • Lisper B
  • 22


    Mendeley users who have this article in their library.
  • 9


    Citations of this article.


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 a formula rather than a constant. This paper presents a new 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. © 2010 Elsevier B.V. All rights reserved.

Author-supplied keywords

  • Static analysis
  • WCET analysis

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Stefan Bygde

  • Andreas Ermedahl

  • Björn Lisper

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free