The determination of upper bounds on execution times, commonly called worst-case
execution times (WCETs), is a necessary step in the development and validation process for …

The performance and power efficiency of multi-core processors are attractive features for
safety-critical applications, as in avionics. But increased integration and average-case …

Embedded hard real-time systems need reliable guarantees for the satisfaction of their
timing constraints. Experience with the use of static timing-analysis methods and the tools …

A large class of embedded systems is distinguished from general-purpose computing
systems by the need to satisfy strict requirements on timing, often under constraints on …

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 …

Static timing analysis is the state-of-the-art practice of ascertaining the timing behavior of
current-generation real-time embedded systems. The adoption of more complex hardware to …

Real-time scheduling and analysis of parallel tasks modeled as directed acyclic graphs
(DAG) have been intensively studied in recent years. However, no existing work has …

Embedded systems with hard real-time constraints need sound timing-analysis methods for
proving that these constraints are satisfied. Computer architects have made this task harder …

For hard real-time systems, timeliness of operations has to be guaranteed. Static timing
analysis is therefore employed to compute upper bounds on the execution times of a …

We explicitly construct, for every integer n and ε≫ 0, a family of functions (psuedo-random
bit generators) fn, ε:{0, 1} nε→{0, 1} n with the following property: for a random seed, the …