White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Use of Modern Processors in Safety Critical Applications

Bate, I., Conmy, P., Kelly, T. and McDermid, J. (2001) Use of Modern Processors in Safety Critical Applications. The Computer Journal, 44 (6). pp. 531-543. ISSN 0010-4620

Full text not available from this repository.


This paper investigates the implications of using modern superscalar processors in the safety-critical domain. Firstly, a description of current certification practice and devices is given as background. This is followed by an exposition of the certification argument for a processor when used in a safety-critical application. Throughout the presentation of the argument two types of modern processor are considered, commercial off-the-shelf (COTS) processors and purpose-designed bespoke devices. This allows the elaboration of positive and negative features of processors that can be used as part of the selection (for COTS) or design (for bespoke) process.

Item Type: Article
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 10 Feb 2009 15:46
Last Modified: 10 Feb 2009 15:46
Published Version: http://dx.doi.org/10.1093/comjnl/44.6.531
Status: Published
Publisher: Oxford University Press
Identification Number: 10.1093/comjnl/44.6.531
URI: http://eprints.whiterose.ac.uk/id/eprint/7603

Actions (repository staff only: login required)