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.
May 24 '17
The GNAT Pro Ada Development Environment is available the Wind River® FACE Certified VxWorks® 653 Platform. In addition, AdaCore has initiated the FACE verification/certification process for GNAT Pro. VxWorks 653 is the first Commercial-Off-The-Shelf (COTS) product to be certified as conformant to the FACE Technical Standard’s Operating System Segment (OSS) Safety Base Profile.
May 23 '17
MHI Aerospace Systems Corporation (MASC) has selected the QGen toolset to develop the software for the Throttle Quadrant Assembly (TQA) system. This avionics research project is being conducted to meet the Level C objectives in the DO-178C safety standard for airborne software and its DO-331 supplement on Model-Based Development and Verification. The use of a qualified code generator can help save significant effort in developing and verifying the software, and the future availability of qualification material from AdaCore factored strongly in MASC’s decision to choose QGen. The QGen code generator can be qualified at the highest Tool Qualification Level, TQL-1 (equivalent to a development tool in DO-178B).