Contents Index Search Previous Next
Annex H
(normative)
Safety and Security
1
This
Annex addresses requirements for systems that are safety critical or
have security constraints. It provides facilities and specifies documentation
requirements that relate to several needs:
2
- Understanding program execution;
3
4
- Restricting language constructs whose
usage might complicate the demonstration of program correctness
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.
6
1 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.
Contents Index Search Previous Next Legal