Anna is a PHD student working on converting seL4 to a real-time operating system for mixed-criticality systems. An example of a mixed-criticality system is a autonomous helicopter. To do this, seL4 requires a real-time scheduler with mixed-criticality support, a real-time API, primitives for trusted real-time locking, and capabilities for managing CPU time.
|Anna Lyons, Hesham Almatary, Kent Mcleod and Gernot Heiser|
Principled operating systems mechanisms for temporal isolation
EuroSys Conference, pp. 14, Porto, Portugal, April, 2018
||Anna Lyons and Gernot Heiser|
Mixed-criticality support in a high-assurance, general-purpose microkernel
Workshop on Mixed Criticality Systems, pp. 9-14, Rome, Italy, December, 2014