Modification of Savant to Run on the PDP RSX-11M Operating System.

Abstract

SAVANT (System Architecture Verification and Analysis Technique) is a computer program developed specifically to investigate the feasibility of an avionic system design, in terms of problems such as completeness and consistency. The program was originally developed on a Prime 300 computer system. This Memorandum describes alterations and modifications of SAVANT, to enable it to be used on PDP 11 RSX-11M operating system. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1982
Accession Number
ADA124608

Entities

People

  • P. T. May
  • R. J. Bluff

Organizations

  • Royal Aircraft Establishment

Tags

Communities of Interest

  • Air Platforms
  • C4I

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Compilers
  • Computer Programs
  • Computers
  • Consistency
  • Current Source Inverters
  • Data Rate
  • High Level Languages
  • Insensitive Explosives
  • Intellectual Property
  • Laser Peening
  • Law
  • Molecular Orbital Theory
  • Operating Systems
  • Plastic Explosives
  • Terminals

Fields of Study

  • Computer science

Readers

  • Aerospace Test and Evaluation
  • Artificial Intelligence