IEEE Computer Society - For Safety’s Sake: We Need a New Hardware-Software Contract!

Author(s): Gernot Heiser
Publisher: IEEE Computer Society
Volume: PP
Page(s): 1
ISSN (Electronic): 2168-2364
ISSN (Paper): 2168-2356
DOI: 10.1109/MDAT.2017.2766559

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... View More