Trustworthy Systems

Towards an OS platform for truly dependable real-time systems

Authors

Gernot Heiser

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Published:

Keynote at Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT)
Porto
Portugal

Abstract

Many embedded systems are used in mission or even life-critical scenarios, and their dependability is paramount. The growing functionality, and resulting complexity, means that the traditional bare-metal approach is no longer feasible for such systems. This necessitates the use of spatial and temporal isolation, enforced by an operating system or hypervisor.

The dependability of the system then hinges on the dependability of that OS platform: it must ensure at least the integrity and timely execution of critical subsystems in the presence of malfunctions in non-critical parts. The talk presents our roadmap to such a platform, and discusses progress to date.

BibTeX Entry

  @misc{Heiser_11:ospert,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT),
                        Porto, Portugal},
    month            = jul,
    title            = {Towards an {OS} Platform for Truly Dependable Real-Time Systems},
    year             = {2011}
  }

Download