Bate, I., Conmy, P., Kelly, T. et al. (1 more author) (2001) Use of Modern Processors in Safety Critical Applications. The Computer Journal, 44 (6). pp. 531-543. ISSN 0010-4620
Abstract
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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (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 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:7603 |