ГОСТ Р МЭК 61508-3—2007
объектом анализа влияния, который должен определить, какие программные модули затрагиваются
изменениями, и установить необходимость повторной верификации.
7.5.2.7 Тестовые примеры и результаты их выполнения должны быть документированы для
последующего анализа.
7.5.2.8 Результаты проверки интеграции программируемой электроники (аппаратных средств и
программного обеспечения)должны быть документированы, в документации должны быть сформули
рованы результаты проверки, а также указано, былили выполнены цели икритерии проверки. Если тес
тирование окончилось неудачно, должны быть описаны причины этого. Все модификации или
изменения, являющиеся результатом тестирования, должны бытьобъектом анализа влияния, который
должен определить, какие программные модули затрагиваются изменениями, и установить
необходимость повторной верификации и проектирования.
7.6 Работа программного обеспечения и процедуры модификации
П р и м е ч а н и я
1 См. также таблицу А.8 (приложение А).
2 Эта стадия представлена на рисунке 3 (см. 9.5).
7.6.1 Цели
Целью требований настоящего подраздела является представление информации и процедур,
касающихся программного обеспечения, необходимых для того, чтобы убедиться в том. что функцио
нальная безопасность Е/ЕУРЕсистем, связанных с безопасностью, сохраняется при работе и модифи
кациях.
7.6.2 Требования
Требования приведены в МЭК 61508-2, пункт 7.6 и в 7.8 настоящего стандарта.
П р и м е ч а н и е — В настоящем стандарте программное обеспечение (в отличие от аппаратных средств)
не может поддерживаться, оно всегда модифицируется.
7.7 Подтверждение соответствия безопасности программного обеспечения
П р и м е ч а н и я
1 См. также таблицы А.7 (приложение А). В.З и В.5 (приложение В).
2 Данная стадия представлена на рисунке 3 (см. 9.6).
7.7.1 Цоли
Цель требований настоящего подраздела— гарантировать соответствие интегрированной систе
мы специфицированным требованиям кбезопасности программногообеспечения (см. 7.2)на заданном
уровне полноты безопасности.
7.7.2 Требования
7.7.2.1Если соответствие требованиям к безопасности программного обеспечения уже было
установлено для Е/Е/РЕ системы, связанной с безопасностью (МЭК 61508-2. пункт 7.7), проводить
повторное подтверждение соответствия не требуется.
7.7.2 2 Операции подтверждения соответствия должны выполняться всоответствии со специфи
кациями. разработанными при планировании подтверждения соответствия безопасности программно го
обеспечения (см. 7.3).
7.7.2.3 Результаты подтверждения соответствия безопасности программного обеспечения дол
жны быть документированы.
7.7.2.4 При проведении подтверждения соответствия безопасности программного обеспечения
для каждой функции безопасности должны быть документированы следующие результаты:
a) хронологический перечень операций подтверждения соответствия:
b
) используемая версия плана подтверждения соответствия безопасности программного обеспе
чения (см. 7.3);
c) подтверждаемые функции безопасности (с использованием тестирования или анализа), со
ссылками на план подтверждения соответствия безопасности программного обеспечения (см. 7.3);
d) использованные инструменты и оборудование, а также данные калибровки;
e) результаты операций подтверждения соответствия;
О расхождения между ожидаемыми и фактическими результатами.
7.7.2.5 При наличии расхождений между ожидаемыми и фактическими результатами проводится
анализ и принимается решение, продолжать ли проворку или подготовить запрос на изменение и вер
нуться к болееранней стадиижизненного цикла разработки. Это решениедолжно бытьдокументирова
но как часть результатов подтверждения соответствия безопасности программного обеспечения.
22