ISO IEC revise Ada programming language Standard for greater reliability and security

Issue 47 – March 2012

Often used in air traffic control, banking, and other high-risk industries because of its reliability, the Ada programming language has become even more flexible and secure with the third edition of ISO/IEC 8652:2012 Information technology – Programming languages – Ada.

Among other improvements, the latest version of Ada offers a feature commonly referred to as 'contract-based programming'. Found in very few other languages, it significantly strengthens programmes against bugs and malicious use.

Ada was originally designed with three broad goals:

  • Programme reliability and maintenance

  • Programming as a human activity

  • Efficiency

Since then, the language has been revised to increase flexibility and extensibility, and give more control and wider support. The 2012 version further enhances its capability and expressiveness, as well as the dependability, safety, and security of programmes using the language.

The revision responds to real user needs, for example by improving portability, interfacing to other languages, adding formal support for contract-based programming, and continuing to improve object-oriented and real-time capabilities.

'By publishing Ada as an international Standard, users know that any updates will be accessible to developers around the world, and have confidence on the stability of the updates,' says Dr Joyce Tokar, Convenor of the working group that developed the Standard.

This is critical as Ada is often used in industries where security and dependability are crucial. Examples include aviation and air traffic control, satellites, medical and banking sectors, railway and subway systems, and the military, to name a few.

The language was originally commissioned by the US Department of Defense to consolidate programming languages in the military, and it was published as an ISO Standard in 1987. It is named after Ada Lovelace, considered the world's first computer programmer.

Summarised from an ISO media release, 21 February 2013.


Published in international.

You may be interested in these Standards: