Trustworthy Systems

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


Gernot Heiser


UNSW Sydney


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

    author           = {Heiser, Gernot},
    date             = {2018-3-23},
    doi              = {},
    issue            = {2},
    journal          = {IEEE Design and Test},
    month            = mar,
    pages            = {27-30},
    paperurl         = {},
    publisher        = {IEEE},
    title            = {For Safety's Sake: We Need a New Hardware-Software Contract!},
    volume           = {35},
    year             = {2018}