Product category:
Design and Development Software
News Release from: AdaCore | Subject: Gnat Pro High-Integrity-Edition for DO-178B
Edited by the Electronicstalk Editorial
Team on 17 April 2008
Ada development moves to latest VxWorks
Powerful and seamless environment for the development of Ada and mixed-language software for safety-critical and other high reliability applications.
AdaCore has released its 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 powerful and seamless environment for the development of Ada and mixed-language software for safety-critical and other high reliability applications
This article was originally published on Electronicstalk on 12 Jan 2006 at 8.00am (UK)
Related stories
Environment speeds Ada systems development
The Gnat Programming Studio is a sophisticated software development environment for the Ada programming language.
Development environment upgrades to Ada 2005
The latest and most advanced version of the Gnat Pro open-source Ada development environment supports all the major new features in Ada 2005.
"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", says 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.
Further reading
Environment accelerated Ada programming
Gnat Programming Studio is an advanced, powerful integrated development environment that accompanies the Gnat Pro Ada language development toolset.
IDE supports remote programming
AdaCore has launched its remote programming solution, an advanced feature of the company's Gnat Programming Studio (GPS) 4.0 integrated development environment (IDE).
Software analysis predicts system memory demands
A novel software analysis tool enables development teams to accurately predict the maximum size of the memory stack required to host an embedded software application.
With this latest release, developers can choose from four different run-time libraries, including: a full Ada run-time profile; a zero-footprint (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; and 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 itemised 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", says Rob Hoffman, General Manager of Aerospace and Defence, 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".
• AdaCore: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
• Electronicstalk Home Page
Search the Pro-Talk network of sites
