AdaCore

AdaCore has announced the launch of its 2nd annual 'Make with Ada' programming competition, a contest that aims to help the embedded software community improve the quality of their code by encouraging the use of the Ada and SPARK programming languages. The competition runs from 15 May to 15 September, 2017, and offers over €8000 in total prizes. Participants can register for the competition at here.

The publication and immediate availability of a free booklet, AdaCore Technologies for DO-178C / ED-12C, has been announced by AdaCore, which was written by Quentin Ochem (AdaCore) and certification expert Frédéric Pothon. The booklet addresses the DO-178C / ED-12C standards suite – the ‘core’ DO-178C / ED-12C standard and its technology supplements – and explains many of their more subtle aspects in the context of several different development scenarios.

The release of the GNAT Pro 17.1 development environment for SYSGO’s Real-Time Operating System PikeOS has been announced by AdaCore. With GNAT Pro 17.1, Ada users targeting PikeOS will see a number of product enhancements, including upgrades to the underlying code generator and debugger technologies (to GCC 6 and GDB 7.10, respectively), better elaboration order handling, improved stubbing in GNATtest, and enhanced debugger support in the GNAT Programming Studio (GPS) IDE.

The latest version of AdaCore’s model-based development and verification toolset has been released, QGen 17.1. QGen bridges the gap between control engineering and software engineering, helping customers in the automotive and aerospace industries, as well as other safety-critical software-intensive domains, take full advantage of model-based development while retaining the low-level control necessary to achieve full integration with target hardware.

The winners of AdaCore’s inaugural ‘Make with Ada’ programming competition for projects implemented on ARM Cortex M or R processors has been announced. Planned as an annual event, ‘Make with Ada’ aims to showcase Ada and SPARK as language technologies that can significantly improve code quality for modern embedded systems without requiring a steep learning curve for developers unfamiliar with these languages.