AdaCore Software License and Support
Overview
Fit Score
Settle Intelligence
Settle helps teams find, evaluate, and respond to public RFPs. We continuously surface new opportunities, score them against your company strengths, and draft proposal responses so you can focus on the work that wins business.
SUMMARY
DESCRIPTION
The United States Government requires a sole source purchase from AdaCore Technology for software licenses and support covering one calendar year for GNAT Pro, GNAT Dynamic Analysis Suite (DAS), and SPARK Pro. These tools are essential for rigorously and formally verifying complex autonomy software, which is critical to research and development in unmanned aerial vehicle systems conducted by AFRL/RQQA.
GNAT Pro Enterprise provides a comprehensive development environment for producing critical software systems using Ada/SPARK, C, and C++. GNAT DAS offers automated unit testing, fuzzing, and code coverage, while SPARK Pro delivers formal verification tools for code developed in the SPARK subset of Ada. The requirement aligns with strategic directives from the USAF and DoD to advance autonomous systems and digital engineering capabilities.
Source attribution
This Settle analysis is based on the issuing organization’s public RFP listing.