Skip to main content

TS

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

Authors

NICTA, Sydney, Australia
UNSW, Australia

Abstract

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

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

Download