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 …

The pressing market demand for competitive performance/cost ratios compels Critical Real-
Time Embedded Systems industry to employ feature-rich hardware. The ensuing rise in …