The Multiple System OFP Support (MSOS) System, a Pre-PMRT Capability for Evaluating Tactical Software,

Abstract

A generic software testing facility is presently under development at Warner-Robins Air Logistics Command. The Multiple-System OFP Support System will allow independent verification and validation of avionic software for a variety of systems to be conducted early in the development cycle, reducing costs to the Air Force. Intermetrics, Inc. is linking via hardware and associated software the Nanodata QM-1 microprogrammable computer and the VAX-11/780. The AM-1 hosts emulations of tactical embedded computers and the VAX hosts simulations of real environments. Overlaying the emulation/simulation system in a UNIX-based monitor tailored to provide absolute control and complete visibility into the executing target machine software. A variety of static test tools for analyzing JOVIAL and, eventually, Ada code is being hosted on the VAX. A primary function of these tools will be to verify the conformance of the code to the specific standards. (Author)

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1982
Accession Number
ADP003524

Entities

People

  • H. Lowery
  • M. Kirchoff
  • V. Vajo

Tags

DTIC Thesaurus Topics

  • Air Force
  • Avionics
  • Buildings And Structures
  • Computers
  • Cost Reductions
  • Costs
  • Environment
  • Logistics
  • Military Facilities
  • Simulations
  • Software Testing
  • Standardization
  • Standards
  • Static Tests
  • Validation
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Aviation Science / Aeronautics.
  • Computer Science.
  • Database Systems and Applications