The University of New South Wales

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


    School of Computer Science and Engineering
    Sydney 2052, 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

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