CAN/CSA-ISO/IEC TR 15942-2004(R2019) Информационные технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности (принят ISO/IEC TR 15942:2000, первое издание, 1 марта 2000 г.)
Область применения: В этом техническом отчете представлены рекомендации по использованию Ada при создании систем с высокой степенью целостности. При составлении таких заявок обычно необходимо продемонстрировать независимым органам соблюдение руководящих принципов или стандартов. Эти руководящие принципы или стандарты различаются в зависимости от области применения, промышленного сектора или характера связанного риска. Для приложений безопасности международным общим стандартом является [IEC 61508], часть 3 которого касается программного обеспечения. Для систем безопасности многонациональным общим руководством по оценке является [ISO CD 15408]. Для конкретных секторов существуют руководства и стандарты: Бортовое гражданское авиационное оборудование: [DO-178B] Атомные электростанции: [IEC 880] Медицинские системы: [IEC 601-4] Фармацевтика: [GAMP] Для национальных/региональных руководств и стандартов существуют следующее: Оборона Великобритании: [DS 00-55] Европейские железные дороги: [EN 50128] Европейская безопасность: [ITSEC] Ядерная промышленность США: [NRC] Автомобильная промышленность Великобритании: [MISRA] Медицинская помощь США: [FDA] Космос США: [NASA] Вышеуказанные стандарты и руководства в настоящем Техническом отчете называются «Стандарты». Приведенный выше список не является исчерпывающим, но указывает на тип стандарта, к которому приводится настоящий Технический отчет. Вышеуказанные конкретные стандарты не рассматриваются отдельно, а настоящий технический отчет синтезирован на основе анализа их требований и рекомендаций.