Данное техническое руководство посвящено использованию языка программирования Ada в высоконадежных информационных системах. Оно содержит рекомендации и лучшие практики для разработчиков, которые работают над созданием систем с повышенными требованиями к безопасности и стабильности. Руководство предоставляет информацию о свойствах языка Ada, его применении в различных аспектах проектирования программного обеспечения и методах улучшения качества кода. Оно также обсуждает вопросы, связанные с проверкой системы на соответствие требованиям высокой целостности.
*** Обратите внимание: это описание может быть неточным, обратитесь к официальной документации.