The Open UniversitySkip to content
 

Refining specifications to programmable logic

Hiltont, Adrian and Hall, Jon G. (2002). Refining specifications to programmable logic. Electronic Notes in Theoretical Computer Science, 70(3) pp. 385–395.

DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1016/S1571-0661(05)80484-0
Google Scholar: Look up in Google Scholar

Abstract

Combined hardware/software systems are increasingly being used for safety-critical systems, with hardware taking processing load off the software. To attain the necessary safety integrity levels, new safety standards require that the correctness arguments for safety-critical hardware and software are developed together with the same rigour as for software alone.
In this paper we describe work in progress on the continuing development of such a notation and proof system. Based on process description using Synchronous Receptive Proof Theory, we propose refinement rules for developing a specification into an SRPT implementation.

Item Type: Journal Article
ISSN: 1571-0661
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 3346
Depositing User: Jon Hall
Date Deposited: 23 Jun 2006
Last Modified: 02 Dec 2010 19:49
URI: http://oro.open.ac.uk/id/eprint/3346
Share this page:

Altmetrics

Scopus Citations

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk