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, Kent Mcleod, Hesham Almatary and Gernot Heiser|
Scheduling-context capabilities: A principled, light-weight OS mechanism for managing time
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