Ada Resource Association

Language revision adds contract-based programming, multicore support, and other advanced features

STOCKHOLM, SWEDEN, June 12, 2012 – At the Ada-Europe 2012 conference in Stockholm , the Ada Resource Association (ARA) and Ada-Europe today announced the completion of the design of the latest version of the Ada programming language and the submission of the reference manual to the International Organization for Standardization (ISO) for approval. The language revision, known as Ada 2012, is 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 ARA and Ada-Europe.

Read the full release.

Open-source research projects combine model-based integration and qualified code generation for safety-critical systems

Full support for the upcoming Ada 2012 language standard

Ada expert Tucker Taft joining AdaCore as Director of Language Research

GPS 5.1 Integrated Development Environment brings new C/C++ features, improved support for CodePeer, and more powerful source editing

Digicomp Research has reaffirmed their commitment to Ada based on their continuing success with the language, by renewing their long-standing subscription for the GNAT Pro Ada development environment.

With the LDRA announcement of being able to test software for Homeland Security’s CWE compatibility standard, LDRA’s leadership in the security sector has been recognized by Military Embedded Systems.

Open Source coverage analysis tool wins prize in 14th annual award program

GNAT Pro to be used for safety-critical software development of railway control system

Targeting avionics, medical and automotive applications, LDRA integrated the LDRA tool suite with Code Warrior for HC08/HCS08, bringing powerful certification capabilities to this 8-bit footprint.