AdaCore GNAT Pro Maintenance

The U.S. Army Contracting Command-Redstone is seeking to acquire maintenance and support for the AdaCore GNAT Pro software development system. The system is currently used by the Technology Development Directorate (TDD) for the Guided Multiple Launch Rocket System (GMLRS) and provides multiple compilations, support for unit testing, and support for static code analysis. The contract will be for a period of 12 months, from December 8, 2025, to December 7, 2026, and will allow for up to 15 unique users. • The AdaCore GNAT Pro software development system is the only system capable of meeting the Government's requirements. • The system provides native compilation on 32- and 64-bit Linux, cross compilation for VxWorks 6.9 hosted on a 32-bit PowerPC, support for Ada 2012, support for unit testing, and support for static code analysis. • The contract will be a firm-fixed price delivery option. • The estimated total value of the contract is not specified.