International Organization for Standardization approves, publishes Ada 2012 language standard

Safety-critical software

GENEVA, Switzerland, 19 Dec. 2012. The International Organization for Standardization (ISO) in Geneva, Switzerland, has approved and published the latest version of the Ada programming language.

Ada 2012 brings various enhancements to the Ada language, says a spokesperson. Related to contract-based programming, Ada 2012 adds the ability to specify preconditions and postconditions for subprograms and invariants for private (encapsulated) types, which take the form of Boolean expressions that can be interpreted (under programmer control) as run-time conditions to be checked.

These contract-based programming features fit with Ada’s Object-Oriented Programming model, and support the type substitutability guidance supplied in DO-332, Object-Oriented Technologies and Related Techniques Supplement to the DO-178C/ED-12C avionics software safety standard.

The language revision, known as Ada 2012, was under the auspices of ISO/IEC JTC1/SC22/WG9 and was conducted by the Ada Rapporteur Group (ARG) subunit of WG9, with sponsorship in part from the Ada Resource Association (ARA) and Ada-Europe.

“Ada 2012 is a significant technical accomplishment,” says Dr. Joyce Tokar, convenor of WG9.

The formal approval of the standard was issued on November 20 by ISO/IEC JTC 1, and the standard was published on December 15.

“Ada 2012 is a major advance in the state of the art in programming languages,” says Dr. Edmond Schonberg, rapporteur of the ARG. “The new features answer real user needs, and help cement Ada’s reputation as a language of choice for systems where reliability, safety, and security are paramount.”

Safety-critical software image courtesy Shutterstock.

Safety-critical software image courtesy Shutterstock

Get the Intelligent Inbox Bi-weekly Newsletter Delivered to Your Inbox

Subscribe to email newsletter today at no cost and receive the latest information on:

  • Comercial Aviation
  • Avionics
  • ATC/ATM
  • SATCOM
Wire News provided by   

 

Press Releases

CURTISS-WRIGHT AWARDED CONTRACT BY SIERRA NEVADA CORPORATION

Curtiss-Wright Corporation today announced that its Defense Solutions division has received a contract...

Innovative Integration Announces the FMC-Servo

Camarillo, CA June 19, 2015, Innovative Integration, a trusted supplier of signal processing and data ...

METADATA SUPPORT ENHANCES INDUSTRY-LEADING HD VIDEO MANAGEMENT SYSTEM FROM CURTISS-WRIGHT

Curtiss-Wright Corporation today announced that its Defense Solutions division has further enhanced it...

Most Popular Articles


All Access Sponsors


Follow Us On...


Our Tweets from AUVSI 2015