Software Requirements for Dedicated High Integrity Systems,

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.

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1974
Accession Number
AD0783653

Entities

People

  • J M Taylor

Tags

DTIC Thesaurus Topics

  • Buildings And Structures
  • Computer Programs
  • Computers
  • Digital Information
  • Standards
  • Test And Evaluation
  • Virtual Machines

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Parallel and Distributed Computing.
  • Systems Analysis and Design