For hard real-time systems, the schedulability and thus the worst case
execution time (WCET) of tasks is a major issue. Therefore a WCET analysis is
needed.
Since the running time of a program can depend on parameters, the computed
WCET is only valid for a specific parameter assignment or the WCET is broadly
overestimated. A parametric WCET analysis faces this problem by computing a
WCET formula. This formula depends on the parameters and can be used to
visualize the relation between parameters and to evaluate to a WCET value.
In this talk a short overview and the main ideas of a parametric WCET analysis
are presented.