The Technology Development Directorate (TDD) has a requirement maintenance and support for AdaCore software. The Ada software development suite is the existing complier used in the TDD software for the Guided Multiple Launch Rocket System (GMLRS) that provides multiple compilations, support for unit testing, and support for static code analysis.
