Accession Number : ADA288686
Title : A Proposal for the Verification in SDVS of a Portion of the MSX Tracking Processor Software.
Corporate Author : AEROSPACE CORP EL SEGUNDO CA COMPUTER SCIENCE LAB
Personal Author(s) : Menas, T. K.
PDF Url : ADA288686
Report Date : 30 SEP 1992
Pagination or Media Count : 19
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.
Descriptors : *TRACKING, *STRATEGIC DEFENSE INITIATIVE, *COMPUTER PROGRAM VERIFICATION, *MIDCOURSE DEFENSE, COMPUTER PROGRAMS, SPACECRAFT, TARGETS, ADA PROGRAMMING LANGUAGE, HIGH LEVEL LANGUAGES, TRANSLATORS.
Subject Categories : Computer Programming and Software
Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE