A survey of research into mixed criticality systems
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 …
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
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 …
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
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 …
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
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 …
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
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 …
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
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 …
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 …
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
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 …
hydrology to model worst-case events (eg, major stock market incidences). EVT takes as …
A cache design for probabilistically analysable real-time systems
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 …
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
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 …
worst-case execution times, probabilistic minimum inter-arrival times and probabilistic …