Feb 1 '18
AdaCore has released new versions of all of their products, include GNAT Pro, SPARK Pro, and CodePeer.
Jan 16 '18
AdaCore publisizes the successful completion of a research project for DENSO, Application of Formal Methods to Help Achieve Freedom from Interference. This project, conducted jointly with the University of Nagasaki, had the goal of simplifying the development of safety-critical automotive applications in an ISO 26262 context.
Dec 4 '17
The author describes how Ada code can be used in environments where formal analysis of the entire program is impractical.
Nov 16 '17
MDA, a business unit of Maxar Technologies, has selected the GNAT Pro Assurance Ada development environment for the LEON3 target processor, to produce the software for a Ku-Band communication subsystem that will replace the current version. This critical International Space Station (ISS) subsystem has to work reliably over the long term, a requirement that led MDA to maintain Ada as the implementation language.
Nov 16 '17
in Electronic Design
This in-depth article evaluates the use of the Ada language for DSP applications, comparing its advantages versus C and C++. It also presents the porting of a C language implementation of the MPEG-2 Layer-2 decoder, based on fixed-point operations, to the Ada language.
Nov 13 '17
AdaCore today announced that its GNAT Pro Ada environment has been successfully used by Thales to develop and verify a qualified autocode generator for critical airborne software. Thales implemented the autocode generator in Ada; the tool takes an XML file and produces source code for an embedded avionics system that will be assessed against the Level B objectives in DO-178C / ED-12C.