GNAT Pro High-Integrity Edition for DO-178B Supports VxWorks 653 2.2

AdaCore, provider of the highest quality Ada tools and support services, announced the availability of GNAT Pro High-Integrity-Edition for DO-178B (version 6.1.1) on the latest version of the Wind River’s VxWorks 653 Platform, Version 2.2 for avionics and mission-critical systems. The result is a uniquely powerful and seamless environment for the development of Ada and mixed-language software for safety-critical and other high reliability applications.

“AdaCore has enjoyed a long and successful relationship with Wind River, with GNAT Pro offering our customers the first Ada language development environment for the initial VxWorks 653 platform many years ago,” said Robert Dewar, President and CEO of AdaCore. “By supporting this latest version of VxWorks 653, we are enhancing an already proven solution that has been certified to DO-178B Level A as part of multiple avionics systems, including the Boeing 787, C-130AMP cargo, and KC-767 tanker aircraft.”

GNAT Pro High-Integrity Edition for DO-178B for VxWorks 653 implements a full ARINC-653 APEX API. With this latest release, developers can choose from four different run-time libraries, including:

  • a full Ada run-time profile
  • a Zero-Foot-Print (ZFP) run-time profile, the smallest run-time library of the group, removing most dynamic features and providing the simplest certifiable solution
  • a Ravenscar-compliant run-time profile that adds tasking and some other dynamic features that have been proven to be certifiable
  • a special Cert run-time profile, specifically designed to support the requirements of avionics systems

The product was specifically tailored to provide the features needed in the development of avionics systems, while removing unneeded features to simplify certification to DO-178B Level A.

All GNAT Pro High-Integrity Family members are also accompanied by AdaCore’s GNATstack analysis tool set. GNATstack statically calculates the maximum stack space required by each task in an application. The computed bounds can be used to ensure that sufficient space is reserved, thus guaranteeing safe, predictable execution with respect to stack usage. GNATstack uses conservative analysis to deal with complexities such as subprogram recursion, while avoiding unnecessarily pessimistic estimates. The tool’s output data can be used directly to satisfy DO-178B requirements (Table A-5, Objective 6, which relates to the Accuracy and consistency issues itemized in Section 6.3.4f).

In addition, GNAT Pro High-Integrity Edition for DO-178B is bundled with GNATbench 2.1.0, the latest release of AdaCore’s powerful Eclipse-based development environment for Ada. GNATbench 2.1.0 tightens integration with Wind River’s Workbench development suite, offering more advanced editing, automatic program traversal, new project wizards and more advanced build capabilities for both Ada-only and mixed-language application development.

“Wind River is pleased to see the GNAT Pro Ada development solution on our latest VxWorks 653 Platform,” said Rob Hoffman, general manager of aerospace and defense, Wind River. “AdaCore and Wind River have a proven success record in supporting avionics system developers with our joint solutions. Now our customers can start taking advantage of the new capabilities and features available in our industry-leading VxWorks 653 Platform for both Ada and mixed language safety-critical development, using this latest version of GNAT Pro.”

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services. AdaCore has North American headquarters in New York and European headquarters in Paris.