NEW YORK, November 24, 2020 – AdaCore, a trusted provider of software development and verification tools, today launched a new edition of its premier GNAT Pro Ada, C and C++ development toolsuites in support of the Wind River® Helix™ Virtualization Platform. Offered in separate Ada and C/C++ packages, GNAT Pro enhances Helix Platform’s ability to consolidate mixed-criticality aerospace, defense and automotive applications onto a scalable, agile and certifiable platform. By choosing GNAT Pro, Helix Platform customers will experience a consistent software development toolchain across each of their Helix Platform partitions and target architectures, thereby helping to reduce overall development and training costs.

The consistency offered by GNAT Pro comes from the bundling of AdaCore’s industry-trusted development tools for Wind River VxWorks 7, Wind River Linux, and Bare Metal processors. This gives customers the freedom and flexibility to choose the best option for their Helix Platform’s safety, security, and innovation partitions. For example, developers of Ada and C applications with safety-certification requirements like DO-178C can choose to use either a stripped-down, minimal environment through a Bare Metal partition, or a Wind River VxWorks Cert Edition partition with POSIX, ARINC 653 and real-time operating system capabilities. Non-safety partitions can take full advantage of the power of Ada, C and C++ on Wind River VxWorks 7 and Wind River Linux to provide rapid and cost-effective innovation and deployment for non-safety-critical applications on their system.

“GNAT Pro supports both the maintenance of existing critical codebases and the development of new modern applications,” said Jamie Ayre, Commercial Director at AdaCore. “This, combined with our longstanding partnership with Wind River, makes GNAT Pro a natural development environment for the Helix Virtualization Platform. It allows innovation to run alongside existing systems and offers an easy and low-cost migration path for applications running on top of Wind River products, such as VxWorks or VxWorks 653.”

“As systems become smarter and more connected, especially with the advent of the intelligent edge, a modern and flexible development journey that can support increasingly complex requirements will be essential in order to help teams bring next generation mission critical systems to market,” said Alex Wilson, Senior Director, Aerospace and Defense Industry Solutions, Wind River. “Together with AdaCore, Wind River is delivering expanded solutions to enable development environments that ensure successful deployment of safe and secure systems.”

Military Embedded Systems Webinar – December 1 @ 11:00 am ET

Join AdaCore’s Robert Tice and Wind River’s Alex Wilson on December 1 @ 11:00 am ET to learn How to Enable the Intelligent Edge for Critical Avionics Software. This webinar, hosted by Military Embedded Systems, will demonstrate how the Helix™ Virtualization Platform and GNAT Pro development environment can help simplify, secure, and future-proof critical infrastructure solutions. Register for the webinar here.

About AdaCore

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. Four flagship products highlight the company’s offerings:

• The GNAT Pro development environment, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability. GNAT Pro is available for Ada and also for C and C++.
• The CWE-Compatible CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software. CodePeer can detect a number of the “Top 25 Most Dangerous Software Errors” in the MITRE Corporation’s Common Weakness Enumeration (CWE).
• The SPARK Pro verification environment, a toolset providing full formal verification oriented toward high-assurance systems with stringent security requirements.
• The QGen model-based development tool suite for safety-critical control systems, providing a qualifiable and customizable code generator and static verifier for a safe subset of Simulink^® and Stateflow^® models, and a model-level debugger.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, automotive, railway, space, defense systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/industries for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com.