Demonstrating Equivalence of Source Code and PROM Contents
Open Access
- 1 January 1993
- journal article
- research article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 36 (7) , 654-667
- https://doi.org/10.1093/comjnl/36.7.654
Abstract
The translation of the requirements for a computer based system into the sorted code executed by the processor is an extended process with many opportunities for the introduction of errors. One potential source of errors is the suite of tools used to translate the ‘high level language’ source program, defining the algorithms to be used, into the binary code, stored in PROM, which actually controls the system. This paper outlines a highly automated technique which has been developed to demonstrate equivalence between the source code and PROM contents for a safety critical programmable protection system which is to be used in the UK Nuclear industry.This publication has 0 references indexed in Scilit: