By the same authors

Generating Evidence for Certification of Modern Processors for use in Safety-Critical Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution



Publication details

Title of host publicationProceedings of the 5th International High Assurance Systems Engineering Symposium
DatePublished - 1 Nov 2000
Number of pages10
Original languageUndefined/Unknown


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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations