Jan 25 '13
in Electronic Design
A brief discussion of the new features in Ada 2012, with an emphasis on the contract features.
Jan 17 '13
Some questions and answers about Ada and Ada 2012 and its use in embedded systems.
Dec 21 '12
EE Times covers the completion of the Ada 2012 Standard.
Dec 11 '12
The December issue of The MagPi continues the series on programming the Raspberry Pi in Ada. This article focuses on types, conditionals, and literals.
Dec 4 '12
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.
Dec 4 '12
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.
Nov 29 '12
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.