BRISTOL, United Kingdom, NEW YORK and PARIS, February 9, 2010 – Safety-Critical Systems Symposium – AdaCore, a leading supplier of Ada development tools and support services, today announced the latest major release of its GNAT Pro Ada development environment. GNAT Pro 6.3 is now available on several new platforms including 64-bit Windows, Windows 7, Mac OS X Snow Leopard, VxWorks MILS, and PikeOS (ARINC 653). The product incorporates performance improvements and a variety of enhancements, many based on customer feedback, and it offers the first implementation of new Ada 2012 features. GNAT Pro 6.3 works with a number of complementary tools, sold separately, including the CodePeer automated code review and validation tool.

“We continually strive to provide our customers with world-class development tools, technical consulting, and product support that exceed their expectations,” said Robert Dewar, President and CEO of AdaCore. “GNAT Pro 6.3 demonstrates our commitment to this goal and continues the company’s tradition of providing annual major releases for our products.”

“With this new release, GNAT Pro supports a wide range of additional platforms, with a particular emphasis on 64 bit architectures,” said Cyrille Comar, Managing Director, AdaCore Europe. “This regular adaptation to new environments is critical for many of our customers who work on safety critical applications whose lifespans cross many hardware generations and operating system transitions. Our challenge is to find, every year, more efficient ways of producing and qualifying to the highest standards, an increasing number of tools running on an increasing number of platforms.”

New GNAT Pro 6.3 features include:

• Support for 64-bit code generation on Windows
• Support for Windows 7
• Improvements to a number of tools, including:
• Pretty printer (gnatpp)
• Coding standard verifier (GNATcheck)
• Stack size analyzer (GNATstack)
• Other tool enhancements:
• Unused dispatching subprogram elimination (gnatelim)
• More flexible project handling
• More efficient gnatmake and gprbuild
• C and C++ binding generation
• Compiler and debugger enhancements, including:
• Many additional warnings
• More flexible enabling/disabling of warnings
• Faster Unbounded_String implementation
• Removal of redundant run-time checks
• Support for Ada 2012 conditional expressions
• Code generation (speed and size) improvements
• More compact debugging information
• Improved interfacing with C++

GNAT Pro 6.3 also includes a new version of the GNAT Programming Studio (GPS) IDE, GPS 4.4.1, and an improved download interface in AdaCore’s GNAT Tracker support tool.

About GNAT Pro
The GNAT Pro development environment, available on more platforms than any other Ada toolset, is a full-featured, multi-language development environment complete with libraries, bindings and a range of supplementary tools. It provides a natural solution for organizations that need to create reliable, efficient, and maintainable code. GNAT Pro implements all three versions of the Ada language standard – Ada 83, Ada 95, and Ada 2005 – and the latest version of GNAT Pro implements some of the new features in Ada 2012. GNAT Pro is based on the widely used GCC technology and is backed by rapid and expert support service.

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 continue to 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.

Press Contacts
press@adacore.com

SANTA CLARA, NEW YORK and PARIS, January 26, 2010 – Real-Time & Embedded Computing Conferences (RTECC) – AdaCore and SYSGO today further strengthened their partnership by announcing the release of the GNAT Pro High-Integrity Edition for DO-178B toolset targeting SYSGO’s PikeOS platform, a safety-critical real-time operating system (RTOS). GNAT Pro has been ported to this platform in direct response to growing customer demand. This new development follows GNAT Pro support for ELinOS™.

PikeOS has been gaining popularity with avionics developers as a next-generation RTOS for ARINC-653; with Ada’s and AdaCore’s proven track record in the safety-critical market, including avionics and rail transportation, GNAT Pro is a natural match. GNAT Pro High-Integrity Edition for PikeOS comes with the Zero Footprint (ZFP) and Ravenscar run-time libraries. The ZFP run-time library of GNAT Pro High-Integrity Edition for DO-178B has been used on multiple safety-critical projects and allows simple sequential application development that eases certification to DO-178B Level A. The Ravenscar run-time library adds support for deterministic multi-tasking. AdaCore provides both run-times libraries to allow developers to choose the one best suited to their application requirements.

PikeOS provides an embedded platform where multiple virtual machines can run simultaneously in a secure environment. The Safe and Secure Virtualization (SSV) technology allows multiple operating system APIs, called “Personalities”, to run concurrently on one machine, for example an ARINC-653 application together with Linux. GNAT Pro High-Integrity Edition for PikeOS provides ZFP and Ravenscar run-times for both PikeOS Native and APEX (ARINC 653) personalities.

The PikeOS microkernel architecture supports a range of domains, from cost-sensitive, resource-constrained devices to large, complex systems. Because of its simplicity and compactness, PikeOS is suitable for the most demanding real-time applications. PikeOS is certifiable to safety standards, including DO-178B, IEC 61508 and EN 50128. It is also MILS compliant.

“AdaCore has created an entire family of products to support development of both safety- and security-critical applications with our GNAT Pro High-Integrity Family,” said Robert Dewar, AdaCore President and CEO. “We strive to continuously expand the number of options available to our customers for safety- and security-critical development. Support for PikeOS is now the latest RTOS addition to our High-Integrity Family of products.”

“With new certifiable run-times and qualifiable tools, AdaCore has been strengthening its offering dedicated to the development of safety-critical systems,” said Michaël Friess, AdaCore EU Sales & Business Development Manager. “SYSGO has rapidly gained renown and trust in the safety-critical market. It was a natural choice for AdaCore to expand our GNAT Pro High-Integrity Edition family to the PikeOS platform, foster the fruitful partnership with SYSGO, and provide our joint customers with a flexible and efficient solution.”

“Our product PikeOS has one of the fastest growth rates in the sectors requiring safety and security critical applications,” declares Jacques Brygier, VP Marketing at SYSGO. “The successful partnership we have built with AdaCore regarding our embedded Linux product ELinOS makes our collaboration in the safety-critical domain even more logical, as both companies have in common an excellent reputation and experience in this very demanding business.”

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 continue to 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

About SYSGO
SYSGO excels in providing operating system technology, middleware, and software services for the real-time and embedded device market. A differentiating capability of SYSGO is the secure and certifiable PikeOS™ paravirtualization operating system which is built upon a small, fast, and safe microkernel and supports the cohabitation of independent operating system personalities on a single platform, including ELinOS™, SYSGO’s embedded Linux development environment. SYSGO supports international customers with services for embedded Linux, real-time capabilities and certification for safety-critical applications. Target markets include Aerospace & Defense, Industrial Automation, Automotive, Transportation and Network Infrastructure. SYSGO customers include Airbus, Honeywell, Thales, Daimler, Raytheon, Rheinmetall, Rockwell-Collins, Siemens and Rohde & Schwarz. Today, the company has six facilities in Europe, including Germany, France and The Czech Republic and offers a global distribution and support network, extending to North America and the Pacific Rim.

Press Contacts
press@adacore.com

NEW YORK and PARIS, January 12, 2010 – AdaCore, a leading supplier of Ada development tools and support services, today announced the release of CodePeer, a source code analysis tool that detects run-time and logic errors in Ada programs. Serving as an efficient and accurate code reviewer, CodePeer identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code typical of logic errors. Going well beyond the capabilities of typical static analysis tools, CodePeer also produces a detailed analysis of each subprogram, including pre- and postconditions. Such an analysis makes it easier to find potential bugs and vulnerabilities early: if the implicit specification deduced by CodePeer does not match the component’s requirements, a reviewer is alerted immediately to a likely logic error. CodePeer can be used both during system development − to prevent errors from being introduced or as part of a systematic code review process to dramatically increase the efficiency of human review − and retrospectively on existing code, to detect and remove latent bugs.

Developed by AdaCore in partnership with SofCheck, Inc., CodePeer can be used either as a standalone tool or fully integrated into the GNAT Pro Ada development environment. It is highly flexible, with performance that can be tuned based on the memory and speed available on the developer’s machine, and can efficiently exploit multi-core CPUs. CodePeer can be run on partially complete programs; it does not require stubs or drivers.

CodePeer analyzes programs for a wide range of flaws including use of uninitialized data, pointer misuse, buffer overflow, numeric overflow, division by zero, dead code, and concurrency faults (race conditions). These sorts of errors can be difficult and expensive to detect and correct with conventional debugging, but CodePeer identifies them statically, without running the program, and determines not only where the failure could occur, but identifies where the bad values originate, be it within the current subprogram or from some distant subprogram that reached the point of failure through a series of calls. CodePeer also looks for code that, although syntactically and semantically correct, is performing a suspect computation, such as an assignment to a variable that is never subsequently referenced, or a conditional test that always evaluates to the same true or false value.

“Even the best programmers using the best programming languages will sometimes make mistakes,” said Robert Dewar, President and CEO of AdaCore. “The key is to detect and correct errors early, and, thanks to our partnership with SofCheck, CodePeer is now available for precisely that purpose. We expect this tool to be especially valuable to our customers with safety-critical or high-security requirements, since CodePeer can identify potential hazards and vulnerabilities.”

Internally CodePeer uses static control-flow, data-flow, and value propagation techniques to identify possible errors. It mathematically analyzes every line of code without executing the program, considering all combinations of program input across all paths within the program. It automatically generates both human-readable and machine-readable component specifications in the form of preconditions, postconditions, inputs, outputs, and heap allocations, which along with the error messages can be displayed graphically or as in-line comments in the source code listing to help immediately pinpoint the root cause of any defect. In a multi-threaded system CodePeer identifies where race conditions might occur. To increase performance and usability it internally maintains a historical error database, which allows it to highlight just the new coding problems and to track trends across multiple analyses.

“The technology underlying CodePeer was developed over many years of work on highly optimizing compilers,” noted Tucker Taft, Founder and CTO of SofCheck, “but now we are taking all the information the compiler was using internally for its own optimization purposes, augmenting it with advanced whole-program analyses, and presenting it in a way that allows the programmer to fix their software before it breaks.”

Webinar

A webinar introducing CodePeer will be presented on March 9, 2010 at 11:00 am (EST) / 5:00 pm (GMT). For more information, or to register, please visit
http://www.adacore.com/home/gnatpro/webinars/

Pricing and Availability
CodePeer is immediately available. Please contact AdaCore (sales@adacore.com) for information on pricing and supported configurations.

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 worldwide 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, railway 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 Contacts
press@adacore.com

PARIS and MILAN, 2009 – AdaCore, leading provider of Ada tools and support, today announced a distribution agreement with Milan-based MICROTASK Embedded who will now resell and supply AdaCore’s GNAT Pro Ada development environment to companies in the Italian market, with a particular focus on the avionics sector.

The partnership with MICROTASK Embedded will extend AdaCore’s reach in Italy, by providing pre-sales support as well as reselling its solutions across the country. It enables AdaCore to become even closer to its customers and helps MICROTASK Embedded increase its product portfolio by adding the world’s leading Ada development environment. MICROTASK Embedded already resells complementary technology from Sysgo, Vector Software and Esterel.

“Our new partnership with MICROTASK Embedded extends our physical presence in Italy and provides companies with pre-sales advice and knowledge to complement our existing technology strengths and technical support,” said Michaël Friess, technical sales manager of AdaCore. “MICROTASK Embedded has demonstrated that it has the understanding of the embedded market, strong partnership ethos and portfolio of solutions that enable it to provide the complete solution to the embedded avionics markets.”

MICROTASK Embedded specialises in providing top quality assistance in all phases of the development lifecycle for embedded applications. It provides customers with well integrated solutions from requirements specifications to coding and testing for embedded projects development. In particular, MICROTASK Embedded has developed great expertise in safety critical applications for certification according to DO178B, DO254 and IEC61508 standards.

“We pride ourselves on offering the widest portfolio of embedded technologies to our customers,” said Marco Cavallaro, General Manager of MICROTASK Embedded. “When we looked to meet the growing need for an Ada development environment AdaCore was the obvious choice, due to its strong presence in the market, leading technology and high levels of support. We believe this will be a long-lasting partnership that will benefit ourselves, AdaCore and most of all our customers.”

The Ada programming language, which has evolved from Ada 83 to Ada 95 and more recently Ada 2005, is designed specifically for large, long-lived applications where reliability, efficiency, safety and security are vital. AdaCore’s technical team has been closely involved with the Ada language since its inception, and the GNAT Pro development environment combines state-of-the-art technology with expert support to provide a natural solution where efficient and reliable code is critical.

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, railway 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.

Press Contacts
press@adacore.com

PARIS and NEW YORK, October 13, 2009 - AdaCore, a leading supplier of Ada tools and support services, today announced the release of GNAT Programming Studio (GPS) 4.4. This new version of AdaCore’s graphical Ada-oriented Integrated Development Environment (IDE) offers an improved user interface, faster performance and greater integration with AdaCore’s Project Coverage and SPARK Pro toolsets. GPS is provided with GNAT Pro on most platforms, for both native and embedded software development.

The most noticeable enhancement in GPS 4.4 is in the graphical user interface (GUI), which makes it easier for users to add new plug-ins and customize the IDE. The general navigation capabilities and documentation generation features have also been improved, ensuring consistent creation of supporting materials. And below the visible GUI, GPS now offers tighter integration with both the Project Coverage and SPARK Pro toolsets. Project Coverage’s code coverage and simulator capabilities can now be directly accessed from the IDE, and support for the SPARK language has been extended, allowing improved source/annotation navigation. SPARK developers may now more easily develop SPARK language applications and invoke the SPARK Pro toolset from GPS.

“We have been systematically enhancing the GNAT Pro toolset to improve support for safety-critical and high-security applications,” commented Arnaud Charlet, GPS Project Manager at AdaCore. “GPS 4.4 is a good illustration of our strategy. Developers of high-assurance systems may now access Project Coverage and SPARK Pro tools with the same IDE that they already use for general development.”

Enhancements in GPS 4.4 include:

• Improved user interface look and feel
• Improved memory usage and speed
• New entity views
• Enhanced documentation generation to support both API documentation and source code browsing
• Hyperlinks added in source editor for quick source and web navigation
• Support for Project Coverage toolset invocation
• Improved SPARK Pro language and toolset support, in particular source navigation for annotations
• New “Tip of the Day” feature
• Support for filters in the locations display view
• Unified “visual diff” within the source editor
• Support for interleaved-Ada/Expanded-Ada (.dg files) in source editor
• Outline View updated in real-time, with the ability to display entities hierarchically
• New source navigation menus to display a type hierarchy
• New plug-ins, including:
  • Formatting preferences that can be automatically set from gnatpp project switches
  • Sources that can automatically be reformatted on save using gnatpp
  • Simplified new file creation

GPS 4.4 is compatible with GNAT Pro versions 3.16a1 up to 6.3. As with all GNAT Pro components, GPS is distributed with full source code and is backed by AdaCore’s rapid and expert online support.

About GNAT Programming Studio (GPS)
GPS is a powerful Integrated Development Environment (IDE) written in Ada using the GtkAda toolkit. GPS’ extensive source-code navigation and analysis tools can generate a broad range of useful information, including call graphs, source dependencies, project organization, and complexity metrics. It also provides support for configuration management through an interface to third-party Version Control Systems, and is available on a variety of platforms including Altix Linux, IA64 HP Linux, Solaris (sparc and x86), GNU/Linux (x86 and x86-64), Mac OS X, and x86 Windows (2003, XP, Vista, and 7). GPS is highly extensible; a simple scripting approach enables additional tool integration. It is also customizable, allowing programmers to specialize various aspects of the program’s appearance in the editor for a user-specified look and feel.

Availability
GPS 4.4 is currently available as part of the GNAT Pro Ada Development Environment on selected platforms, and customers can download it via the GNAT Tracker tool. For the latest information on pricing and supported configurations please contact sales@adacore.com.

Webinar

A webinar focusing on the new features of the GPS 4.4 release will be presented on November 10, 2009 at 11:00 am (EST) / 5:00 pm (GMT). For more information, or to register, please visit http://www.adacore.com/home/gnatpro/webinars/

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, railway 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 Contacts
press@adacore.com

NEW YORK, PARIS and BOSTON, September 22, 2009 – Embedded Systems Conference – AdaCore, a leading supplier of Ada development tools and support services, today announced the release of the GNAT Pro Ada development environment for the LynuxWorks LynxOS 5.0 operating system. This release allows GNAT Pro users to develop applications for both LynxOS 4.x and 5.0, and also provides a smooth migration path from older versions of the operating system to LynxOS 5.0. GNAT Pro for LynxOS 5.0 is available for both Linux and Windows host platforms, and for both PowerPC and x86 embedded targets.

The new release is completely compatible with the existing GNAT Pro 6.2.2 for LynxOS 4.x. GNAT Pro customers using this earlier LynxOS version can now take advantage of the many new features offered by LynxOS 5.0, including:

• Increased RAM support—up to 2 GB
• Symmetric Multiprocessing (SMP)
• ELF file format
• New POSIX—POSIX 1003.1-2003 PSE 53/54

“LynxOS is an important operating system for many of our customers, and we strive to stay in sync with its releases,” said Robert Dewar, AdaCore President and CEO. “GNAT Pro for LynxOS 5.0 will bring the most recent Ada technology – including new tools and libraries and improved code generation – to the latest version of LynxOS.”

“When we issue a new operating system release, customers expect that the tools they used previously – especially compilers and develop environments – will be available,” said Steve Blackman, LynuxWorks’ Director of Business Development, Mil/Aero. “Ada is a language of choice for many LynxOS users, and we are pleased that AdaCore has ported their latest GNAT Pro development environment to LynxOS 5.0.”

About LynuxWorks
LynuxWorks, a world leader in the embedded software market, is committed to providing open and reliable real-time operating systems (RTOS) and software tools to embedded developers. The company’s LynxOS family of operating systems offers open standards with the highest level of safety and security features, enabling many mission-critical systems in defense, avionics and other industries. Additionally, LynuxWorks’ BlueCat Linux provides the features and support of embedded Linux for companies wanting to use open source technology for their embedded applications. The Eclipse-based Luminosity IDE gives a powerful and consistent development system across all LynuxWorks operating systems. Since it was established in 1988, LynuxWorks has created technology that has been successfully deployed in thousands of designs and millions of products made by leading communications, avionics, aerospace/defense, and consumer electronics companies. LynuxWorks’ headquarters are located in San José, CA.

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; 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

LynuxWorks is a trademark and LynxOS and BlueCat are registered trademarks of LynuxWorks, Inc. Linux is a registered trademark of Linus Torvalds. All other brand or product names are registered trademarks or trademarks of their respective holders.

Press Contacts
press@adacore.com

NEW YORK, PARIS and FRAMINGHAM, Mass., September 17, 2009 – Wind River Aerospace and Defense Regional Conference – AdaCore, a leading supplier of Ada development tools and support services, today announced a new release of its Ada Integrated Development Environment (IDE) plug-in, GNATbench 2.3.1. This new release supports Workbench 3.1 and VxWorks 6.7, the latest versions of Wind River’s Eclipse-based IDE and real-time operating system, offering real-time/embedded systems developers a sophisticated Ada programming environment tightly integrated into the Wind River Workbench development suite. It also supports Workbench 3.0 and VxWorks 6.6, allowing projects that have chosen those versions to upgrade to GNATbench 2.3.1 and take advantage of its new features.

The GNATbench plug-in provides editing, browsing, and building features for Ada development (including Ada 2005) using AdaCore’s GNAT Pro toolset on the Eclipse platform. The builder produces executables for native systems and embedded processors (in the context of Wind River Workbench), and likewise the debugger supports both native and embedded system debugging.

GNATbench 2.3.1 has introduced a variety of enhancements that help Ada software development run more smoothly. Creating new Workbench projects for Ada is now much simpler and more robust; there is no need to duplicate the use of new-project wizards in both Workbench and GNATbench. Error handling in the Import Wizard is friendlier, since GNATbench parses an imported project file for errors before attempting the import. The sharing of projects among multiple developers using distinct Workbench (Eclipse) workspaces is simplified, since the values of a project’s scenario variables (when changed from their defaults) are now stored in workspace-persistent variables. And as an open source project, the code of the implementation has been reorganized so that users wishing to extend the implementation can clearly identify which parts may be relied upon to remain stable in the future.

“AdaCore is pleased to be able to support the latest versions of Workbench and VxWorks in our new release of GNATbench,” said Dr. Patrick Rogers, GNATbench Project Lead. “Ada is a key language for developers of real-time embedded systems using Workbench on Wind River platforms, and GNATbench provides Ada programmers with an intuitive and productive extension to Workbench. We look forward to continuing GNATbench enhancements in the future.”

“GNATbench’s support for our latest version of Workbench will be a great benefit to our Ada customers,” said Mr. Rob Hoffman, Vice President and General Manager of Aerospace and Defense at Wind River. “We like our corporate partners to stay in sync with our product releases, and we appreciate AdaCore’s consistent history of supporting new Wind River products and version releases as soon as they become available.”

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. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press@adacore.com

SAN DIEGO, NEW YORK and PARIS, June 1, 2009 – Avionics USA – AdaCore, a leading supplier of Ada development tools and support services, today announced that Lockheed Martin Aeronautics, Marietta, Georgia, will be using GNAT Pro to develop the Flight Management System Interface Manager and Radio Control software on the C-130J Super Hercules aircraft. The specific product is GNAT Pro High-Integrity Edition for a PowerPC target running VxWorks 653, the time- and memory-partitioned real-time operating system from Wind River Systems.

The Lockheed Martin C-130J Super Hercules is an advanced tactical airlifter, designed for mission flexibility, combat delivery, air-to-air refueling, special operations, disaster relief, and humanitarian missions. Its range, power, performance, safety redundancy, reliability, and sophisticated avionics allow the aircraft to meet demanding mission requirements. With Rolls-Royce AE2100D3 engines and Dowty R391 six-bladed composite propellers, the Super Hercules can operate in hot climates, and handle short, high-elevation airstrips with maximum payload.

The Super Hercules transports 33% more payload, using half the crew, while burning less fuel and flying faster, farther and higher than its predecessors.

• Faster: The C-130J is faster, climbs more quickly, and offers 21% more speed. Time-to-climb is 50% better than earlier model C-130s.

• Higher: The C-130J flies higher, climbs over the weather and has a 40% greater cruising altitude than the C-130H.

• Farther: The C-130J flies much farther with less fuel, providing up to 40% greater range than the C-130H.

GNAT Pro is being used for the Block 7.0 software upgrade of the C-130J – the second cooperative Block Upgrade initiative that is a true international partnership, with the development costs shared among the participating nations, including the US government. This upgrade includes a new Flight Management System developed cooperatively between GE Aviation, Grand Rapids, Michigan, and Lockheed Martin Aeronautics in Marietta, Georgia. Since GE Aviation has used the GNAT Pro development environment on the 787 and C-130AMP upgrade programs, Lockheed Martin’s selection of GNAT Pro will make it easier for the two companies to work together on the C-130J upgrade.

“AdaCore has been providing Lockheed-Martin with Ada development technology and support services for many years, and I look forward to continuing this relationship on the C-130J upgrade project,” said Robert Dewar, President and CEO of AdaCore. “Avionics is a domain where errors can have catastrophic consequences, and I am pleased that Ada and GNAT Pro are being recognized as technologies that can provide the necessary safety and reliability.”

In the United States, the C-130J is used by the U.S. Air Force, Air Force Reserve, Air National Guard, Marine Corps, United States Air Force Special Operations Forces, Mission Rescue Units and Coast Guard. International C-130J operators include the United Kingdom, Australia, Italy, Denmark and Norway, with Canada, India, Qatar and Iraq soon joining their ranks.

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

Press Contacts
press@adacore.com

SAN DIEGO, NEW YORK and PARIS, June 1, 2009 – Avionics USA – AdaCore, a leading supplier of Ada development tools and support services, today announced that international electronics and systems group Thales has chosen the GNAT Pro technology, including several safety-qualified tools, to develop critical systems for the new Airbus A350 XWB (Xtra Wide-Body) family.

Thales will use the GNAT Pro High-Integrity Edition for DO-178B and the Ada 2005 language to build the Air Data Inertial Reference Unit (ADIRU) for the A350 XWB (Xtra Wide-Body). The ADIRU provides precise in-flight positioning information, and the new system will therefore need to be certified to the highest safety levels. It will meet Level A of the DO-178B standard and use ARINC 653 multi-partition operating system MACS2.

The project promises to advance the state of the art in safety-critical development through a number of innovations including the application of Agile Programming techniques and the safe use of Object-Oriented Programming (OOP) features. Thales will be using the Ada 2005 version of the Ada language, which has introduced additional support for real-time and safety-critical systems and for safe/reliable OOP.

“When it comes to safety-critical systems, the Ada language has an impressive pedigree and track record,” said Francois Brun, Software Design Authority at Thales Aerospace Division – Navigation Unit. “The combination of GNAT Pro and Ada 2005 provides the technology we need to develop the ADIRU software for the new Airbus A350 XWB (Xtra Wide-Body).”

AdaCore is also providing a Qualified Code Standard Checker and a Coverage tool for this program. These tools will be key to the development process of the ADIRU and the generation of safety evidence. AdaCore’s Coverage solution adopts an innovative approach by providing MC/DC coverage information on uninstrumented source code, through the use of a PowerPC simulator. Tool qualification material gives credit to the output of the tools, which speeds up the certification process.

“Thales is leading the way when it comes to safety-critical and avionics system development,” said Michaël Friess, Technical Sales Manager of AdaCore. “It is a pleasure to partner with such a technically advanced team. Our long collaboration with Thales and our regular exchanges with their technical staff have led to strategic advances in AdaCore’s offering. ADIRU is another example of a project that helps our technology progress, and that shows customers that they can count on AdaCore as a reliable partner in their development process.”

The A350 XWB (Xtra Wide-Body) Family is Airbus’ response to widespread market demand for a series of highly efficient, medium-capacity, long-range, wide-body aircraft. With a range of up to 8,300 nm / 15,400 km, it is available in three basic passenger versions: the A350-800, the A350-900 and the A350-1000.

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

Press Contacts
press@adacore.com

SAN DIEGO, NEW YORK and PARIS, June 1, 2009 – Avionics USA – AdaCore, a leading supplier of Ada development tools and support services, today announced the availability of GNAT Pro on all active versions of Wind River’s VxWorks real-time operating system. This list includes VxWorks 5, VxWorks 6, supporting both asymmetric multiprocessing (AMP) and symmetric multiprocessing (SMP) configurations, VxWorks 653, VxWorks DO-178B, and VxWorks MILS. GNAT Pro now gives Ada users the widest selection of VxWorks platforms to choose from, whether for new programs or for migration of existing codebases to newer operating systems. In addition, all Wind River platforms supporting deployment in DO-178B certified environments are also supported.

The GNAT Pro product offering for VxWorks satisfies a wide variety of customer application requirements and deployment environments. GNAT Pro for VxWorks 5 and 6 are suitable for general-purpose software development. The specialized GNAT Pro High-Integrity Edition for DO-178B, available for the VxWorks 653 and VxWorks DO-178B Platforms, is targeted to RTCA DO-178B and IEC 61508 safety-critical systems.

For safety-certified environments, AdaCore’s GNAT Pro High-Integrity Edition supports three specific runtime environments that optimize size, performance, and certification effort.

1. The zero-foot-print (ZFP) library simplifies safety certification for sequential applications.

2. The Ravenscar library adds support for tasking or multi-processing.

3. The Cert library adds ARINC653 awareness and supports advanced integrated modular avionics (IMA) features like inter-process or inter-partition communication and synchronization.

GNAT Pro is also available for VxWorks 6, supporting both symmetric multiprocessing (SMP) and asymmetric multiprocessing (AMP) multicore implementation models. This capability allows customers to deploy Ada on advanced multicore processors, and enables high levels of optimization for a variety of challenging multiprocessor designs and configurations.

AdaCore’s GNAT Pro product for VxWorks MILS brings a powerful application development environment to the aerospace and defense industry for developing Ada applications within a MILS (multiple independent levels of security) architecture.

GNAT Pro for VxWorks MILS combines with SPARK Pro (an Integrated Development Environment combined with the SPARK language tool set) to support security certification of user applications or their components to Evaluation Assurance Level (EAL) 5 and higher. SPARK is an Ada subset extended with a contract language that allows a program’s specification to be precisely expressed and verified. It directly supports semi-formal and formal methods as required by EAL 5 and higher, and has a strong track record for both safety-critical and high-security systems. An example of the latter is the NSA-sponsored Tokeneer project (see: http://www.adacore.com/2008/10/06/nsa-releases-secure-software-project-to-open-source-community/)

“Ada is an important technology for Wind River aerospace and defense customers, and AdaCore leads the way in providing Ada toolsets across the full spectrum of VxWorks platforms,” said Rob Hoffman, Vice President and General Manager of Aerospace and Defense at Wind River.“ Ada is well suited for the high-integrity domains that we target, and we are pleased to see GNAT Pro available for our newest products, including VxWorks 6.7 and VxWorks MILS.”

“Wind River’s platforms are a key market for AdaCore, so we placed a high priority on making GNAT Pro available on all the latest versions of VxWorks,” said Robert Dewar, President and CEO of AdaCore.” And our new support for VxWorks MILS, in particular the SPARK Pro tool set, provides a unique capability of creating applications suitable for medium to high assurance deployment. AdaCore’s SPARK Pro tool set is the only program analysis tool to directly help developers certify their high assurance applications in MILS architectures.”

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

Press Contacts
press@adacore.com