ГОСТ Р МЭК 61508-3—2012
7.7.2.1 Если для программного обеспечения, связанного с безопасностью, соответствие с тре
бованиями уже было установлено при планировании подтверждения соответствия безопасности для
Э/ЭУПЭсистемы, связанной с безопасностью (см. подраздел 7.7 МЭК 61508-2). то проводить повторное
подтверждение соответствия не требуется.
7.7.2.2 Операции подтверждения соответствия должны проводиться в соответствии со специфи
кациями. разработанными при планировании подтверждения соответствия аспектов программного обе
спечения безопасности системы.
7.7.2.3 В зависимости от характера разработки программного обеспечения ответственность за
соответствие требованиям 7.7 может лежать на нескольких сторонах. Распределение ответственности
должно быть документально оформлено во время планирования безопасности системы (см. раздел 6
МЭК 61508-1).
7.7.2.4 Результаты подтверждения соответствия аспектов программного обеспечения безопасно
сти системы должны быть документально оформлены.
7.7.2.5 При проведении подтверждения соответствия программного обеспечения безопасности
системы для каждой функции безопасности должны быть документально оформлены следующие ре
зультаты:
a) хронологический перечень операций подтверждения соответствия, который позволит восстано
вить последовательностьдействий.
П р и м е ч ан и е — При записи результатов испытаний важно, чтобы последовательность действий могла
быть восстановлена. Главное в этом требовании — восстановить последовательность действий, а не создать упо
рядоченный по времени/дате список документов;
b
) используемая версия плана подтверждения соответствия программного обеспечения безопас
ности системы (см. 7.3):
c) подтверждаемые функции безопасности (с использованием тестирования или анализа), со
ссылками на план подтверждения соответствия аспектов программного обеспечения безопасности си
стемы (см. 7.3);
d) используемые инструменты и оборудование, а также данные калибровки:
e) результаты операций подтверждения соответствия;
0 расхождения между ожидаемыми и фактическими результатами.
7.7.2.6 При наличии расхождений между ожидаемыми и фактическими результатами проводят
анализ и принимают решение о продолжении подтверждения соответствия или о подготовке запро са
на изменение и возвращении к более ранней стадии жизненного цикла разработки. Это решение
должно быть документально оформлено как часть результатов подтверждения соответствия аспектов
программного обеспечения безопасности системы.
П р и м е ч ан и е — Требования 7.72.2—7.72.5 основываются на общих требованиях подраздела 7.14
МЭК 61508-1.
7.7.2.7 Подтверждение соответствия аспектов связанного с безопасностью программного обеспе
чения безопасности системы должно соответствовать следующим требованиям:
a) основным методом подтверждения соответствия для программного обеспечения должно быть
тестирование: анимацию и моделирование допускается использовать как дополнительные методы:
b
) прогон программного обеспечения должен проводиться путем имитации:
- входных сигналов в нормальном режиме работы.
- предполагаемых случаев.
- нежелательных условий, требующих вмешательства системы;
c) поставщик и/или разработчик (либо несколько сторон, ответственных за соответствие) должны
предоставить документально оформленные результаты подтверждения соответствия аспектов про
граммного обеспечения безопасности системы и всю имеющую отношение к этой операции докумен
тацию в распоряжение разработчика системы, чтобы дать ему возможность выполнить требования
МЭК 61508-1 и МЭК 61508-2.
7.7.28 Инструментальные средства программного обеспечения должны соответствовать требо
ваниям 7.4.4.
7.7.2.ЭК результатам подтверждения соответствия аспектов связанного с безопасностью про
граммного обеспечения безопасности системы предъявляют следующие требования:
а)проверки должны показать, что все заданные требования, предъявляемые к программному
обеспечению, связанному с безопасностью (см. 7.2). выполняются правильно и что программная систе
ма не выполняет непредусмотренных функций;
31