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
Wire News provided by   

 

Press Releases

One Component, Snap Cure Epoxy Features High Strength Properties

Suitable for a variety of applications in the electronic, aerospace and OEM industries, Master Bond EP...

One Part Epoxy Resists up to 500°F and Meets NASA Low Outgassing Specifications

Master Bond Supreme 12AOHT-LO is a one component epoxy for a variety of bonding and sealing applicatio...

Low Viscosity, One Part Cyanoacrylate Is Non-Toxic and Meets ISO 10993-5 Specifications

Master Bond MB250NT is widely used for a variety of applications ranging from repair to high speed pro...

Thermally Conductive, Two Component Epoxy Passes USP Class VI Tests and ISO 10993-5 Specifications

With biocompatibility and cytotoxicity certifications, Master Bond EP21AOLV-2Med is often selected for...

CURTISS-WRIGHT CONGRATULATES NORTHROP GRUMMAN ON SUCCESSFUL FIRST FLIGHT OF SECOND MQ-4C TRITON UAS

Curtiss-Wright Corporation’s Defense Solutions division applauds Northrop Grumman Corporation (NYSE: N...

Curtiss-Wright’s New Rugged Mobile IP Router Subsystem Features an Integrated Cisco® 5915 ESR Router

Curtiss-Wright Corporation today announced that its Defense Solutions division, a Cisco® Systems Solut...

VICTORY Shared Processing, Fire Control Computer, and Switch for Ground Vehicles Introduced by Curtiss-Wright

Curtiss-Wright Corporation today announced that its Defense Solutions division has introduced a new fu...

GE Announces First Sub-Credit Card-Sized Multi-Function High Definition (HD) Video Tracker

HUNTSVILLE, AL.— OCTOBER 13, 2014—GE’s Intelligent Platforms business today announced at AUSA (Octobe...

Most Popular Articles


All Access Sponsors


Follow Us On...