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).
Apr 4 '17
PTC today released full 64-bit code generation capability for embedded applications in the PTC ApexAda product line. This new release targets Intel x86_64 processors running Wind River VxWorks V7, and can also be used for Linux native application development.
Mar 21 '17
AdaCore has released its GNAT Pro 17.1 development environment for SYSGO’s Real-Time Operating System PikeOS®. AdaCore and SYSGO are longtime partners in the embedded market, with Ada’s reliability benefits providing an excellent match for SYSGO’s safety-critical PikeOS® RTOS. GNAT Pro for PikeOS® is especially suited for high-assurance embedded applications, thanks to its configurable run-time capability and its high-integrity profiles.
Mar 15 '17
AdaCore has announced new versions of its flagship products GNAT Pro, CodePeer, QGen and SPARK Pro.
Nov 28 '16
AdaCore has announced the winners from the First “Make with Ada” programming competition. The prizes are awarded to the projects that best meet the overall criteria of software dependability, openness, collaborativeness and inventiveness. The First Place prize of €5000 went to Stephane Carrez for his EtherScope monitoring tool that analyzes Ethernet traffic.