Skip to main content

TS

Trustworthy real-time systems

Authors

Stefan M Petters, Kevin Elphinstone and Gernot Heiser

Polytechnic Institute of Porto

NICTA

UNSW

Abstract

Embedded systems have experienced a dramatic increase in ubiquity and functionality. They have penetrated our life to a degree where we rely heavily on them and at the same time entrust them with vast amounts of personal information. The trust placed in them does not necessarily mean they are trustworthy.Within this chapter we summarise past research of the ERTOS group at NICTA in the area and provide the initial reasoning which motivated that research. Topics covered are a secure kernel design and the design and verification of this kernel design, as well as work on scheduling and WCET analysis

BibTeX Entry

  @inbook{Petters_EH_12,
    publisher        = {Springer},
    isbn             = {978-3-642-24348-6},
    series           = {Signals \& Communication},
    author           = {Petters, Stefan M and Elphinstone, Kevin and Heiser, Gernot},
    month            = jan,
    editor           = {{Samarjit Chakraborty and Jörg Eberspächer}},
    year             = {2012},
    keywords         = {real-time systems, operating systems, worst-case execution time analysis},
    title            = {Trustworthy Real-Time Systems},
    booktitle        = {Advances in Real-Time Systems},
    pages            = {191-206}
  }

Download

Served by Apache on Linux on seL4.