We advocate using Ada in the implementation of high integrity systems. Using Ada fits well with our development strategy to produce software with the highest possible reliability. Ada possesses unique features that give it a clear advantage when developing this type of software.
Ada has always provided support for real-time and embedded systems, this has been further enhanced as the language has evolved. The latest version Ada 2012 is a modern fully object-oriented language, suitable for creating almost any software system.
It is a mature language with a strong track record in large and complex systems that are long lived.