Skip to main content

Trustworthy embedded systems—ERTOS-2 project plan 2009–2013


NICTA, Sydney, Australia
UNSW, Australia


This report presents the research agenda for NICTA's ERTOS team for the four years from October 2009. It builds on the successful seL4, L4.verified and CAmkES projects to take an ambitious next step towards truly trustworthy real-world systems. Specifically, it aims to provide strong dependability guarantees for systems built from trusted and untrusted (including legacy) components, and comprising millions of lines of code.

BibTeX Entry

    title            = {Trustworthy Embedded Systems---{ERTOS-2} Project Plan 2009--2013},
    month            = jul,
    note             = {NICTA},
    key              = {ERTOS},
    year             = {2009}


Served by Apache on Linux on seL4.