A survey of research into mixed criticality systems

A Burns, RI Davis - ACM Computing Surveys (CSUR), 2017 - dl.acm.org
This survey covers research into mixed criticality systems that has been published since
Vestal's seminal paper in 2007, up until the end of 2016. The survey is organised along the …

[PDF][PDF] Mixed criticality systems-a review

A Burns, R Davis - Department of Computer Science, University of York …, 2013 - Citeseer
This review covers research on the topic of mixed criticality systems that has been published
since Vestal's 2007 paper. It covers the period up to and including July 2015. The review is …

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 …

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 review of priority assignment in real-time systems

RI Davis, L Cucu-Grosjean, M Bertogna… - Journal of systems …, 2016 - Elsevier
It is over 40 years since the first seminal work on priority assignment for real-time systems
using fixed priority scheduling. Since then, huge progress has been made in the field of real …

Principles and techniques of simulation validation, verification, and testing

O Balci - Proceedings of the 27th conference on Winter …, 1995 - dl.acm.org
Sufficient experience has been gained over the last decade in simulation validation,
verification, and testing (VV&T) to establish basic principles about its characteristics. This …

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 …

A cache design for probabilistically analysable real-time systems

L Kosmidis, J Abella, E Quiñones… - … Design, Automation & …, 2013 - ieeexplore.ieee.org
Caches provide significant performance improvements, though their use in real-time industry
is low because current WCET analysis tools require detailed knowledge of program's cache …

Response time analysis for fixed-priority tasks with multiple probabilistic parameters

D Maxim, L Cucu-Grosjean - 2013 IEEE 34th Real-Time …, 2013 - ieeexplore.ieee.org
In this paper, we consider a probabilistic model for real-time task systems with probabilistic
worst-case execution times, probabilistic minimum inter-arrival times and probabilistic …