Supporting Low-Latency, Low-Criticality Tasks In A Certified Mixed-Criticality Os

This paper presents a case study in the design and implementation of OS-level support for low-criticality tasks with stringent latency requirements, a particularly challenging aspect of mixed-criticality workloads, in PikeOS, a commercial, certified mixed-criticality OS. Special consideration is placed on key real-world design constraints that arise in a commercial setting, pertaining to customer needs, vendor constraints, and certification demands.