Skip to main content

Anna Lyons

Anna Lyons
Research Engineer

Research Interests

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.

Contact Details

Email:Anna.Lyons@data61.csiro.au
Web:http://pingerino.wordpress.com

More contact information is available at the Contact page.

Photo of Anna Lyons

Publication List

Projects

Current

Publications

Data61 Papers

2018

Abstract PDF Anna Lyons, Kent Mcleod, Hesham Almatary and Gernot Heiser
Scheduling-context capabilities: A principled, light-weight OS mechanism for managing time
EuroSys Conference, Porto, Portugal, April, 2018

NICTA Papers

2014

Abstract
Slides
PDF 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

Served by Apache on Linux on seL4.