ISO IEC TR 15942-2000 PDF

Полное наименование и описание

ISO/IEC TR 15942:2000 — Information technology — Programming languages — Guide for the use of the Ada programming language in high integrity systems. Технический отчёт даёт рекомендации по использованию языка Ada при разработке систем с высокими требованиями к надежности и безопасности, переводя общие требования стандартов отрасли в конкретные практики и требования, применимые к Ada.

Аннотация

Документ описывает области, где язык Ada может помочь удовлетворить требования к надёжности: выбор и ограничение языковых конструкций, подходы к верификации и валидации, требования к инструментам и квалификации компиляторов, а также особенности работы с автоматически генерируемым кодом. Предоставляет практические рекомендации для соответствия отраслевым стандартам безопасности и надёжности.

Общая информация

• Статус: Опубликовано (технический отчёт; подтверждён международный документ).
• Дата публикации: 16 марта 2000 г.
• Организация-издатель: ISO/IEC (ISO/IEC JTC 1/SC 22 — языки программирования).
• ICS / категории: 35.060 — Языки, используемые в информационных технологиях.
• Редакция / версия: Издание 1 (2000).
• Количество страниц: Около 48 страниц (включая приложения и пояснения в типичном издании).

Область применения

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

Ключевые темы и требования

• Выбор и ограничение языковых конструкций Ada в целях упрощения верификации и анализа кода.
• Особые требования к верификации и валидации (статический и динамический анализ, покрытие тестов, анализ инстанцирований обобщённых компонентов).
• Рекомендации по квалификации компиляторов и инструментов, генерирующих Ada-код.
• Управление автоматически сгенерированным кодом и требования к его проверяемости и документированию.
• Интеграция практик разработки с отраслевыми стандартами безопасности (например, требования к демонстрации соответствия при сертификации).
• Указания по документации, трассируемости и демонстрации соответствия требованиям сторонних стандартов.

Применение и пользователи

Целевые пользователи: разработчики прикладного программного обеспечения на Ada, инженеры по обеспечению безопасности и надёжности, аудиторы и органы сертификации, поставщики и вендоры инструментов (компиляторы, генераторы кода, анализаторы). Руководство полезно командам, которым требуется документально обосновать соблюдение отраслевых стандартов при использовании Ada.

Связанные стандарты

TR ссылается и соотносится с рядом отраслевых и межгосударственных документов, в том числе IEC 61508 (часть по программному обеспечению), ISO/IEC 15408 (критерии оценки безопасности), DO-178B (авионика), EN 50128 (железные дороги), MISRA и др.; а также с другими стандартами по Ada и инструментам (например, ISO/IEC 15291 — ASIS). Эти стандарты служат источником общих требований, которые TR помогает интерпретировать для Ada.

Ключевые слова

Ada; высокая надёжность; safety-critical; верификация; валидация; квалификация компиляторов; генерация кода; инструменты разработки; стандарты безопасности.

FAQ

В: Что это за стандарт?

О: Это технический отчёт ISO/IEC TR 15942:2000, содержащий руководство по использованию языка Ada в системах с высоким уровнем надёжности и безопасности.

В: Что он регулирует?

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

В: Кто обычно использует?

О: Инженеры и разработчики, создающие критически важное программное обеспечение на Ada; менеджеры качества и безопасность; аудиторы и сертифицирующие органы; поставщики инструментов разработки.

В: Он актуален или заменён?

О: ISO/IEC TR 15942 был опубликован в марте 2000 г. и имеет статус опубликованного (технического отчёта). Для подтверждения текущего статуса (например, об отмене, подтверждении или пересмотре) рекомендуется проверить каталог ISO/IEC или национальные организации по стандартизации, так как статус документов может меняться при периодических пересмотрах.

В: Это часть серии?

О: Да. Документ является техническим отчётом в сфере языков программирования под руководством ISO/IEC JTC 1/SC 22 и связан с другими стандартами и TR по Ada и методам оценки программного обеспечения (например, ISO/IEC 15291 и стандартами отраслевой сертификации).

В: Какие ключевые слова?

О: Ada, high integrity, safety-critical, verification, validation, compiler qualification, code generation, tools, standards.