Gnat Pro – Designed for the Ada Professional
Add-On Technologies
Extend the power of GNAT Pro with our constantly growing lineup of supplemental technologies.
Coverage Analysis Tool – GNATcoverage
GNATcoverage is a specialized tool that analyzes and reports program coverage. Originally developed as part of the Couverture research project, GNATcoverage performs coverage analysis on both object code — instruction and branch coverage – and Ada and C language source code – statement, decision and Modified Condition/Decision Coverage (MC/DC).
Learn more
Target Architecture Emulation – GNATemulator
GNATemulator is an efficient and flexible tool that provides integrated, lightweight target emulation. Based on the QEMU technology, a generic and open source machine emulator and virtualizer, the GNATemulator tool allows software developers to compile code directly for their target architecture and run it on their host platform, through an approach that translates from the target object code to native instructions on the host.
Learn more
.NET Framework – GNAT Pro for .NET
GNAT Pro is the natural Ada solution for .NET. It is the first commercial
Ada tool to provide true support for the .NET Framework and API: not simply through
“unmanaged” (Windows) code but also through managed .NET code. GNAT Pro
provides an easy transition path for .NET developers seeking a reliable and
powerful Ada programming environment, and for Ada users looking to develop
software on the .NET platform.
Learn more
Stack Analysis Tool – GNATstack
GNATstack is a software analysis tool that enables software development teams to accurately predict the maximum size of the memory stack required to host an embedded software application.
Learn more
Multi-Language
Thanks in part to the GCC common back end architecture, GNAT Pro eases the job of developing applications comprising Ada and other languages such as C, Fortran, and C++. AdaCore provide, as an add-on to the standard Ada compiler, support for a C (GNAT Pro for C) and C++ (GNAT Pro for C++) compiler.
Learn more
Web-Based Technologies – AWS
Many modern systems need to provide an interactive, efficient web-based interface. With GNAT Pro’s AWS framework you can develop such applications in Ada easily and reliably, and AWS’s small embedded server supports access through commonly-used browsers.
Learn more
GUI Development – GtkAda
An application that includes a Graphical User Interface will benefit from the intuitive GUI Builder and extensive widget set that comprise GtkAda. The Ada interface is object-oriented and provides better type checking than the underlying C library, resulting in better maintainability and earlier error detection.
Learn more
Traceability Analysis Package
A customized source-to-object code traceability analysis tool that can help developers demonstrate compliance of safety-critical software with the DO-178B avionics standard.
Learn more
Distributed Systems – PolyORB
Middleware implementation providing development tools and an innovative runtime library architecture for collaboration of application components using open standards for distributed sytems.
Learn more
Ada Semantic Analysis – ASIS-for-GNAT
ASIS, the Ada Semantic Interface Specification, is a standard set of interfaces (Ada packages) that capture the complete syntactic and semantic structure of an Ada compilation unit. These packages are typically used by tools that have to perform some sort of static analysis on an Ada program.
Learn more
More on GNAT Pro
Frontline Support »
Learn about the other side of GNAT Pro
The world’s largest team of Ada experts at your fingertips
Continue Reading
GNAT Pro Overview »
Like Ada, the GNAT Pro package was designed with quality in mind. Whether you’re doing native, embedded or safety-critical development, learn how this well-crafted combination of tools and services allows your team to take full advantage of the benefits that Ada offers, and helps ensure a smooth, cost-effective development process.
Continue Reading