Flight Software Language

For flight software we'll use Ada. The people we have talked with who have extensive experience with all the modern languages can argue elegantly in favor of Ada.

The discriminators seem to be our ability to verify the code, the volume of plug-in software modules already written in Ada for the kinds of applications we have, efficiency of translating other languages into a common format, cost of maintainig the code, availability of compilers for nearly every platform on the market, and the cost of generating code. NASA and DoD have spent billions of dollars of the taxpayers' money on studying this question and always arrive back at Ada, so we would need a very compelling argument to consider an alternative.