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 …

Performance problems in software can arise unexpectedly when programs are provided with
inputs that exhibit worst-case behavior. A large body of work has focused on diagnosing …

Traditional approaches for worst case execution time (WCET) analysis produce values
which are very pessimistic if applied to modern processors. In addition, end to end …

Embedded systems are informally defined as a collection of programmable parts
surrounded by ASICs and other standard components, that interact continuously with an …

Modern system-on-chip (SoC) design shows a clear trend toward integration of multiple
processor cores on a single chip. Designing a multiprocessor system-on-chip (MPSOC) …

We propose a technique for analyzing cache-related preemption delays of tasks that cause
unpredictable variation in task execution time in the context of fixed-priority preemptive …

Abstract interpretation is a technique for the static detection of dynamic properties of
programs. It is semantics based, that is, it computes approximative properties of the …

An accurate and safe estimation of a task's worst case execution time (WCET) is crucial for
reasoning about the timing properties of real time systems. In RISC processors, the …

Cache-partitioning techniques have been invented to make modern processors with an
extensive cache structure useful in real-time systems where task switches disrupt cache …

We present a method for determining a tight bound on the worst case execution time of a
program when running on a given hardware system with cache memory. Caches are used to …