Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 7-Day Trial for You or Your Team.

Learn More →

Demonstrating Equivalence of Source Code and PROM Contents

Demonstrating Equivalence of Source Code and PROM Contents 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. Received July 1992. revised April 1993. 
 
 * Safety and Reliability Engineering, Nuclear Electric plc, Barnwood, Gloucester, UK http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png The Computer Journal Oxford University Press

Demonstrating Equivalence of Source Code and PROM Contents

Pavey, D., J.; Winsborrow, L., A.
The Computer Journal , Volume 36 (7) – Jan 1, 1993
Download PDF
14 pages

Loading next page...
 
/lp/oxford-university-press/demonstrating-equivalence-of-source-code-and-prom-contents-TzfNsBi5sC

References (0)

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Oxford University Press
ISSN
0010-4620
eISSN
1460-2067
DOI
10.1093/comjnl/36.7.654
Publisher site
See Article on Publisher Site

Abstract

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. Received July 1992. revised April 1993. 
 
 * Safety and Reliability Engineering, Nuclear Electric plc, Barnwood, Gloucester, UK

Journal

The Computer Journal – Oxford University Press

Published: Jan 1, 1993

There are no references for this article.