Almost certain it's written in Ada. This was in the 1980s where the US DoD was mandating everything they bought be written in Ada and as a result the entire aerospace industry switched. Although it's no longer a requirement, the vast majority of critical aerospace software is written in Ada to this day.
Last edited by catiamonkey; 1st April 2013 at 09:09.