Это приложение описывает требования к системам высокой надежности (включая системы, критически важные для безопасности, и системы, критически важные для безопасности). Оно предоставляет средства и определяет требования к документации, относящиеся к нескольким потребностям:

Понимание выполнения поддерживается пragma Normalize_Scalars, а также требованиями к реализации документации о влиянии программы при наличии ограниченной ошибки или когда языковые правила оставляют эффект неопределенным.

Предикаты Reviewable и Restrictions связаны с другими требованиями, рассмотренными в этом приложении.