L4cars

Authors

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

    School of Computer Science and Engineering
    University of New South Wales
    Sydney 2052 Australia
    
    NICTA, Sydney, 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,
    title            = {L4Cars},
    booktitle        = {3rd Emb.\ Security in Cars Conf.\ (escar)},
    author           = {Kevin Elphinstone and Gernot Heiser and Ralf Huuck and Stefan M. Petters and Sergio Ruocco},
    year             = {2005},
    month            = {Nov},
    address          = {Cologne, Germany}
  }

Download

• Elphinstone_HHPR_05.pdf