ГОСТ Р МЭК 61508-3—2012
0 определять соответствующие тесты интеграции архитектуры программного обеспечения для
обеспечения выполнения спецификации требований к программному обеспечению системы безопас
ности для заданного уровня полноты безопасности.
7.4.3.3
Л
юбые изменения, которые может потребоваться внести в спецификацию требований к
Э/Э/ПЭ системе безопасности (см. 7.4.3.2), после использования мероприятий по 7.4.3.2 должны быть
согласованы с разработчиком Э/Э/ПЭ систем и документально оформлены.
П р и м е ч ан и е — Итерационное взаимодействие между архитектурой аппаратных средств и программного
обеспечения является неизбежным (см. рисунок 5). поэтому существует необходимость в обсуждении с разработ
чиком аппаратуры таких вопросов, как спецификация тестирования интеграции программируемой электронной
аппаратуры и программного обеспечения (см. 7.5).
7.4.4Требования к инструментальным средствам поддержки, включая языки программи
рования
П р и м е ч ан и е — Для выбора соответствующих методов и средств (см. приложения А и В)для выполнения
требований настоящего пункта должны быть рассмотрены следующие свойства (см. руководство по интерпрета
ции свойств в приложении С и неформальные описания методов и средств в приложении F МЭК 61508-7) архитек
туры программного обеспечения:
- уровень, до которого инструментальные средства поддерживают разработку программного обеспечения с
требуемыми свойствами программного обеспечения;
- четкость работы и функциональность инструментальных средств;
- корректность и воспроизводимость результата.
7.4.4.1 Программное обеспечение инструментальных средств поддержки, работающее а неавто
номном режиме, должно рассматриваться как элемент программного обеспечения системы, связанной с
безопасностью.
П р и м е ч ан и е — Примеры инструментальных средств поддержки, работающие в автономном и неавто
номном режиме, см. в пунктах 3.2.10 и 3.2.11 МЭК 61508-4.
7.4.4.2 Действие по выбору программного обеспечения инструментальных средств поддержки,
работающих в автономном режиме, должно быть тесно связанным с частью действий по разработке
программного обеспечения.
П р и м е ч ан и я
1 Требования к жизненному циклу разработки программного обеспечения см. в 7.1.2.
2 Для увеличения целостности программного обеспечения за счет уменьшения вероятности появления
или необнаружения отказов во время его разработки должны использоваться соответствующие инструменталь
ные средства, работающие в неавтономном режиме, поддерживающие разработку программного обеспечения.
Примерами инструментальных средств, использующихся на стадиях разработки жизненного цикла программного
обеспечения, являются:
a) инструментальные средства преобразования или трансляции, которые преобразуют программное обе
спечение или представление проекта (например, текст или схему) из одного уровня абстрактного представления в
другой уровень: инструментальные средства усовершенствования проекта, компиляторы, ассемблеры, компонов
щики. редакторы связей, загрузчики и средства генерации кода;
b
) средства оценки и подтверждения соответствия, такие как статические анализаторы кода, средства кон
троля тестового охвата, средства доказательства теорем и средства моделирования:
c) инструментальные средства диагностики для поддержки и контроля программного обеспечения в процес
се эксплуатации:
d) инсгрументальные средства инфраструктуры, такие как системы поддержки разработок;
e) инструментальные средства управления конфигурацией, такие как средства управления версиями;
f) инструментальные средства данных применения, которые создают или поддерживают данные, необходи
мые для определения параметров и создания экземпляров функций системы. Такиеданные включают в себя пара
метры функций, диапазоны инструментальных средств, уровни срабатывания и отключения аварийных
сигналов, состояния выхода, которые будут восприняты как отказы.
3 Инструментальные средства поддержки, работающие в автономном режиме, должны быть выбраны как
интегрируемые. Инструментальные средства интегрированы, если они работают совместно так. чтобы выходы
одного инструментального средства имели соответствующее содержание и формат для автоматической передачи
на вход к следующему инструментальному средству, минимизируя таким образом возможность появления ошибки
человека при повторной обработке промежуточных результатов.
4 Инструментальные средства поддержки, работающие в автономном режиме, должны быть выбраны как
совместимые с потребностями применения системы, связанной с безопасностью, и интегрированного комплекса
инструментальных средств.
23