Справочник по Ada 2005
Приложение H
(нормативное)
Системы высокой надежности
Это приложение описывает требования к системам высокой надежности (включая системы, критически важные для безопасности, и системы, критически важные для безопасности). Оно предоставляет средства и определяет требования к документации, связанные с несколькими потребностями:
- Понимание выполнения программы;
- Проверка объектного кода;
- Ограничение языковых конструкций, использование которых может усложнить демонстрацию корректности программы
Понимание выполнения поддерживается директивой Normalize_Scalars, а также требованиями к реализации документировать эффект программы при наличии ограниченной ошибки или когда языковые правила оставляют эффект неопределенным.
Директивы Reviewable и Restrictions относятся к другим требованиям, рассматриваемым в данном приложении.
ПРИМЕЧАНИЯ
1 Атрибут Valid (см. 13.9.2) также полезен для решения этих задач, чтобы избежать проблем, которые могут возникнуть из-за скаляров, имеющих значения за пределами ограничений диапазона, указанных в их объявлении.
