Accession Number:

AD0783653

Title:

Software Requirements for Dedicated High Integrity Systems,

Descriptive Note:

Corporate Author:

SIGNALS RESEARCH AND DEVELOPMENT ESTABLISHMENT CHRISTCHURCH (ENGLAND)

Personal Author(s):

Report Date:

1974-03-01

Pagination or Media Count:

35.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE