[lake99]

> there is most likely Ada underneath

I have worked for quite a few real-time safety-critical systems, including one of the domains you mentioned. I have ex-colleagues who now work for other such domains. I assure you, that Ada is rarely ever seen. It's just C all the way, and usually running without an OS. I used to see job openings for Ada programmers some 15-20 years ago, but I haven't seen anyone use it in any of the firms I worked at. The only thing that seems to be changing these days is a creeping in of Matlab/Simulink-generated C code.

[borplk]

Ada is alive and well. http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html

[tormeh]

Kongsberg writes it's missile-guiding software in Ada. A pretty strong endorsement if you ask me.