We advocate using Ada for the implementation of high integrity systems. Ada is designed with reliability in mind, and it possesses unique features that give it a clear advantage when developing this type of software. It is a mature language with a strong track record in large and complex systems that are long lived.
Ada has always provided support for of 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.