Overview

GNAT Pro Assurance is designed for certification and long-lived projects, offering a comprehensive Ada solution. It supports all versions of the Ada language standard (from Ada 83 to Ada 2012), with optional C (including C11) and C++ (including C++17) support. The product includes a full toolsuite, configurable run-time library, and several specific run-times suited to high-assurance systems. Unique to GNAT Pro Assurance is the sustained branches service, allowing continued use of a specific technology version with critical issue upgrades.

Features

• Complete Ada Solution: Supports all Ada language standards and optional C/C++ support.
• Full Toolsuite: Includes Integrated Development Environments, visual debugger, multi-language build tool, and static/dynamic analysis utilities.
• Customizable Runtimes: Offers several run-time libraries, including ZFP, Cert, and Ravenscar.
• Sustained Branches Service: Ensures product stability with controlled evolution to correct problems.
• Security Vulnerability Prevention: Provides detailed vulnerability reports and Software Bills of Materials (SBOMs).
• Certification Support: Includes certification material for run-time libraries and qualification material for tools.
• Static Analysis Tools: Includes GNATstack, GNATmetric, and GNATcheck.
• MC/DC Coverage: GNATcoverage tool for non-intrusive coverage analysis up to DO-178B/C Level A.
• Source-to-Object Code Traceability: Helps comply with DO-178B avionics standard.

Benefits

• Reliability: Ensures high reliability for critical projects.
• Long-term Maintenance: Supports long-term maintenance and updates.
• Certification Ready: Simplifies development and verification for certification.
• Security: Enhances security with detailed vulnerability management.
• Comprehensive Support: Offers expert consulting and support services.
• Flexibility: Customizable run-time libraries and tools for various project needs.
• Cost Savings: Reduces costs with certification and qualification materials.