Skip to main content

TS

For safety’s sake: we need a new hardware-software contract!

Authors

Gernot Heiser

DATA61

Abstract

The ISA is the established hardware-software contract. As the ISA hides hardware features that affect timing of execution, it is no longer sufficient for ensuring system security and safety. We argue that a new contract is required, which exposes such features.

BibTeX Entry

  @article{Heiser_toappear,
    publisher        = {IEEE},
    author           = {Heiser, Gernot},
    note             = {(to appear)},
    year             = {0},
    title            = {For Safety’s Sake: We Need a New Hardware-Software Contract!},
    type             = {Journal Article - Refereed},
    journal          = {IEEE Design and Test}
  }

Download

Served by Apache on Linux on seL4.