Product assurance for the development of the SAX AOCS application software

The Italian/Dutch SAX satellite, to be launched end of April 1996, is a scientific spacecraft, built to explore celestial X-ray sources. The software for the Attitude and Orbit Control Subsystem on-board computer for SAX consists of special purpose Basic Software, which perfonns operating system functions, and of Application Software (ASW). The...