The University of New South Wales

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

Authors

Gernot Heiser

DATA61

UNSW Sydney

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},
    doi              = {https://doi.org/10.1109/MDAT.2017.2766559},
    month            = mar,
    journal          = {IEEE Design and Test},
    paperurl         = {https://trustworthy.systems/publications/csiro_full_text/Heiser_18.pdf},
    year             = {2018},
    issue            = {2},
    volume           = {35},
    title            = {For Safety's Sake: We Need a New Hardware-Software Contract!},
    author           = {Heiser, Gernot},
    date             = {2018-3-23},
    pages            = {27-30}
  }

Download