• Each subsystem can define which of its sources are visible to other subsystems. An error is reported when a dependency on a non-visible source of a different subsystem is detected.
• A new GPRbuild option limits source dependency to immediately “with”ed projects.

This new release has addressed all issues reported after the 6.1.1 GNAT Pro release.

We encourage all GNAT Pro users to upgrade to this new builder technology. As a reminder, using or upgrading GPRbuild does not require a change of compilers and therefore does not imply changing code generators. All the GNAT Pro compilers released over the last 5 years are in fact supported by GPRbuild.

GPRbuild 1.1.0 can be downloaded from the “Tools” folder in the “Download” section on GNAT Tracker. As always, for questions, or to inform us of issues that you encounter, please let us know through the GNAT Tracker report facility or by email to the usual report@adacore.com address.

NEW YORK and SAN JOSE, Calif., April 15, 2008 - Embedded Systems Conference, Silicon Valley - AdaCore, provider of the highest quality Ada tools and support services, today 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:

• Full Ada run-time profile
• 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
• Ravenscar-compliant run-time profile that adds tasking and some other dynamic features that have been proven to be certifiable
• 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. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

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. www.adacore.com

Press Contact
Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
e-mail: adacore@rainierco.com

NEW YORK and SAN JOSE, Calif., April 15, 2008 - Embedded Systems Conference, Silicon Valley - AdaCore, provider of the highest quality Ada tools and support services, today announced a new major release of GNATbench, the company’s Eclipse-based development environment for Ada. GNATbench 2.1.0 includes a variety of enhancements, including general project management and presentation capabilities, new features within the language-sensitive editor, new source navigation capabilities, new wizards, and an enhanced builder. The result is a more powerful Integrated Development Environment (IDE) for Ada that supports tighter integration with Wind River’s Workbench development suite, and automatic integration with the large pool of software development capabilities already available within the Eclipse framework.

“This latest GNATbench release further enhances an already powerful set of software development capabilities,” said Pat Rogers, AdaCore’s GNATbench Project Leader. “We at AdaCore believe that customer support is our primary responsibility. This release adds a variety of new capabilities, many based on user input, to improve developer productivity and decrease time-to-market.”

“AdaCore was founded on open source software principles to provide the highest quality software development solutions and support for the Ada programming language,” said Robert Dewar, President and CEO of AdaCore. “We joined the Eclipse Foundation a year ago as an Add-In-Provider and Member-At-Large so that we could contribute to this open source community. The Eclipse open source framework allows us to extend our core principles to support the largest number of integrated third-party tools available for Ada software developers.”

“Wind River is pleased to see AdaCore’s new release of the GNATbench product,” states Rob Hoffman, general manager of aerospace and defense, Wind River. “GNATbench has always been seamlessly integrated with Wind River Workbench, and this latest release further advances the Ada capabilities available to the Workbench software developer for both all-Ada and mixed-language applications.”

GNATbench 2.1.0 specifically enhances general Project Management and Presentation capabilities, including:

• Independent project hierarchies
• The ability to clean project hierarchies
• And the ability to fully restore projects form configuration management systems

For the Language-Sensitive editor, some new features include:

• A light bulb with quick fix suggestions, next to source errors
• Smart space key, for abbreviation expansions
• Automatic construct closing insertion
• Smart tab for logical indenting
• Smart formatting
• Smart comment wrapping
• Special color coding for annotation comments
• Standard parenthesis highlighting
• Code assist for recently chosen completions

New Source Navigation capabilities include:

• Enhanced open declaration or body action
• Next or previous subprogram entry navigation

• Create new Ada source folder or subfolder
• Create new Ada source file with specific headers
• Create new Ada project with advanced project settings

And finally, the Builder enhancements are:

• Automatic file save before building
• Automatic console display for the builder
• Scenario settings are now persistent across sessions
• New builder fast action key settings
• Tool chain selection from within the IDE
• Linker messages are now integrated within the problem view window

All these enhancements are added on top of the already powerful features that were provided in the three previous releases of GNATbench.

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. AdaCore has an extensive worldwide customer base; see http://www.adacore.com/home/company/customers/ for further information.

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. www.adacore.com

Press Contact
Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
e-mail: adacore@rainierco.com

GNATbench 2.1.0 introduces the following features among others:

Project Management and Presentation

• - Independent Project Hierarchies
• - Cleaning Project Hierarchies
• - Fully Restorable Projects
• - Problems View Entries for GNAT Project Files

Language-Sensitive Editor Enhancements

• - “Quick Fix” for Ada
• - Smart Space Key
• - Automatic Construct Closing
• - Smart Tab Key
• - Smart Enter Key
• - Text and Comment Lines Refilled Against Margin
• - Special Coloring for “Annotation Comments”
• - The “Show In” Contextual Menu Entry Supported
• - Improved Comment Block Selection
• - Standard Parenthesis Highlighting
• - Integration of Code Formatting Features
• - Recent Chosen Completions Displayed at the Top

Additional Wizards

• - A “New Ada Source Folder” Wizard
• - A “New Ada Source File” Wizard
• - Additonal “New Ada Project Wizard”

Builder Enhancements

• - Altered Ada Files Saved Automatically
• - Console View Visible Automatically
• - Persistent Scenario Variable Settings
• - Builder Command Key Bindings
• - Compiling Individual Files via the Ada Project Explorer
• - Toolchain Selection
• - Linker Messages In the Problems View

Source Code Navigation Enhancements

• - Enhanced Open Declaration / Open Body Actions
• - Next / Previous Subprogram and Entry Navigation

Miscellaneous Improvements

• - Ada Project Explorer Support for Double-Click Actions
• - New “Ada” Category for GNAT Import Wizard
• - Additional Icon Decorations in Ada Project Explorer