1.. _Specialized_Needs_Annexes:
2
3*************************
4Specialized Needs Annexes
5*************************
6
7Ada 95, Ada 2005, and Ada 2012 define a number of Specialized Needs Annexes, which are not
8required in all implementations.  However, as described in this chapter,
9GNAT implements all of these annexes:
10
11*Systems Programming (Annex C)*
12  The Systems Programming Annex is fully implemented.
13
14
15*Real-Time Systems (Annex D)*
16  The Real-Time Systems Annex is fully implemented.
17
18
19*Distributed Systems (Annex E)*
20  Stub generation is fully implemented in the GNAT compiler.  In addition,
21  a complete compatible PCS is available as part of the GLADE system,
22  a separate product.  When the two
23  products are used in conjunction, this annex is fully implemented.
24
25
26*Information Systems (Annex F)*
27  The Information Systems annex is fully implemented.
28
29
30*Numerics (Annex G)*
31  The Numerics Annex is fully implemented.
32
33
34*Safety and Security / High-Integrity Systems (Annex H)*
35  The Safety and Security Annex (termed the High-Integrity Systems Annex
36  in Ada 2005) is fully implemented.
37
38