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 …

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 end of 2021. The review is organised …

A mixed-criticality system comprises safety-critical and non-safety-critical tasks sharing a
computational platform. Thus, different levels of assurance are required by different tasks in …

Many reactive systems must be designed and analyzed prior to deployment in the presence
of considerable epistemic uncertainty: the precise nature of the external environment the …

In this paper, we extend the imprecise mixed-criticality (IMC) model to precise scheduling of
tasks. We also integrate the IMC model with the dynamic voltage and frequency scaling …

Cyber physical systems (CPSs) are a fast-evolving technology based on a strong synergy
between heterogeneous sensing, networking, computation and control modules. When …

In this paper, we study the scheduling problem of the imprecise mixed-criticality model (IMC)
under earliest deadline first with virtual deadline (EDF-VD) scheduling upon uniprocessor …

The strict requirements on the timing correctness biased the modeling and analysis of real-
time systems toward the worst-case performances. Such focus on the worst-case, however …

The fluid scheduling model allows for schedules in which an individual task may be
assigned a fraction of a processor at each time instant. These assignments are subject to the …

Increasingly complex and integrated systems design has led to more timing uncertainty,
which may result in pessimism in time-sensitive system design and analysis. To mitigate …