PARIS, NEW YORK, MUNICH. AdaCore released its GNAT Pro Ada Development Environment for its latest Wind River VxWorks real-time operating system (RTOS), with support for the ARM 64-bit processor. It is still possible for GNAT Pro users who were working with previous VxWorks releases to continue doing so by upgrading to the latest version. AdaCore’s GNAT Pro C Development Environment’s timeframe meets that of GNAT Pro Ada, and GNAT Pro C++ for the latest VxWorks release is aimed for the first part of 2020. 

Some of the specialized Ada run-time libraries that are offered include:

• The ZFP (Zero Footprint Profile) with minimal run-time code.
• The Cert profile, which extends the ZFP including support for ARINC-653 APEX processes in Ada or mixed-language applications and complements analysis for inclusion in systems requiring certification under standards such as DO-178B or DO-178C.
• The Ravenscar-Cert profile, which extends the ZFP including the Ravenscar tasking subset.

“Adding support for the latest release of VxWorks provides a continuous path for our avionics customers on VxWorks,” said AdaCore’s Commercial Director, Jamie Ayre. “Our close relationship with Wind River on software development and verification tools, combined with the power of VxWorks, allow our customers in the aerospace community – both commercial and military – to develop reliable, safe and secure applications that need to meet the most demanding standards.”

For more information, visit www.adacore.com/.