Multicore Operating-System Support for Mixed Criticality

Ongoing research is discussed on the development of operating-system support for enabling mixed-criticality workloads to be supported on multicore platforms. This paper is motivated by avionics systems in which such workloads occur. In the mixed-criticality workload model that is considered, task execution costs may be determined using more-stringent methods at high criticality levels, and less-stringent methods at low criticality levels. The main focus of this research effort is devising mechanisms for providing "Temporal isolation" across criticality levels: lower levels should not adversely "Interfere" with higher levels.