ГОСТ Р 53195.4—2010
5.6.12.6 ПО должно быть интегрировано с программируемой электроникой АС СБЗС-систем
(подсистем) в соответствии с определенными на стадии проектирования вариантами интеграции и тес
тами интеграции СБЗС-систем (подсистем).
5.6.12.7 При тестировании интеграции СБЗС-систем (подсистем) все модификации или измене
ния должны бытьобъектом анализа влияния, в результате которого следует определить, какие состав
ляющие ПО затрагиваются изменениями, и установить необходимость их повторной верификации.
5.6.12.8 Тестовые примеры и результаты их выполнения должны быть документированы для
последующего анализа.
5.6.12.9 Результаты тестирования интеграции СБЗС-систем (подсистем) должны быть докумен
тированы. В документации должны быть сформулированы результаты тестирования, а также указано,
были ли выполнены цели и критерии проверки. Если тестирование окончилось неудачно, должны быть
описаны причины этого.
5.7 Ввод в действие, эксплуатация и модификация ПО
5.7.1 Проектировщиком ПО должны быть разработаны процедуры установки, ввода в действие,
эксплуатации и модификации СБЗС ПО (см. блок 1.6 на рисунке 3), обеспечивающие сохранение уста
новленной проектом функциональной безопасности СБЗС-систем при работе и модификациях ПО в
период эксплуатации.
5.7.2 СБЗС-система может быть введена в эксплуатацию только после подтверждения соответ
ствия АС и ПО требованиям безопасности.
5.7.3 Подтверждение соответствия ПО требованиям безопасности (см. блоки 1.5 и 1.8 на
рисунке 3)
5.7.3.1 Если соответствие требованиям к безопасности ПО уже было установленодля СБЗС-сис-
темы (ГОСТ Р 53195.3,7.8 и 7.15). проведение повторного подтверждения соответствия не требуется.
5.7.3.2 Операции подтверждения соответствия должны выполняться всоответствии со специфи
кациями, разработанными при планировании подтверждения соответствия безопасности ПО (см.
5.6.3).
П р и м е ч а н и е — Методы/средстаа. рекомендуемые для применения при оценке и подтверждении соот
ветствия, приведены в таблице А.7 приложения А й в таблицах Б.З. Б5 приложения Б.
5.7.3.3 Результаты подтверждения соответствия безопасности программного обеспечения долж
ны быть документированы.
5.7.3.4 При проведении подтверждения соответствия безопасности ПО для каждой функции
безопасности должны быть документированы следующие данные:
- хронологический перечень операций подтверждения соответствия;
- используемая версия плана подтверждения соответствия безопасности ПО (см. 5.6.3):
- подтверждаемые функции безопасности (с использованием тестирования или анализа) со
ссылками на план подтверждения соответствия безопасности ПО (см. 5.6.3):
- использованные инструменты и оборудование, а также данные калибровки;
- критерии соответствия/несоответствия при процедуре подтверждения соответствия;
- результаты операций подтверждения соответствия;
- расхождения между ожидаемыми и фактическими результатами.
5.7.3.5 При наличии расхождений между ожидаемыми и фактическими результатами проводят
анализ и принимают решение о продолжении проверки или о подготовке запроса на внесение измене
ний и возврате к более ранней стадии жизненного цикла разработки. Это решение должно быть доку
ментировано как часть результатов подтверждения соответствия безопасности ПО.
5.7.3.6 Подтверждениесоответствия СБЗС ПО должно удовлетворятьследующим требованиям:
- основным методом подтверждения соответствиядля ПО должно быть тестирование: анимацию
и моделирование допускается использовать как дополнительные методы:
- прогон программного обеспечения следует выполнять путем имитации:
- входных сигналов в нормальном режиме работы.
- предполагаемых случаев (моделей событий);
- нежелательных условий, требующих вмешательства системы;
- поставщиком иУили разработчиком должны быть предоставлены документированные результа
ты подтверждения соответствия безопасности ПО и вся имеющая отношение к этой операции докумен
тация в распоряжение разработчика системы для предоставления ему возможности выполнить
требования ГОСТ Р 53195.1 — ГОСТ Р 53195.3.
18