GNAT Pro is a robust and flexible Ada development environment. It includes professional grade tools, unmatched product support and expert Ada advice designed to allow developement teams to take full advantage of the benefits Ada offers, and ensure a smooth, cost effective development process. Learn More »

GNAT Pro offers a range of multi-language solutions that allow programmers to write code in Ada, C, and C++ within a single, familiar and consistent, fully supported development environment. It also provides a set of bindings that let programmers seamlessly interface between Ada and other languages such as C, C++, Java, or Python. Learn More »

QGen is a qualifiable and tunable code generation and model verification tool for a safe subset of Simulink® and Stateflow® models. It reduces the development and verification costs for safety-critical applications through qualifiable code generation, model verification, and tight integration with AdaCore’s qualifiable simulation and structural coverage analysis tools. Learn More »

CodePeer assesses a program for potential bugs before it is executed, in effect serving as an automated peer review. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging. Learn More »

GNAT Pro Safety-Critical is an ideal environment for any high-reliability / safety-critical embedded application. In addition, we have tailored solutions to address the programming challenges and requirements associated with many industries and international safety standards. Learn More »


High Assurance by Design

Code Development

Static Analysis

SPARK Pro provides the foremost language, toolset and design discipline for the engineering of high-assurance software. It combines the renowned SPARK language and verification tools from Altran with the GNAT Programming Studio (GPS) development environment from AdaCore. SPARK Pro prevents, detects and eliminates defects early in the life-cycle as the source code is developed. Learn More »

GNAT Pro High-Security is a product designed for developing applications for stand-alone or multiple independent levels of security (MILS) RTOS partitions specifically to meet high-security requirements of top Evaluation Assurance Levels (EAL).It also provides a full-Ada support library for lower EAL and several specialized run-time libraries that simplify certification for top EAL, an optional SPARK Pro tool set, and a specialized GNAT Pro user interface designed with security-critical applications in mind. Learn More »

GNAT Pro’s solution for developing portable, efficient GUI-driven applications in Ada. Learn More »

GNATstack is a software analysis tool that enables Ada/C/C++ software development teams to accurately predict the maximum size of the memory stack required to host an embedded software application. Learn More »

GNATcheck is an extensible rule-based tool with an easy-to-use interface. It allows developers to completely define a coding standard (referred to as a “Software Code Standard” in DO-178B) as a set of rules, for example a subset of permitted language features. It verifies a program’s conformance with the resulting rules and thereby facilitates demonstration of a system’s compliance with DO-178B. Learn More »

GNATcoverage is a specialized tool that analyzes and reports program coverage. Learn More »

GNATemulator is an efficient and flexible tool that provides integrated, lightweight target emulation. Learn More »

A customized source-to-object code traceability analysis tool, GNAT Pro’s Traceability Analysis Package comprises an Ada language feature analysis, including test cases and GNAT Pro switch recommendations, that can help developers demonstrate compliance of safety-critical software with the DO-178B avionics standard. Learn More »

AdaCore has a number of products that help the development of certified applications compliant with the DO-178B avionics software safety standard, up to level A, and will apply equally to DO-178C, the new revision to DO-178B. Learn More »

Middleware implementation providing development tools and an innovative runtime library architecture for collaboration of application components using open standards for distributed sytems. Learn More »

The main part of the framework is the embedded Web server. This powerful Ada-based web server can be embedded allowing your application to talk with all modern web browsers. Learn More »

ASIS, the Ada Semantic Interface Specification, is a library that gives applications access to the complete syntactic and semantic structure of an Ada compilation unit. This library is typically used by tools that need to perform some sort of static analysis on an Ada program. Learn More »