A Proposal for the Verification in SDVS of a Portion of the MSX Tracking Processor Software.

Abstract

The Midcourse Space Experiment (MSX) is a Strategic Defense Initiative Organization program whose primary purpose is to conduct tracking event experiments of targets/phenomena in midcourse. In this report we describe the portion of the MSX spacecraft tracking processor software that we have selected for verification in SDVS. We then enumerate the Ada constructs appearing in this part of the software that are not currently handled by the SDVS Ada translator, but which we intend to implement. We also mention some of the problems that we expect to encounter in the course of the project.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 1992
Accession Number
ADA288686

Entities

People

  • T. K. Menas

Organizations

  • The Aerospace Corporation

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Assembly
  • Compilers
  • Computer Science
  • Computers
  • Construction
  • Conversion
  • High Level Languages
  • Language
  • National Security
  • Numbers
  • Physics Laboratories
  • Real Numbers
  • Rendezvous
  • Spacecraft
  • Specifications
  • Translators
  • Two Dimensional

Fields of Study

  • Computer science

Readers

  • Atmospheric Remote Sensing.
  • Database Systems and Applications
  • Theoretical Analysis.

Technology Areas

  • Space