Accession Number : ADP003524

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


Personal Author(s) : Kirchoff,M. ; Vajo,V. ; Lowery,H.

Report Date : NOV 1982

Pagination or Media Count : 8

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)

Descriptors :   *Computer program verification, *Tactical data systems, Avionics, Validation, Air Force, Standardization, Embedding

Distribution Statement : APPROVED FOR PUBLIC RELEASE