Ada 95, Ada 2005, and Ada 2012 define a number of Specialized Needs Annexes, which are not required in all implementations. However, as described in this chapter, GNAT implements all of these annexes:
The Systems Programming Annex is fully implemented.
The Real-Time Systems Annex is fully implemented.
Stub generation is fully implemented in the GNAT compiler. In addition, a complete compatible PCS is available as part of the GLADE system, a separate product. When the two products are used in conjunction, this annex is fully implemented.
The Information Systems annex is fully implemented.
The Numerics Annex is fully implemented.
The Safety and Security Annex (termed the High-Integrity Systems Annex in Ada 2005) is fully implemented.