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 …

This survey covers probabilistic timing analysis techniques for real-time systems. It reviews
and critiques the key results in the field from its origins in 2000 to the latest research …

This report summarizes methods to incorporate information (or lack of information) about
inter-variable dependence into risk assessments that use Dempster-Shafer theory or …

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 …

Extreme Value Theory (EVT) has been historically used in domains such as finance and
hydrology to model worst-case events (eg, major stock market incidences). EVT takes as …

Estimating the worst-case deadline failure probability (WCDFP) of a real-time task is
notoriously difficult, primarily because a task's execution time typically depends on prior …

The concept of a probabilistic worst-case execution time (pWCET) has gradually emerged
from the work of many authors over the course of 2–3 decades. Intuitively, pWCET is a …

This paper presents a new compositional approach providing safe quantitative information
about real-time systems. Our method is based on a new model to describe sporadic …

In this paper, we investigate static probabilistic timing analysis (SPTA) for single processor
real-time systems that use a cache with an evict-on-miss random replacement policy. We …

The limitations of the deterministic formulation of scheduling are outlined and a probabilistic
approach is motivated. A number of models are reviewed with one being chosen as a basic …