NEW YORK and PARIS - July 15, 2008 - AdaCore, provider of the highest quality Ada tools and support, today announced the availability of GNAT Pro for RTX, an Ada Integrated Development Environment that enables programmers to produce real-time Ada applications on Microsoft Windows platforms. GNAT Pro for RTX supports two different modes: a Windows executable with memory protection, and a real-time subsystem that executes in kernel mode with hard, real-time behavior. This enhanced control and scalability helps simplify development of critical applications, including industrial automation, aerospace, and military systems.

RTX® software from Ardence, a Citrix Company, enables Windows systems to deliver hard, real-time performance. As a true extension, it does not interfere with or modify the Windows infrastructure. Developers can create user interfaces and applications that take advantage of all the functionality offered by Windows. A component that requires real-time control can first be developed and debugged as a Windows application and then recompiled as a real-time subsystem with no code changes.

“Ada and AdaCore have a well-deserved reputation for excellence in the real-time domain,” said Jeffrey D. Hibbard, who heads the Embedded Group for Ardence, a Citrix Company. “We are pleased that GNAT Pro is available on RTX, allowing customers to reap the productivity benefits that come from Ada’s modern features and AdaCore’s front-line support.”

“This new RTX port stems from customer requests for an Ada development environment that takes advantage of all the functionality of RTX without requiring a rewrite of their code,” said José Ruiz, AdaCore senior software engineer. “GNAT Pro for RTX allows our customers to take Windows applications, recompile them unchanged, and get predictable, hard real-time behavior without interference from the underlying Windows Operating System.”

“Two types of customers will benefit from this product,” said Robert Dewar, President and CEO of AdaCore. “The first will use Windows plus RTX as a testing and development platform to verify real-time properties of their applications before migrating to another real-time target. The second will use RTX to execute real-time applications in kernel mode without having to pass through Windows to access the device’s memory, etc. Either way the GNAT Pro solution will help our customers reduce the development costs for their real-time projects.”

Pricing and Availability
GNAT Pro for RTX is currently available as an add-on to users of AdaCore’s GNAT Pro development environment. Please contact AdaCore (info@adacore.com) for the latest information on pricing and supported configurations.

About GNAT Pro
The GNAT Pro development environment, available on more platforms than any other Ada toolset, combines industry-leading technology with an expert support infrastructure and provides a natural solution for organizations that need to create reliable, efficient, and maintainable code. GNAT Pro is the first-to-market implementation of the Ada 2005 standard, allowing users to take advantage of the many enhancements in areas such as object-oriented programming, real-time support, and predefined libraries.

At the heart of GNAT Pro is a full-featured, multi-language development environment complete with libraries, bindings, and a range of supplementary tools. All GNAT Pro technology is distributed with complete source code. GNAT Pro is based on the widely used GCC technology, is subjected to a rigorous quality assurance process, 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 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

Windows is a registered trademark of Microsoft Corporation in the United States and other countries. RTX is a trademark of Citrix Systems, Inc. and/or one or more of its subsidiaries. All other trademarks and registered trademarks are property of their respective owners.

Press Contact
press@adacore.com

VENICE, Italy, and NEW YORK, June 17, 2008 – Ada-Europe 2008 – AdaCore, provider of the highest quality Ada tools and support, today announced availability of the GNAT Ada-Java Interfacing Suite (GNAT-AJIS), which allows developers to build applications using both languages. With GNAT-AJIS, programmers can combine Java applications compiled to the Java Virtual Machine (JVM) and Ada code that has been compiled either natively or to the JVM. Application areas as diverse as financial services, communications, aerospace, defense, and academic research can all benefit from GNAT-AJIS.

GNAT-AJIS is aimed at both the Ada and Java development communities. For Ada programmers, GNAT-AJIS provides a mechanism to plug Ada components into systems (such as GUI frameworks) that are often written in Java. For Java programmers, GNAT-AJIS provides a means to take advantage of Ada’s functionality or performance, for example in real-time control.

The initial release of GNAT-AJIS consists of two principal tools:

• A binding generator” that takes an Ada package specification as input and produces Java classes as output, with native methods corresponding to the Ada subprograms
• The JGNAT compiler, which compiles Ada to the JVM.

Through the binding generator, Java applications can call native Ada code. The interfacing uses the Java Native Interface (JNI), but the binding generator produces the necessary “glue code” so that the programmer need not be concerned with the details. In JGNAT, since both Java and Ada are compiled to bytecodes, the interfacing is direct.

“With today’s increasingly ambitious system requirements, multi-language systems are more and more common,” said Robert Dewar, CEO and President of AdaCore. “The GNAT Ada-Java Interfacing Suite allows projects to realize the benefits of both Ada and Java through a cohesive framework. Ada is well suited to this level of co-operation, especially with the enhancements added in Ada 2005.”

Pricing and Availability
The GNAT Ada-Java Interfacing Suite is available as an add-on to users of AdaCore’s GNAT Pro development environment. Please contact AdaCore (info@adacore.com) for the latest information on pricing and supported configurations.

About GNAT Pro
The GNAT Pro development environment, available on more platforms than any other Ada toolset, combines industry-leading technology with an expert support infrastructure and provides a natural solution for organizations that need to create reliable, efficient, and maintainable code. GNAT Pro is the first-to-market implementation of the Ada 2005 standard, allowing users to take advantage of the many enhancements in areas such as object-oriented programming, real-time support, and predefined libraries.

At the heart of GNAT Pro is a full-featured, multi-language development environment complete with libraries, bindings and a range of supplementary tools. All GNAT Pro technology is distributed with complete source code. GNAT Pro is based on the widely used GCC technology, is subjected to a rigorous quality assurance process, and is backed by rapid and expert support service.

Please contact AdaCore (info@adacore.com) for the latest information on pricing and supported configurations.

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

VENICE, Italy, and NEW YORK, June 17, 2008 – Ada-Europe 2008 – AdaCore, provider of the highest quality Ada tools and support services, today announced that Ipesoft, s.r.o, a leading developer of real-time applications and long-standing AdaCore customer, has extended the use of GNAT Pro on its high-reliability servers. Ipesoft is now using GNAT Pro to develop D2000® Enterprise Production Systems, a unique family of solutions that provides real-time management and production systems for manufacturing and energy facilities.

Based in the Slovak Republic, Ipesoft is focused on two areas – developing technology for real-time applications, and acting as a systems integrator to create and incorporate complete mission-critical solutions for its customers, based on its D2000 technology. D2000 enables the creation of integrated solutions for the whole enterprise – from process automation, comprehensive monitoring and management of production processes, to integration with other information systems within the enterprise. The core of this technology is a real-time application server with robust platform-independent RAD (Rapid Application Development) tools. The server is scalable, distributed, and supports redundancy. The server code is written in Ada.

In the industry targeted by Ipesoft, reliability and long-term maintenance are key. The Ada programming language satisfies these core needs by offering real-time features and support for distributed applications, strong type checking that helps detect errors and avoid vulnerabilities, and language stability that has maintained backwards compatibility at every evolution of the language (Ada 2005, Ada 95, and Ada 83). These attributes are vital given the size of the D2000, which has grown to encompass over 1.7 million lines of code since its inception in 1993. GNAT Pro and AdaCore were chosen due to the combination of multi-platform availability (GNAT Pro is available on more platforms than any other Ada development environment) and the strong support that AdaCore provides.

“Ipesoft’s adoption of Ada for its core product development demonstrates the advantages that the language provides for long-lived, mission-critical applications,” said Cyrille Comar, Managing Director, AdaCore Europe. “Using GNAT Pro has enabled Ipesoft to create real-time production and control systems that underpin the company’s growth and deliver high integrity solutions to its growing customer base.”

“D2000 is the cornerstone of all Ipesoft’s current and future activities,” said Miroslav Kunsch, CEO, Ipesoft. “We needed a long-term partner and a scalable software development environment. Selecting AdaCore has been key to our success; choosing Ada was the right decision at the right time and we are glad to reinforce our relationship with this new contract.”

Ipesoft began work with AdaCore in 2002, initially using GNAT Pro for Windows. It is now using GNAT Pro for Itanium OpenVMS, GNAT Pro for Alpha OpenVMS and GNAT Pro for x86 Windows. The GNAT Pro development environment combines market-leading technology with an expert support system to provide a natural solution where efficient and reliable code is critical.

About Ipesoft
Ipesoft is a pioneer and leader in the production systems segment of the Slovak market. Ipesoft products provide solutions for all aspects of manufacturing enterprises, from processing automation to complex monitoring and controlling of production processes, which can be integrated in Enterprise Resource Planning (ERP) company information systems. Solutions based on D2000 products are powerful tools, helping management at all levels. Managers receive quality, reliable and up-to-date information for operational planning. The richness and quality of information aids the decision-making process, thereby bringing truly effective manufacturing enterprise control. Ipesoft solutions are helping companies to increase productivity through production process mapping and indicating areas needing improvement.

Ipesoft integrates data from multi-location plants into a comprehensive database allowing visualization of performance of all the facilities as a whole. The system communicates with other information systems within the enterprise like ERP, Supply Chain Management (SCM), etc. Ipesoft solutions are designed as open, flexible and ready to grow according to our customers’ requirements. Keywords here are collaborating manufacturing, complete knowledge-based solution exceeding expectations, and standard Manufacturing Execution System (MES) capabilities.

Ipesoft’s staff provides a comprehensive set of services, ranging from analysis, application concept, design and implementation, to post-implementation support.

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

D2000® is a registered trademark of Ipesoft, s.r.o.

VENICE, Italy, and NEW YORK, June 17, 2008 – Ada-Europe 2008 – AdaCore, provider of the highest quality Ada tools and support services, today announced the release of the GNAT Component Collection, a suite of reusable software components and utilities. The GNAT Component Collection has been used by AdaCore in developing the GNAT Pro tool set, the GPS Integrated Development Environment, and the GNAT Tracker web-based customer interface, and is now available to GNAT Pro customers.

“The GNAT Component Collection contains a variety of software utilities that have proven to be extremely useful internally at AdaCore for product development,” said Robert Dewar, President and CEO of AdaCore. “Since these are general-purpose components, we realized that they would also be of benefit to our customers. Thus we are making them available as part of the standard GNAT Pro subscription.”

The GNAT Component Collection includes:

• Software that allows integration with scripting languages, such as python
• Database interfaces for APIs, such as postgresql, mysql, and sqlite
• Ada packages supplying a variety of services, such as
  • Module tracing
  • Efficient file IO
  • Efficient static string searching (Boyer-Moore algorithm)
  • E-mail and mailbox manipulation
  • Ravenscar tasking pattern examples
  • Various predefined storage pool utilities

“The GNAT Component Collection is, in effect, a software menu from which developers can select, à la carte, exactly those packages that are needed for their application,” said Emmanuel Briot, lead project engineer for the GNAT Component Collection. “The collection consists of dozens of packages, interfaces and utilities that the GNAT Pro team has developed over the years. Offering this technology to our customers should allow them to realize the same productivity advantages that we have experienced at AdaCore.”

Among the elements of the GNAT Component Collection is an extensive set of templates for Ravenscar Profile examples. These include:

• Simple_Cyclic_Task: a simple cyclic task that executes a given operation at a constant frequency
• Simple_Sporadic_Task: a sporadic task released by software invocations with a constant minimum inter-release time (in the worst case, its behavior is identical to a cyclic task)
• Sporadic_Server: a sporadic server that buffers a single type of request (carrying input parameters) and executes it enforcing a constant minimum inter-release time
• Sporadic_Server_With_Callback: a pattern that demonstrates how to model an asynchronous call with “out” parameters in Ravenscar.
• Multiple_Queue_Sporadic_Server: a Sporadic_Server variant that accepts multiple kinds of requests
• Sporadic_Server_With_Timeout: a Sporadic_Server variant that provides for the automated release of the server, if it is not released within a given amount of time by an explicit software invocation.

Pricing and Availability
The GNAT Component Collection is available to all AdaCore GNAT Pro customers as part of the standard GNAT Pro subscription. Please contact AdaCore (info@adacore.com) for the latest information on pricing and supported configurations.

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

Paris and New York, June 5, 2008 – AdaCore, together with Open Wide, ENST, and LIP6, and with financial support from French public funds, today announced the initiation of Project Coverage. The first Open Source project of its kind, Project Coverage will produce a Free Software coverage analysis toolset together with artifacts that allow the tools to be used by developers of safety-critical and mission-critical projects, including systems that need to be certified under safety standards such as DO-178B.

“Being strongly rooted in Free Software and having many customers in the Avionics and DO-178B domain, AdaCore was instrumental in getting this project off the ground,” said Roberto Di Cosmo, President of the Free and Open Source Software group of System@tic, the R&D competitive cluster out of which Project Coverage has grown.

The key insight of Project Coverage is that code coverage can greatly benefit from recent advances in hardware virtualization and emulation technologies.

“By virtualizing the target hardware, Project Coverage tools can execute the target binary code unmodified on a host computer, such as a GNU Linux or Windows machine, and collect binary branch information,” said Olivier Hainque, technical lead of Project Coverage at AdaCore. “The collected information is then analyzed off-line and mapped back to the original sources thanks to the debugging information contained in the executable.”

“Our virtualization technology is based on QEMU. We are extending it, first to output execution traces, including binary branch coverage information, and second to make it usable in industrial contexts typically found in the avionics domain,” continued Hainque.

“Because QEMU works by compiling the target object code into the host object code, virtualization is more effective than direct execution on the target,” said Tristan Gingold, Senior Software Engineer at AdaCore and QEMU expert. “The speed advantage of the host over the target makes up for the loss in emulation performance and you gain the convenience and availability of the host environment over the target.”

Beyond the production of useful tools and certification material for industrial users, an important goal of the project is to raise awareness and interest about safety-critical and certification issues in the Free Software/Open Source community.

“It’s all about cross fertilization between the DO-178B and Free Software/Open Source communities,” said Cyrille Comar, the AdaCore representative on the DO-178C committee. “The DO-178B community, with its approach anchored in requirements-based testing, has shown us that the source isn’t everything in safety-critical systems, while the Open Source community has shown us that being open and having high-quality and widely available tools is essential to extend the benefit of state-of-the-art technologies from niche markets to a wider audience of software developers.

“The approach put forth by Project Coverage features several strong points,” said Robert Dewar, President and CEO of AdaCore. “Project Coverage tools will be easy to use and deploy since they run on the host computer. They will be independent of the programming language and will work for Ada, C, and C++. Project Coverage tools are also designed to be non-intrusive and work directly with the final executable. No specialized hardware will be required to extract coverage information.”

Project Coverage tools will be freely available, and industrial users will have the option to purchase high-quality professional support together with DO-178B qualification material.

In summary Project Coverage smartly combines several significant but independent trends in today’s software technology landscape (Free Software/Open Source, Virtualization, DO-178B qualification, etc.) producing a unique code coverage solution that safety-critical and non safety-critical developers can use in their projects.

For more information on Project Coverage please go to http://www.adacore.com/home/company/development_projects

About Project Coverage
Project Coverage is partially funded by the regional authorities of Paris and the Ile-de-France district and the French Ministry of Industry, under the auspices of the Free & Open Source Software group headed by Roberto Di Cosmo in System@tic, the R&D competitive cluster located in Paris and its surroundings. The institutions participating in Project Coverage include AdaCore, Open Wide (who will provide an avionics test bed and study the impact of MIL-STD-1553, ARINC 629, and similar avionics standards for Project Coverage), ENST, and LIP6, who will generalize the Project Coverage approach to distributed systems and languages running on a virtual machine.

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

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

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

The partnership was chosen over the competition due to the combination of Mistral’s development experience and strong customer support, the safety-critical aspects of the Ada language, and AdaCore’s knowledge, superior development environment and close integration with Wind River’s operating software. This is the first ADE project to use the Ada language.

Mistral will use GNAT Pro High-Integrity Edition for DO-178B on the project, which aims to develop avionics flight control systems that will become the standard within multiple applications for the Indian Ministry of Defence. It began in April 2007 and is scheduled to last 14 months. The project will run on VME PPC-based single board computers using Wind River Systems’ VxWorks 6.x operating system.

“This new project demonstrates that Ada is now the language of choice for developing safety-critical avionics systems across the globe,” said Cyrille Comar, Managing Director, AdaCore Europe. “Working with our partner Mistral Solutions, AdaCore was able to deliver a superior development environment that is both easy to use and provides the high level of protection necessary for mission-critical applications such as flight control systems.”

“This is yet another great example of a new avionics project leveraging the industry-proven combination of Wind River’s VxWorks RTOS and AdaCore’s GNAT Pro development environment,” said Rob Hoffman, General Manager of Aerospace and Defense, Wind River. “Combining Wind River’s VxWorks product platform and our worldwide support organization with AdaCore’s software, we are ensuring that organizations like the Indian ADE benefit from the industry’s most robust development platforms for high-reliability systems.”

ADE is part of the Indian Defence Research and Development Organisation (DRDO), which undertakes design and development leading to the production of world-class flight control systems and equipment to meet the needs and requirements of the three Indian armed services. DRDO is working in various areas of military technology, which include aeronautics, armaments, combat vehicles, electronics, instrumentation engineering systems, missiles, materials, naval systems, advanced computing, simulation and life sciences.

“This is the first major Ada project we have worked on, and when it came to developing such a safety-critical application, AdaCore was the natural choice to partner with,” said Mujahid Alam, Vice President - Sales, Mistral Solutions. “From our extensive research, AdaCore stands out as the foremost provider of Ada technology, and we have been very impressed with AdaCore’s knowledge, product strengths and strong integration with Wind River’s technology. The success of this project is testament to the close working relationship we have built up, combined with our own development and customer support strengths.”

GNAT Pro High-Integrity Edition for DO-178B supports the development of safety-critical and security-critical applications for embedded systems, servers and workstations. The GNAT Pro development environment combines market-leading technology with an expert support system to provide a natural solution where efficient and reliable code is critical.

About Mistral
Mistral is an ISO 9001:2000 certified and CMMi Level 3 appraised premier product realization Company providing end-to-end services for product design and development in the embedded space. Mistral offers expert design and development services covering hardware and software, customizable product designs and IP’s, System Integration and COTS Solutions that improve quality and accelerate time-to-market for a broad range of embedded systems. Mistral has forged successful partnerships with leading providers of embedded solutions, which has enabled the company to provide its clients with the finest technology solutions based on the world’s best platforms.

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

NEW YORK and AMSTERDAM, Netherlands, March 5, 2008 – Avionics 2008 – AdaCore, provider of the highest quality Ada tools and support, today announced the company’s twelfth annual release of its signature GNAT Pro Ada development environment. GNAT Pro 6.1.1 offers more than 150 new features and is available on the largest set of supported platforms in the industry _ 44 configurations (including 28 cross compilers) on 79 different operating system versions, including multiple versions of Windows, Linux and Solaris.

“Our annual release cycle is a major part of our commitment to make Ada the development language of choice for long-lived, critical systems,” said Cyrille Comar, Managing Director, AdaCore Europe. “Our expert team of engineers is constantly working on enhancements and new tools for GNAT Pro that will help customers for years to come. We are particularly focused on high-integrity systems, where many of Ada’s advantages stand out.”

“Ever since our company was founded, our customers have come to expect the level of quality and front-line support that our solutions provide,” said Robert Dewar, President and CEO of AdaCore. “We pride ourselves on being able to offer regular enhancements, many of which originate as customer requests. After a rigorous quality assurance process, we have integrated many of these features as part of this latest version of the GNAT Pro tool suite.”

GNAT Pro 6.1.1’s new features include:

• High-Integrity versions for VxWorks 6, including the Ravenscar profile
• Thread-safe profiling with gprof, a tool currently available for GNAT Pro on several platforms
• Increased Ada support in gcov, a coverage analysis tool
• Enhanced tools such as gnatcheck, gnatpp, and gnatmetric, to support a wider variety of coding styles and coding standards
• New warnings to help programmers detect errors earlier
• An upgraded debugging engine
• Improved robustness and efficiency for Ada 2005 features
• Better real-time support on win32 platforms
• Fully-integrated Windows .NET framework support

About GNAT Pro
The GNAT Pro development environment, available on more platforms than any other Ada toolset, combines industry-leading technology with an expert support infrastructure and provides a natural solution for organizations that need to create reliable, efficient, and maintainable code. GNAT Pro is the first-to-market implementation of the Ada 2005 standard, allowing users to take advantage of the many enhancements in areas such as object-oriented programming, real-time support, and predefined libraries.

At the heart of GNAT Pro is a full-featured, multi-language development environment complete with libraries, bindings and a range of supplementary tools. All GNAT Pro technology offers the flexibility and freedom associated with open source development, together with the assurance that comes from knowing that all tools go through a rigorous quality assurance process. GNAT Pro is based on the widely used GCC technology and is backed by rapid and expert support service.

Pricing
Please contact AdaCore (sales@adacore.com) for the latest information on pricing and supported configurations.

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.

Press Contact
press@adacore.com

AdaCore’s GNATcheck is an extensible rule-based tool with an easy-to-use interface. It allows developers to completely define a coding standard (referred to as a “Software Code Standard” in DO-178B) as a set of rules, for example a subset of permitted language features. It verifies a program’s conformance with the resulting rules and thereby facilitates demonstration of a system’s compliance with DO-178B.

“The combination of the Ada language (an international standard), GNATcheck, and additional constraints and reporting inside GNAT Pro, provides a comprehensive solution for avionics developers,” said Robert Dewar, President and CEO of AdaCore. “Ada has already been used in many safety-critical systems, such as the Boeing 787 and C-130 AMP, Airbus A380 and Eurofighter among others.”

“With software innovation powering today’s successful aircraft, automatic coding standard verification is becoming more and more important,” commented Cyrille Comar, Managing Director, AdaCore Europe. “The highly structured nature of the Ada language makes it a natural choice for avionics development, and by adding our own enhancements within GNAT Pro we can offer the most complete and integrated solution for coding standard verification compliant with DO-178B requirements.”

The key features of GNATcheck include:

• An integrated Ada Restrictions mechanism for banning specific features from an application. This can be used to restrict features, such as tasking, exceptions, dynamic allocation, fixed or floating point, input/output and unchecked conversions
• GNAT Pro specific Restrictions, which complement Ada’s set of restrictions, such as those banning the generation of implicit loops or conditionals in the object code, or the generation of elaboration code
• Additional rules based on Ada semantics specification developed following extensive customer input, including detailed issues, such as ordering of parameters, normalized naming of entities and subprograms with multiple returns
• Easy-to-use interface for creating and using a complete coding standard
• Generation of project-wide reports, including evidence of the level of compliance to a given coding standard
• Over 30 compile time warnings from GNAT Pro that detect typical error situations, such as local variables being used before being initialized, incorrect assumptions about array lower bounds, infinite recursion, incorrect data alignment, and accidental hiding of names
• Style checks that allow developers to control indentation, casing, comment style, and nesting level

Pricing and Availability
GNATcheck is currently available as part of the GNAT Pro subscription. Please contact AdaCore (sales@adacore.com) for the latest information on pricing and supported configurations.

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