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

AdaCore is the main industrial sponsor of this event.

Robert Dewar, AdaCore CEO and President, will be presenting a talk at the Safety and Security event held on Thursday September 25 (details to follow).