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_18,
    publisher        = {IEEE},
    journal          = {IEEE Design and Test},
    author           = {Heiser, Gernot},
    month            = apr,
    volume           = {35},
    year             = {2018},
    date             = {2018-4-1},
    title            = {For Safety’s Sake: We Need a New Hardware-Software Contract!},
    type             = {Journal Article - Refereed},
    pages            = {4}
  }

Download

Served by Apache on Linux on seL4.