VME and Critical Systems gives AdaCore´s GNAT Pro Traceability Analysis Package an A+

Summary:
Product awarded Editor´s Choice for innovation and excellence

Full Text:
NEW YORK and PARIS, June 15, 2009 - AdaCore, a leading supplier of Ada development tools and support services, today announced that its GNAT Pro Traceability Analysis Package was chosen as an Editor's Choice product by VME and Critical Systems in the magazine´s April 2009 issue. The GNAT Pro Traceability Analysis Package is a product and services solution based on an Ada language feature analysis combined with test cases and GNAT Pro switch recommendations, to help developers demonstrate compliance of safety-critical software with the DO-178B avionics standard.

Sharon Schnakenburg, editor, OpenSystems Media, Military and Aerospace Group, had this to say about the product:

“One of the primary facets of Level A verification is that of tracing compiler-generated object code directly back to source code. However, for those times when the connection between object and source code is not ostensible, the GNAT Pro Traceability Analysis Package steps in. The package – under the company's GNAT Pro development environment's nomenclature – includes coding standard consistency analysis; analysis of the generated object code's traceability; and extra verification to illustrate the accuracy of generated code that cannot directly be traced to source code. The result is just what any developer needs: less of the ever-tedious verification hassle. Once AdaCore's GNAT Pro Traceability Analysis Package for DO-178B proliferates the market, we're pretty sure we won't be the only ones giving it an A+.”

“We were pleased to learn that VME and Critical Systems magazine selected our GNAT Pro Traceability Analysis Package for an Editor´s Choice award,” said Robert Dewar, President and CEO of AdaCore. “Safety certification is an intrinsically difficult process, but our new package will help simplify the effort by providing traceability evidence that customers can use in demonstrating compliance with the highest levels of DO-178B.”

For further information about the GNAT Pro Traceability Analysis Package please visit www.adacore.com/traceability-package

About OpenSystems Media
OpenSystems Media has been a leading publisher of electronics magazines, e-mail newsletters, websites and product resource guides for more than 20 years. OpenSystems Media offers E-casts and Techcasts for engineers and provides interactive tools where engineers can communicate directly with presenters and top industry editors. Current publications include: CompactPCI and AdvancedTCA Systems, DSP-FPGA.com, Embedded Computing Design, Industrial Embedded Systems, Military Embedded Systems, PC/104 and Small Form Factors, and VME and Critical Systems. For more information, visit www.opensystemsmedia.com.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art 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 see a 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

VME and Critical Systems magazine. Copyright OpenSystems Media, 2009. All rights reserved; used with permission.

Contact:
Jamie Ayre
AdaCore
press@adacore.com

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