Trustworthy Systems

L4cars

Authors

Kevin Elphinstone, Gernot Heiser, Ralf Huuck, Stefan M. Petters and Sergio Ruocco

NICTA, Sydney, Australia
UNSW, Australia

Abstract

Automotive components present unique challenges in reliability, security, performance and cost. Consolidation of different functions in multi-purpose units drives up complexity, and raises not only reliability concerns, but also the issue of liability for sub-component suppliers. It is of foremost importance to guarantee reliability and security right from the start when designing such systems. In this work we present a complete approach grounded in a flexible and secure microkernel, supported by a flexible operating system and component architecture on top. This is coupled with rigorous software development to assure the reliability and security.

BibTeX Entry

  @inproceedings{Elphinstone_HHPR_05,
    address          = {Cologne, DE},
    author           = {Kevin Elphinstone and Gernot Heiser and Ralf Huuck and Stefan M. Petters and Sergio Ruocco},
    booktitle        = {Embedded Security in Cars Conference (escar)},
    month            = nov,
    paperurl         = {https://trustworthy.systems/publications/papers/Elphinstone_HHPR_05.pdf},
    title            = {L4Cars},
    year             = {2005}
  }

Download