Annex H (normative)

Safety and Security
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2219)


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:
  • Understanding program execution;

  • Reviewing object code;

  • Restricting language constructs whose usage might complicate the demonstration of program correctness

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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© The MITRE Corporation, Inc. 2000

Personalised recommendations