Ada Resource Association

Calling all fellow software engineers (Ada geeks)! On this Valentine’s Day, AdaCore invites you to open your hearts and help share the passion for all things Ada! As so many developers know, relationships with programming languages can be a lot like romances: First there are wild infatuations and brief honeymoons filled with eager expectations. Then come realities, incompatibilities, even loveless cohabitation. So, what’s next? A remorseful search for a new relationship, or reconciliation and renewed passion? Thanks to the new ISO-approved Ada 2012 standard, our ardor for Ada is now stronger than ever! Come join the conversation: Let us know why and how you use Ada, and what you love about it. Visit www.ada2012.org/passion.html and share your own ‘passion’ for Ada! Also, check us out on facebook at facebook.com/adapassion.

A new GNAT Pro feature allows Ada developers to portably and reliably define data layout in an endianness-independent fashion. This capability makes it possible to port and reuse existing code bases on a different hardware platform, without having to manually implement the error-prone, byte-swapping logic that would otherwise be needed.

Rockwell Collins has successfully used AdaCore’s Code Traceability Analysis for DO-178B in the certification of the Integrated Display System (IDS) for a large, next-generation, commercial aircraft. The Traceability Analysis package is part of the evidence needed to satisfy the DO-178B objectives for structural code coverage at Level A, the highest (most stringent) level for avionics software safety.

The SPARK Pro 11 software development and verification environment has been released, providing a major step forward for the developers of high-assurance systems. SPARK Pro 11 offers many enhancements particularly in the area of program proof.

GNATProve is used for formal verification of Ada programs and is being developed as part of the Hi-Lite project. It can prove that subprograms respect their contracts, expressed as preconditions and postconditions in the syntax of Ada 2012. The tool automatically discovers the subset of subprograms which can be formally analyzed. We provide binary distributions for x86 linux, x86 windows and x86-64 bit linux. More details can be found at http://www.open-do.org/projects/hi-lite/gnatprove/

AdaCore today announced the successful usage of its SPARK Pro and GNAT Pro High-Security products by Rockwell Collins in the development of the SecureOne™ Guard, a high assurance cross domain guard for military tactical systems. The SecureOne Guard has strict requirements for reliability and security. In order to meet these needs, Rockwell Collins selected SPARK Pro and GNAT Pro High-Security as key development tools for the project.

SmartSide has adopted the Ada programming language and GNAT Pro for the implementation of their Smart Devices platform. SmartSide provides Smart Metering and Smart Grid management solutions which are used to optimize Smart Grid networks.

Saab Electronic Defence Systems (Sweden) has adopted the CodePeer static analyzer tool for use on the GIRAFFE project.

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