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:
Google Scholar: Look up in Google Scholar


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 Item
ISSN: 1571-0661
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Research Group: Centre for Research in Computing (CRC)
Item ID: 3346
Depositing User: Jon Hall
Date Deposited: 23 Jun 2006
Last Modified: 07 Dec 2018 08:54
Share this page:


Altmetrics from Altmetric

Citations from Dimensions

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU