Probabilistic worst-case timing analysis: Taxonomy and comprehensive survey

FJ Cazorla, L Kosmidis, E Mezzetti… - ACM Computing …, 2019 - dl.acm.org
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 …

A survey of probabilistic timing analysis techniques for real-time systems

RI Davis, L Cucu-Grosjean - LITES: Leibniz Transactions on …, 2019 - eprints.whiterose.ac.uk
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 …

WCET analysis methods: Pitfalls and challenges on their trustworthiness

J Abella, C Hernández, E Quiñones… - 10th IEEE …, 2015 - ieeexplore.ieee.org
In the last three decades a number of methods have been devised to find upper-bounds for
the execution time of critical tasks in time-critical systems. Most of such methods aim to …

Measurement-based worst-case execution time estimation using the coefficient of variation

J Abella, M Padilla, JD Castillo, FJ Cazorla - ACM Transactions on …, 2017 - dl.acm.org
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 …

Upper-bounding program execution time with extreme value theory

FJ Cazorla, T Vardanega, E Quiñones… - … Workshop on Worst …, 2013 - drops.dagstuhl.de
Upper-bounding Program Execution Time with Extreme Value Theory Page 1 Upper-bounding
Program Execution Time with Extreme Value Theory Francisco J. Cazorla1,2, Tullio …

Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study

F Wartel, L Kosmidis, C Lo, B Triquet… - 2013 8th IEEE …, 2013 - ieeexplore.ieee.org
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 …

Timing analysis of an avionics case study on complex hardware/software platforms

F Wartel, L Kosmidis, A Gogonel… - … , Automation & Test …, 2015 - ieeexplore.ieee.org
Probabilistic Timing Analysis (PTA) in general and its measurement-based variant called
MBPTA in particular have been shown to facilitate the estimation of the worst-case execution …

Fitting processor architectures for measurement-based probabilistic timing analysis

L Kosmidis, E Quiñones, J Abella, T Vardanega… - Microprocessors and …, 2016 - Elsevier
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 …

PROXIMA: Improving measurement-based timing analysis through randomisation and probabilistic analysis

FJ Cazorla, J Abella, J Andersson… - … on Digital System …, 2016 - ieeexplore.ieee.org
The use of increasingly complex hardware and software platforms in response to the ever
rising performance demands of modern real-time systems complicates the verification and …

Timing predictability in high-performance computing with probabilistic real-time

F Reghenzani, G Massari, W Fornaciari - IEEE Access, 2020 - ieeexplore.ieee.org
Application requirements in High-Performance Computing (HPC) are becoming increasingly
exacting, and the demand for computational resources is rising. In parallel, new application …