industry news
Subscribe Now

AdaCore V18.1 Product Release Brings New Software Development and Verification Solutions

GNAT Pro, CodePeer, SPARK Pro and QGen upgraded with new features, better performance

NEW YORK & PARIS & TOULOUSE, France, January 31, 2018 – ERTS² Congress – AdaCore, a trusted provider of software development and verification tools with headquarters in New York and Paris, is unveiling Version 18.1 of its industry-leading GNAT Pro, CodePeer, SPARK Pro, and QGen products. This latest version enhances the already robust, feature-rich software suite with new tools and capabilities and marks the first release of GNAT Pro in its three product lines: GNAT Pro Assurance, GNAT Pro Enterprise and GNAT Pro Developer.

For more than twenty years, AdaCore has been delivering products and services designed specifically to help developers build safe, secure, reliable, high-integrity software. AdaCore’s GNAT Pro, CodePeer, SPARK Pro and QGen are software development and verification tools of choice for safety-critical, high-security, and mission-critical applications across a growing number of markets, including aerospace and defense, automotive, energy, medical, railway, and the Internet of Things (IoT).

“Specializing the GNAT Pro offering into three product lines is one of the major new aspects of this release, allowing us to adapt our toolset and services to different user needs,” said Cyrille Comar, AdaCore President. “As an example, the GNAT Pro Assurance product line provides specific services for environments where a major tooling upgrade can be very delicate and where tool errata (‘known-problems’) need to be accurately described and actively managed.”

The GNAT Pro Ada development environment provides new tools, improved code efficiency, several new targets and a variety of compiler enhancements with Version 18.1. All GNAT Pro subscriptions now include the SPARK Discovery verification technology, and GNAT Pro Assurance and GNAT Pro Enterprise also supply AdaCore’s GNATstack stack analysis tool.

The GNAT Pro toolsuite features GPRbuild project tool upgrades, new rules in the GNATcheck coding standard checker, GNATcoverage support for Lauterbach probes, and new options in the GNATtest unit testing framework. The GNAT Programming Studio (GPS) Integrated Development Environment (IDE) boasts performance and user interface improvements, including C/C++ navigation engine enhancements, while GNATbench adds support for Eclipse 4.8 Oxygen and Wind River Workbench 4.12.

CodePeer, the advanced CWE-compatible static analysis tool for Ada, brings improved performance, easier analysis of non-GNAT code, fewer “false positives,” and integration of GNAT warnings into the tool output.  An updated tool qualification kit for DO-178C is also available for CodePeer 18.1, with coverage of additional Ada constructs including exceptions, access types, and generic units.

The SPARK Pro formal verification environment, co-developed by AdaCore and its partner Altran, has added contracts to units in the predefined environment and has enhanced the automation of proofs. SPARK Pro 18.1 also allows users to perform interactive proofs in GPS.

QGen, AdaCore’s qualifiable model-based development tool kit which generates SPARK and MISRA C, has been enhanced with a compatibility checker to verify compliance of sample models with the supported safe subset of Simulink®/Stateflow® models. QGen 18.1 also implements several new blocks and supports Simulink®/Stateflow® versions up to 2017b.

For a complete list of new and improved features in Version 18.1, visit:
GNAT Pro base technology – http://docs.adacore.com/R/relnotes/features-18
GPS and GNATbench IDEs – http://docs.adacore.com/R/relnotes/features-ide-18
GPR library and tools – http://docs.adacore.com/R/relnotes/features-gprbuild-18
CodePeer – http://docs.adacore.com/R/relnotes/features-codepeer-18
SPARK Pro – http://docs.adacore.com/R/relnotes/features-spark-18
QGen – http://docs.adacore.com/R/relnotes/features-qgen-18

About AdaCore
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial avionics, automotive, railway, space, military systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/customers/ 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
Mar 27, 2024
The current state of PCB design is in the middle of a trifecta; there's an evolution, a revolution, and an exodus. There are better tools and material changes, there's the addition of artificial intelligence and machine learning (AI/ML), but at the same time, people are leavi...
Mar 26, 2024
Learn how GPU acceleration impacts digital chip design implementation, expanding beyond chip simulation to fulfill compute demands of the RTL-to-GDSII process.The post Can GPUs Accelerate Digital Design Implementation? appeared first on Chip Design....
Mar 21, 2024
The awesome thing about these machines is that you are limited only by your imagination, and I've got a GREAT imagination....

featured video

We are Altera. We are for the innovators.

Sponsored by Intel

Today we embark on an exciting journey as we transition to Altera, an Intel Company. In a world of endless opportunities and challenges, we are here to provide the flexibility needed by our ecosystem of customers and partners to pioneer and accelerate innovation. As we leap into the future, we are committed to providing easy-to-design and deploy leadership programmable solutions to innovators to unlock extraordinary possibilities for everyone on the planet.

To learn more about Altera visit: http://intel.com/altera

featured chalk talk

Addressing the Challenges of Low-Latency, High-Performance Wi-Fi
In this episode of Chalk Talk, Amelia Dalton, Andrew Hart from Infineon, and Andy Ross from Laird Connectivity examine the benefits of Wi-Fi 6 and 6E, why IIoT designs are perfectly suited for Wi-Fi 6 and 6E, and how Wi-Fi 6 and 6E will bring Wi-Fi connectivity to a broad range of new applications.
Nov 17, 2023
17,258 views