Generating Evidence for Certification of Modern Processors for use in Safety-Critical Systems
I. Bate, P. Conmy and J McDermid
This paper investigates the implications of using a modern super-scalar processor in the safety-critical domain. Firstly, a description of current certification practice and devices is given as background. This is followed by an assessment of how the certification argument and its supporting evidence are affected by the use of a super-scalar processor. Two types of modern processor are considered, a Commercial Off The Shelf (COTS) processor and a purpose designed bespoke device. The respective benefits and drawbacks of both are examined. We then identify some key areas where change in current certification practice is necessary to allow for modern processors.
BibTex Entry
@inproceedings{Bate2000,
author = {I. Bate and P. Conmy and J McDermid},
booktitle = {Proceedings of the 5th International High Assurance Systems Engineering Symposium},
category = {design,wcet},
month = {Nov},
pages = {125-134},
title = {Generating Evidence for Certification of Modern Processors for use in Safety-Critical Systems},
year = {2000}
}