AdaCore provides a full-featured, multi-language (Ada, SPARK, C, C++) development environment that comes with unmatched product support and expert Ada consulting.
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.
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.
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.
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.
A qualifiable and customizable code generator from Simulink® and Stateflow® models to MISRA C and SPARK
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 »
GUI Development in Ada
GNAT Pro’s solution for developing portable, efficient GUI-driven applications in Ada. 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 »
Ada Web Server
Framework to Develop Web Based Applications
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 »