The unabated increase in the complexity of the hardware and software components of
modern embedded real-time systems has given momentum to a host of research in the use …

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 …

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 …

The software used to implement advanced functionalities in critical domains (eg
autonomous operation) impairs software timing. This is not only due to the complexity of the …

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 …

Extreme Value Theory (EVT) is a powerful statistical framework for estimating maximum
values of random variables and has recently been applied for deriving probabilistic bounds …

Timing validation is a critical step in the design of real-time systems, that requires the
estimation of Worst-Case Execution Times (WCET) for tasks. A number of different methods …

Probabilistic Timing Analysis (PTA) in general and its measurement-based variant called
MBPTA in particular can mitigate some of the problems that impair current worst-case …

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 …

This paper leverages the statistics of extreme values to predict the worst-case convergence
times of machine learning algorithms. Timing is a critical non-functional property of ML …