It would be exciting to have Ada 95 fly to Mars.
    > The proposed flight computer is a PowerPC 603 with a PCI bus.

There are some things that should be asked before choosing between,
for example, VxWorks or COTS operating systems or Free operating systems.
For example: will the low-power Power-PC be on a board on an Amiga?
             if not, how will it be configured?
             how will it be protected from the radiation?
             is it okay if it reboots occasionally due to memory leakage?
             is it okay if it hangs and requires external reboots?
             is there any predjudice against OS/2?
             is there any predjudice against DOS?
             is there a need for tasking, reliable software, or maintainability?