Ada 2012

Engineering ReliabilitySafetySecurity

Ada 2012 is the next generation of the world’s premier programming language for engineering safe, secure and reliable software.

In an era where software is literally touching every part of our lives, the need for safe and secure software has never been more relevant and more urgent. With decades of success in industries including avionics, aerospace, and defense, Ada is generating new interest in domains such as automotive, medical, and financial systems, where the cost of software errors can range from lost livelihoods to lost lives.

Explore this site and learn about the features and benefits of Ada and why you should consider Ada 2012 for your next project.

Why use Ada for your project?

Development cost savings

For most large, long-lived systems the major effort arises not so much in the initial coding stage but rather during testing / quality assurance, functionality upgrades, porting to new platforms, and similar "back end" activities. Ada was specifically designed to address these issues and does so more effectively than other languages. An Ada compiler will often detect errors that with other languages would only be discovered during testing and debugging.

Successful usage in practice

Ada has always been an attractive choice in application domains where reliability (versus, say, quickness to market) has been an overriding requirement. Ada enjoys a strong presence in domains such as avionics, space systems, shipboard systems, nuclear reactor control, train and subway systems, and command and control.

Maturity of language and implementations

Ada has evolved since its initial development in the early 1980s, with three subsequent revisions that have reflected the needs of its users and the changing state of software technology. At each new version of the standard, careful attention was paid to practical issues such as the effect of proposed language features on run-time efficiency. The language implementation technology is mature, with a strong track record in large and long-lived critical systems.

Status as International Standard

Unlike other languages that have achieved standardization only after implementations have become widespread, Ada was standardized first and implemented later. This approach has avoided the technical and political problems of trying to define the syntax and semantics of features that were implemented in incompatible ways.

Interoperability with other languages

It is rare, especially in large systems, for the software to be developed solely in one programming language. Ada is unique in having standard features for interfacing with other languages. This makes it easier to develop multi-language systems.

Ease of training programmers

Ada is designed to support sound software engineering practice, and its features follow consistent principles that are intuitive and easy to learn.

This work is licensed under a Creative Commons Attribution-NoDerivs 3.0 Unported License. In addition, AdaCore waives its right to attribution provided that the Work is used as otherwise authorized under the License.