industry news
Subscribe Now

AdaCore Introduces GNAT Pro for the Wind River® Helix™ Virtualization Platform

New development toolsuite provides consistency across guest operating systems, enhancing project productivity.

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.

Leave a Reply

featured blogs
Jan 17, 2021
https://youtu.be/mKoW8ji9_g8 Made in my kitchen (camera Ziyue Zhang) Monday: Young People Program at DATE 2021 Tuesday: IEDM Opening Keynote Wednesday: Cadence/Arm Event on Optimizing High-End Arm... [[ Click on the title to access the full blog on the Cadence Community site...
Jan 15, 2021
I recently saw (what appears at first glance to be) a simple puzzle involving triangles. But is finding the solution going to be trickier than I think?...
Jan 14, 2021
Learn how electronic design automation (EDA) tools & silicon-proven IP enable today's most influential smart tech, including ADAS, 5G, IoT, and Cloud services. The post 5 Key Innovations that Are Making Everything Smarter appeared first on From Silicon To Software....
Jan 13, 2021
Testing is the final step of any manufacturing process, and arguably the most important, and yet it can often be overlooked.  Releasing a poorly tested product onto the market has destroyed more than one reputation for quality, and this is even more important in an age when ...

featured paper

Common Design Pitfalls When Designing With Hall 2D Sensors And How To Avoid Them

Sponsored by Texas Instruments

This article discusses three widespread application issues in industrial and automotive end equipment – rotary encoding, in-plane magnetic sensing, and safety-critical – that can be solved more efficiently using devices with new features and higher performance. We will discuss in which end products these applications can be found and also provide a comparison with our traditional digital Hall-effect sensors showing how the new releases complement our existing portfolio.

Click here to download the whitepaper

Featured Chalk Talk

Introducing Google Coral

Sponsored by Mouser Electronics and Google

AI inference at the edge is exploding right now. Numerous designs that can’t use cloud processing for AI tasks need high-performance, low-power AI acceleration right in their embedded designs. Wouldn’t it be cool if those designs could have their own little Google TPU? In this episode of Chalk Talk, Amelia Dalton chats with James McKurkin of Google about the Google Coral edge TPU.

More information about Coral System on Module