Skip to main content

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


Gernot Heiser



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

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


Served by Apache on Linux on seL4.