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 …

In this article we give an overview of the worst-case execution time (WCET) analysis
research performed by the WCET group of the ASTEC Competence Centre at Uppsala …

Scratchpad memory is a popular choice for on-chip storage in real-time embedded systems.
The allocation of code/data to scratchpad memory is performed at compile time leading to …

Parametric Worst-Case Execution Time (WCET) is a static analysis that computes a WCET
formula that depends on various parameters. The formula can be used off-line for fast …

A challenging problem in path-oriented test data generation is the presence of infeasible
paths. Timely detecting these infeasible paths cannot only save test resources but also …

Abstract 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 …

Abstract Traditional Worst-Case Execution Time analysis derives an upper-bound to the
execution time of a program for any possible combination of its software and hardware …

For hard real-time systems, static code analysis is needed to derive a safe bound on the
worst-case execution time (WCET). Virtually all prior work has focused on the accuracy of …

Data flow analysis traverses paths in a control flow graph (CFG) representation of programs
to compute useful information. Many of these paths are infeasible, ie they cannot arise in any …

A static worst-case execution time (WCET) analysis derives upper bounds for the execution
times of programs. Such analysis requires information about the possible program flows …