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

Author(s): Gernot Heiser
Publisher: IEEE Computer Society
Publication Date: 1 April 2018
Volume: 35
Page(s): 27 - 30
ISSN (Electronic): 2168-2364
ISSN (Paper): 2168-2356
DOI: 10.1109/MDAT.2017.2766559

This article argues that the hardware-software contract exposed through instruction-set architecture should be extended for time-critical systems design.