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).
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 31 '17
in Methods and Tools
The author describes how Ada appeared to a long-time C programmer.
Mar 22 '17
Jim Rogers compares the High Integrity C++ standard to out-of-the-box Ada, and notes that many of the recommendations are unnecessary for Ada, and others where using of a separate tool is required are supported directly by Ada profiles and restrictions.
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.