ISO/IEC TR 15942:2000
Информационные технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности.

Стандартный №

ISO/IEC TR 15942:2000

Дата публикации

2000

Разместил

International Organization for Standardization (ISO)

Последняя версия

ISO/IEC TR 15942: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] Вышеуказанные стандарты и руководства в настоящем Техническом отчете называются «Стандарты». Приведенный выше список не является исчерпывающим, но указывает на тип стандарта, к которому приводится настоящий Технический отчет. Вышеуказанные конкретные стандарты не рассматриваются отдельно, а настоящий технический отчет синтезирован на основе анализа их требований и рекомендаций. 1 В рамках настоящего технического отчета предполагается, что система разрабатывается на языке Ada, отвечающая стандарту, указанному выше, или стандарту аналогичного характера. Основная цель настоящего технического отчета — перевести общие требования в конкретные требования Ada. Например, общий стандарт может требовать, чтобы динамическое тестирование обеспечивало подтверждение выполнения всех операторов в коде приложения. В случае дженериков в настоящем техническом отчете это интерпретируется как означающее, что все экземпляры дженерика должны быть выполнены. Настоящий технический отчет предназначен только для предоставления рекомендаций, поэтому в нем нет никаких требований. Однако в настоящем техническом отчете определены проблемы проверки и валидации, которые должны быть решены и задокументированы в соответствии с используемыми отраслевыми стандартами. В сферу охвата настоящего технического отчета входят следующие темы: · выбор функций языка, которые помогают верификации и соответствию стандартам, · идентификация особенностей языка, требующих дополнительных шагов проверки, · использование инструментов для облегчения проектирования и проверки, · вопросы, касающиеся квалификации компиляторов для использования в приложениях с высокой степенью целостности, · инструменты, такие как инструменты графического дизайна, которые генерируют исходный код Ada, доступный пользователям. Инструменты, генерирующие исходный код Ada, требуют особого внимания. Если сгенерированный код может быть изменен или расширен, проверка расширений и всей системы будет облегчена, если будут приняты во внимание рекомендации. Даже если модификация не запланирована, проверка и анализ сгенерированного кода могут оказаться неизбежными, если только генератор не является надежным или «квалифицированным» в соответствии с применимым стандартом. Наконец, даже если сгенерированный код не модифицируется и не проверяется, общий процесс проверки может усложниться, если код отклоняется от рекомендаций, предназначенных для облегчения тестирования и анализа. Потенциальные пользователи таких инструментов должны оценить свою генерацию кода на основе рекомендаций, представленных в этом техническом отчете.

ISO/IEC TR 15942:2000 История

• 2000 ISO/IEC TR 15942:2000 Информационные технологии. Языки программирования. Руководство по использованию языка программирования Ada в системах высокой целостности.