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

Projects

Current

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