Язык Ada допускает определенные зависимости от целевой машины контролируемым образом. Каждая реализация Ada должна документировать множество характеристик и свойств целевой системы. Этот международный стандарт содержит конкретные требования к документации. Кроме того, многие характеристики, требующие документации, определены в этом международном стандарте как зависящие от реализации. Наконец, этот международный стандарт требует документации о том, соблюдается ли рекомендация реализации. Следующие подпункты содержат сводки этих требований к документации.