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