New Ada 2012 ISO standard offers security boost

The new version of Ada allows developers to do contract-based programming

The International Organization for Standardization (ISO) has published as a standard the latest version of the Ada programming language, Ada 2012, which offers a new security feature found in few other languages, called contract-based programming.

As Ada tends to be used in mission-critical embedded systems, standardization allows cautious users to upgrade to the new version with the assurance that the fresh features work as they are designed to, and that these features will be supported by Ada-compliant tool vendors.

Contract-based programming allows programmers to better fortify their programs against bugs and malicious misuse. With contract-based programming, the programmer has the ability to specify a set of conditions that must be met before a program's routine executes, as well as to set a range of permissible output values.

By checking such pre- and post-conditions during run time, a program ensures that it can't be injected with or emit malicious or incorrect data, potentially making it safer and more reliable.

While contract programming is generally considered to be a good idea by many computer science academicians, few languages today support it, at least without additional add-ons for the compiler. The Eiffel programming language is probably the most widely known language that natively supports design by contract.

Contract-based programming fits with DO-178C / ED-12C, a new safety standard for avionics software managed by the RTCA (Radio Technical Commission for Aeronautics).

Ada 2012 has a number of other new features as well. The updated language is better suited for working in multicore environments. The designers also worked on making the language more expressive, adding in more powerful iterators and additional ways of formulating conditional expressions.

The U.S. Defense Department commissioned the development of Ada in the late 1970s as a way to consolidate the proliferating number of languages then being used across the military.

While Ada never caught on as a general use language -- or even as the sole language for the Defense Department -- it has found a home in aviation as well as other industries that require real-time ultra-reliable systems.

Ada 2012 is the first major update to the Ada standard in seven years. The Ada Rapporteur Group (ARG) of the ISO/IEC (International Electrotechnical Commission) JTC 1 (Joint Technical Committee) revised the language.

AdaCore has already released an Ada 2012 complier and associated tools. Green Hills Software and Atego also offer Ada tools as well.

Joab Jackson covers enterprise software and general technology breaking news for The IDG News Service. Follow Joab on Twitter at @Joab_Jackson. Joab's e-mail address is

Join the PC World newsletter!

Error: Please check your email address.

Tags Development toolsapplication developmentLanguages and standardssoftwareAdacore

Our Back to Business guide highlights the best products for you to boost your productivity at home, on the road, at the office, or in the classroom.

Keep up with the latest tech news, reviews and previews by subscribing to the Good Gear Guide newsletter.

Joab Jackson

IDG News Service
Show Comments

Cool Tech

Lexar® Professional 1000x microSDHC™/microSDXC™ UHS-II cards

Learn more >

D-Link TAIPAN AC3200 Ultra Wi-Fi Modem Router (DSL-4320L)

Learn more >

ASUS ROG Swift PG279Q – Reign beyond virtual world

Learn more >

Crucial® BX200 SATA 2.5” 7mm (with 9.5mm adapter) Internal Solid State Drive

Learn more >

D-Link PowerLine AV2 2000 Gigabit Network Kit

Learn more >

Xiro Drone Xplorer V -3 Axis Gimbal & 1080p Full HD 14MP Camera

Learn more >

Gadgets & Things

Lexar® Professional 1000x microSDHC™/microSDXC™ UHS-II cards

Learn more >


Learn more >

Lexar Professional 2000x SDHC™/SDXC™ UHS-II cards

Learn more >

Family Friendly

ASUS VivoPC VM62 - Incredibly Powerful, Unbelievably Small

Learn more >

Lexar® Professional 1000x microSDHC™/microSDXC™ UHS-II cards

Learn more >

Lexar Professional 2000x SDHC™/SDXC™ UHS-II cards

Learn more >

Stocking Stuffer

Lexar Professional 2000x SDHC™/SDXC™ UHS-II cards

Learn more >

Lexar® Professional 1000x microSDHC™/microSDXC™ UHS-II cards

Learn more >

Christmas Gift Guide

Click for more ›

Most Popular Reviews

Best Deals on PC World

Latest News Articles


GGG Evaluation Team

Kathy Cassidy


First impression on unpacking the Q702 test unit was the solid feel and clean, minimalist styling.

Anthony Grifoni


For work use, Microsoft Word and Excel programs pre-installed on the device are adequate for preparing short documents.

Steph Mundell


The Fujitsu LifeBook UH574 allowed for great mobility without being obnoxiously heavy or clunky. Its twelve hours of battery life did not disappoint.

Andrew Mitsi


The screen was particularly good. It is bright and visible from most angles, however heat is an issue, particularly around the Windows button on the front, and on the back where the battery housing is located.

Simon Harriott


My first impression after unboxing the Q702 is that it is a nice looking unit. Styling is somewhat minimalist but very effective. The tablet part, once detached, has a nice weight, and no buttons or switches are located in awkward or intrusive positions.


Latest Jobs

Don’t have an account? Sign up here

Don't have an account? Sign up now

Forgot password?