Feb 27 '18
Scandinavian Real Heart AB in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its revolutionary Total Artificial Heart. Scandinavian Real Heart’s Total Artificial Heart mimics the way that the natural heart functions to save patients with heart failure, and give them a better quality of life than the alternatives that are available today. Scandinavian Real Heart is using a suite of AdaCore tools, include the GNAT Pro Ada development environment.
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.
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 14 '17
Here are some recent updates to our Free Tools and Libraries page:
November 15, 2017: Added LEA, a Lightweight Editor for Ada.
August 31, 2017: Added AdaYAML, an experimental library for handling YAML files.
August 1, 2017: Added a thick binding to the Redland Raptor RDF Syntax library.
Added a link to CodingGround, which allows compiling Ada programs online.
June 8, 2017: Added ArchiCheck, an architecture checking tool.
May 19, 2017: Added Gnat Math Extensions, extensions to the standard vector and matrix operations.
Added Ada LZMA, an Ada binding for liblzma compression library.
Added Ada Database Objects, an Ada library that provides object relational mapping to access a database.
Added Ada Wiki, a library for a wiki engine.
(This post will be periodically updated – Webmaster.)
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.