Hiltont, Adrian and Hall, Jon G.
|DOI (Digital Object Identifier) Link:||http://doi.org/10.1016/S1571-0661(05)80484-0|
|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 Article|
|Academic Unit/Department:||Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
|Interdisciplinary Research Centre:||Centre for Research in Computing (CRC)|
|Depositing User:||Jon Hall|
|Date Deposited:||23 Jun 2006|
|Last Modified:||02 Aug 2016 12:55|
|Share this page:|