Next: , Previous: G.3.2, Up: Top


Annex H High Integrity Systems

1/2
This Annex addresses requirements for high integrity systems (including safety−critical systems and security−critical systems). It provides facilities and specifies documentation requirements that relate to several needs:

2

3

4

4.1
Execution understandability is supported by pragma Normalize_Scalars, and also by requirements for the implementation to document the effect of a program in the presence of a bounded error or where the language rules leave the effect unspecified. 5
The pragmas Reviewable and Restrictions relate to the other requirements addressed by this Annex.

     NOTES

6

 The Valid attribute (see 13.9.2) is also useful in addressing these needs, to avoid problems that could otherwise arise from scalars that have values outside their declared range constraints.