RT00006-26_Purchase Description_Redacted.pdf

This document is a Purchase Description for Support and Maintenance Renewal of AdaCore for the Technology Development Directorate (TDD). The contract requires maintenance and support for multiple software development and analysis systems, including GNAT Pro Assurance and Enterprise tools for Ada software development across various platforms (x86 GNU Linux, 32 and 64-bit environments). Specific systems include tools for embedded flight code development, dynamic and static analysis suites, and software for ARM RTEMS 6 platforms.

The Performance Requirements specify maintenance for seven different software products, ranging from Pro Assurance to Dynamic and Static Analysis Suites for Ada development. These tools are primarily used to develop, test, and compile embedded Ada flight code for the PM STORM Multiple Launch Rocket Systems (MLRS) Family of Munitions (MFOM). No travel is anticipated for this contract, and the deliverables section appears to have been redacted. The contract focuses on providing sustained software development support across different computing environments and critical system development platforms.