L4cars
Authors
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, month = nov, booktitle = {3rd Embedded Security in Cars Conference (escar)}, author = {Kevin Elphinstone and Gernot Heiser and Ralf Huuck and Stefan M. Petters and Sergio Ruocco}, title = {L4Cars}, address = {Cologne, Germany}, paperurl = {https://ts.data61.csiro.au/publications/papers/Elphinstone_HHPR_05.pdf}, year = {2005} }