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 …

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 …

Cache side-channel attacks and time-predictability in high-performance critical real-time systems

D Trilla, C Hernandez, J Abella… - Proceedings of the 55th …, 2018 - dl.acm.org
Embedded computers control an increasing number of systems directly interacting with
humans, while also manage more and more personal or sensitive information. As a result …

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 …

MC2: Multicore and cache analysis via deterministic and probabilistic jitter bounding

E Díaz, M Fernández, L Kosmidis, E Mezzetti… - … –Ada-Europe 2017 …, 2017 - Springer
In critical domains, reliable software execution is increasingly involving aspects related to
the timing dimension. This is due to the advent of high-performance (complex) hardware …

Fitting software execution-time exceedance into a residual random fault in ISO-26262

I Agirre, FJ Cazorla, J Abella… - IEEE Transactions …, 2018 - ieeexplore.ieee.org
Car manufacturers relentlessly replace or augment the functionality of mechanical
subsystems with electronic components. Most such subsystems (eg, steer-by-wire) are …

Measurement-based timing analysis of the AURIX caches

L Kosmidis, D Compagnin, D Morales… - … Workshop on Worst …, 2016 - drops.dagstuhl.de
Cache memories are one of the hardware resources with higher potential to reduce worst-
case execution time (WCET) costs for software programs with tight real-time constraints. Yet …

Design and implementation of a time predictable processor: Evaluation with a space case study

C Hernández, J Abella, FJ Cazorla… - … Conference on Real …, 2017 - drops.dagstuhl.de
Embedded real-time systems like those found in automotive, rail and aerospace, steadily
require higher levels of guaranteed computing performance (and hence time predictability) …

Dynamic software randomisation: Lessons learnec from an aerospace case study

F Cros, L Kosmidis, F Wartel, D Morales… - … , Automation & Test …, 2017 - ieeexplore.ieee.org
Timing Validation and Verification (V&V) is an important step in real-time system design, in
which a system's timing behaviour is assessed via Worst Case Execution Time (WCET) …

Rpr: A random replacement policy with limited pathological replacements

P Benedicte, C Hernandez, J Abella… - Proceedings of the 33rd …, 2018 - dl.acm.org
Measurement-Based Probabilistic Timing Analysis (MBPTA) has consolidated as a
technique to estimate probabilistic Worst-Case Execution Times (WCET) for critical software …