Software Requirements for Dedicated High Integrity Systems
Author | : J. M. Taylor |
Publisher | : |
Total Pages | : 35 |
Release | : 1974 |
ISBN-10 | : OCLC:227596684 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Download or read book Software Requirements for Dedicated High Integrity Systems written by J. M. Taylor and published by . This book was released on 1974 with total page 35 pages. Available in PDF, EPUB and Kindle. Book excerpt: The main body of the paper gives a general account of a virtual machine approach to specifying and designing the software for large, dedicated high integrity systems. This is intended primarily as an introduction to Annex A of the paper which gives an example of how this approach can be embodied in a software User Requirement suitable for procuring systems at the current state-of-the-art. The approach described is based on specifying the interface between applications software and systems software in terms of a standard, high level virtual machine which provides all the facilities required or implied by the applications source code at all stages of compilation, system building and run-time execution. This approach has been derived from research at SRDE on the design, implementation and evaluation of a particular virtual machine of this type, the HIVE system.