A quick search reveals Lockheed Martin used Ada 2005 primarily to implement ERAM.
Ada's Vital Role in New US Air Traffic Control Systems
http://www.iaeng.org/publicati...
"The new Ada 2005
real-time, and object-oriented language. Now it offers more
has introduced more robust capabilities based on user experience.
safety and portability than Java, and better efficiency and
The language offers particular innovations which helps make
safety assurance less costly and further improves high integrity
flexibility than of C/C++"
Slashdot Mirror
A quick search reveals Lockheed Martin used Ada 2005 primarily to implement ERAM. Ada's Vital Role in New US Air Traffic Control Systems http://www.iaeng.org/publicati... "The new Ada 2005 real-time, and object-oriented language. Now it offers more has introduced more robust capabilities based on user experience. safety and portability than Java, and better efficiency and The language offers particular innovations which helps make safety assurance less costly and further improves high integrity flexibility than of C/C++"