A Proposal for the Verification in SDVS of a Portion of the MSX Tracking Processor Software.
Telis K. Menas · 1992
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.