Use of modern processors in safety-critical applications

I. Bate; P. Conmy; T. Kelly; J. McDermid

Use of modern processors in safety-critical applications

I. Bate, P. Conmy, T. Kelly, J. McDermid

Computer Science

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	531-543
Number of pages	13
Journal	The Computer Journal
Volume	44
Issue number	6
Publication status	Published - 2001

Access to Document

http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_06/440531.sgm.abs.html

Cite this

@article{28c03db17e774d1d921b359d3dfc3c8e,

title = "Use of modern processors in safety-critical applications",

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.",

author = "I. Bate and P. Conmy and T. Kelly and J. McDermid",

year = "2001",

language = "English",

volume = "44",

pages = "531--543",

journal = "The Computer Journal",

issn = "1460-2067",

publisher = "Oxford University Press",

number = "6",

}

TY - JOUR

T1 - Use of modern processors in safety-critical applications

AU - Bate, I.

AU - Conmy, P.

AU - Kelly, T.

AU - McDermid, J.

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

M3 - Article

SN - 1460-2067

VL - 44

SP - 531

EP - 543

JO - The Computer Journal

JF - The Computer Journal

IS - 6

ER -