Ada Compiler Validation Summary Report: Certificate Number: 950511W1.11382. Texas Instruments, Incorporated. F-16 Modular Mission Computer Ada Compilation System, Version 2.5.01. VAXstation 4000/90 under VAX/VMS, V5.5-2H4 => F-16 Modular Mission Computer (Bare Machine).

Abstract

This Ada implementation was tested and determined to pass ACVC 1.11. Testing was completed on May 11, 1995. Host Computer System: VAXstation 4000/90 under VAX/MS, Version 5.5-2H4 Target Computer System: F-16 Modular Mission Computer (bare machine).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 22, 1995
Accession Number
ADA295415

Tags

Communities of Interest

  • Advanced Electronics

DTIC Thesaurus Topics

  • Assembly Languages
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Defense Systems
  • Foreign Languages
  • High Level Languages
  • Host Computers
  • Language
  • Machine Languages
  • Magnetic Tape
  • Object Code
  • Programming Languages
  • Software Development
  • Standards
  • Validation

Fields of Study

  • Computer science

Readers

  • Aviation Science / Aeronautics.
  • Computer Science.
  • Software Verification and Validation.