Yep, the Aegis Combat System is almost all in Ada (but simulated and developed mostly in C++ and Matlab) http://en.wikipedia.org/wiki/Aegis_Combat_System http:

Yep, the Aegis Combat System is almost all in Ada (but simulated and developed mostly in C++ and Matlab) http://en.wikipedia.org/wiki/Aegis_Combat_System http://en.wikipedia.org/wiki/Aegis_Combat_System