Industrial-Grade Software Development

GNAT Pro Enterprise is a complete development environment for producing critical software systems where reliability, efficiency and maintainability are essential.

Our GNAT Pro Enterprise flagship product supports all versions of Ada, C and C++ and offers a suite of tools and libraries for developing large, mission-critical applications. Companies worldwide have come to depend on AdaCore’s products and expertise in developing, verifying and maintaining their software. Our technology is upgraded annually, with many of the enhancements based on customer suggestions. 


Take on the toughest software challenges with confidence.

With its extensible and tailorable IDEs and its comprehensive suite of development and verification tools, GNAT Pro Enterprise can meet the needs of the most demanding projects. It integrates smoothly with version control and configuration management software and scales up to support multi-developer systems comprising millions of lines of code. 


Arrow Illustration

One supplier, one toolset, one workflow for Ada, C and C++

GNAT Pro Enterprise uses a common code generator to support all versions of Ada, from Ada 83 through Ada 2012, as well as C and C++.  With its full spectrum of program development and verification tools, coupled with expert support, AdaCore can serve as a “one stop shop” for your programming needs.


Time Tested, Proven Tools and Experience

AdaCore and GNAT Pro have a long and successful track record in the most demanding industries, including commercial and military avionics, space, rail, automotive, medical systems and finance.


Customer Story Masc

Premium Toolsuite

In addition to all the tools and libraries that you need, we have a variety of add-ons to kick your workflow up to the next level.

windowGear Created with Sketch.

Development Environments

The control panel for your software projects is the GNAT Programming Studio (GPS) or GNATbench (Eclipse plug-in) Integrated Development Environment. These intuitive and adaptable IDEs are easy to learn but offer advanced capabilities to support evolving project needs. 

paperStack Created with Sketch.

Library and Components

In addition to the Ada 2012 predefined environment, GNAT Pro Enterprise supplies a number of libraries specific to GNAT. These include packages for string handling, searching and sorting, hash tables, socket support, input-output, and more.

graph Created with Sketch.

Testing and Analysis Tools

The toolsuite include a configurable reformatter / pretty printer, a program metrics generator, a visual debugger, a code navigator, a test case generator, and more.

Customer Projects: GNAT Pro Enterprise

  • SmartSide

    Metering and Grid Management

    SmartSide has adopted the Ada programming language and GNAT Pro for the implementation of their Smart Devices platform. SmartSide provides Smart Metering and Smart Grid management solutions which are used to optimize Smart Grid networks.

View all customer projects »

An Unparalleled Level of Coverage

GNAT Pro Enterprise is available on a wide range of platforms, both native and cross, with targets including commercial RTOSes and Bare Metal.

Native Configurations
x86 PowerPC SPARC
Windows check Created with Sketch.
Linux check Created with Sketch.
Solaris check Created with Sketch.
check Created with Sketch.
macOS check Created with Sketch.
AIX
check Created with Sketch.
Embedded Configurations
x86 PowerPC ARM LEON
VxWorks 5
check Created with Sketch.
VxWorks 6 check Created with Sketch. check Created with Sketch. check Created with Sketch.
VxWorks 7 check Created with Sketch. check Created with Sketch. check Created with Sketch.
VxWorks 653
check Created with Sketch.
Lynx178 check Created with Sketch. check Created with Sketch.
PikeOS check Created with Sketch. check Created with Sketch. check Created with Sketch.
iOS
check Created with Sketch.
Android
check Created with Sketch.
Bare Metal
check Created with Sketch. check Created with Sketch. check Created with Sketch.
Emb Linux
check Created with Sketch. check Created with Sketch.

Not currently available, please contact AdaCore.

Expert Support

Integral to every one of our products are the consulting and support services we provide to our customers. While every company says they offer excellent support, for us it‘s a critical part of our business model and something we take very seriously.

  • check Direct access to the GNAT Pro team
  • check Confidential support
  • check 48 hour response guarantee
  • check Support for multiple versions Ada (85,93 2005, 2012)
  • check Access to GNAT Tracker

Learn more about Expert Support »