Techniques for Operating System Machines

Abstract

One of the most difficult problems facing system designers is that of resource allocation to a particular machine. In this report we discuss the basic concepts of resource allocation to, by and from an operating system and the techniques of describing these concepts in terms of the HOS specification language, AXES. We show here that Higher Order Software (HOS) systems (including operating systems) are secure. The HOS/AXES concepts are demonstrated by example specifications of an operating system which uses as a model the APOLLO on-board flight software system. The concept of a Higher Order Machine (HOM), whose purpose is to replace today's intermediate machine layers and communicate directly to an HOS specified system is discussed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1977
Accession Number
ADA095989

Entities

People

  • Margaret Hamilton
  • S. Cushing
  • Saydean Zeldin
  • W. Heath

Tags

Communities of Interest

  • C4I
  • Ground and Sea Platforms
  • Space

DTIC Thesaurus Topics

  • Central Processing Units
  • Classification
  • Computer Programming
  • Computer Programs
  • Computers
  • Content Addressable Memory
  • Control Systems
  • Geometry
  • Guidance Computers
  • Language
  • Massachusetts
  • Operating Systems
  • Parallel Computing
  • Reliability
  • Software Development
  • Standards
  • Systems Engineering

Fields of Study

  • Computer science

Readers

  • Aerial Delivery - Logistics and Supply Chain Management.
  • Parallel and Distributed Computing.
  • Software Engineering