The Department of Defense, specifically the Army Contracting Command - New Jersey, is planning to award a Firm-Fixed Price (FFP) contract for the procurement of GNAT Pro Ada software and associated support services from AdaCore. This acquisition, which will be conducted on a sole source basis, is crucial for the US Army Combat Capabilities Development Command (DEVCOM) Armaments Center, ensuring they have the necessary software tools for their operations. The procurement process is authorized under Simplified Acquisition Procedures, reflecting the government's commitment to obtaining commercial solutions while adhering to federal regulations. Interested parties may submit capability statements or quotations by September 20, 2024, with inquiries directed to Qendresa Neza at qendresa.neza.civ@army.mil or Nicole Thalmann at nicole.l.thalmann.civ@army.mil.