ГОСТ Р МЭК 61511-2—2011
- при УПБ 2 — экспертную оценку, выполненную лицом, не являющимся участником разработки;
- при УПБ 3 — экспертную оценку, выполненную лицом, представляющим независимое подраз
деление.
Если инструментальные средства разработки ПО включают некоторые автоматические операции
верификации [например, проверку на повторное использование тэгов (имен переменных)], то группе ве
рификации следует подтвердить, что такие средства используются должным образом и получаемые
результаты правильны.
При любом УПБ рекомендуется, чтобы объем проверокохватывал все функции безопасности ПСБ
ППО и реакцию ПСБ на все виды отказов (например, отказ питания, отказ процессора, отказ входного
или выходного устройства и отказ коммуникаций). Однако для дальнейшего снижения количества
лю бых ошибок, оставшихся в ПО. рекомендуется при более высоких УПБ проводить
следующие дополнительные испытания:
- при УПБ 2 и УПБ
3
— испытания, базирующиеся на особенностях внутренней структуры (напри
мер, внутренние алгоритмы, внутренние состояния);
- при УПБ 3 — форсированные испытания (например, при значениях входных и/или внутренних
переменных вне рабочихдиапазонов, при неверных комбинациях входных сигналов, при неправильных
последовательностях и нагрузках).
При любых УПБ рекомендуется, чтобы документация для выполнения верификации и тестирова
ния была достаточна для того, чтобы показать, что верификация и тестирование были выполнены и
были успешными. Однако при более высоких УПБ также рекомендуется:
- при УПБ 2 и УПБ 3 — чтобы документация была достаточнадля проведения оценки адекватнос
ти верификации и тестирования;
- при УПБ 3 — чтобы документация была достаточна для того, чтобы независимый специалист
мог повторить испытания и оценить их достаточность.
12.7.2.4 Дополнительные требования не предусмотрены.
13 Заводские приемочные испытания
13.1 Цель
13.1.1 Дополнительные требования не предусмотрены.
13.2 Рекомендации
13.2.1 Хотя проведение заводских приемочных испытаний (ЗПИ) не является требованием, они
рекомендуются для логических устройств, которые выполняют функции безопасности ПСБ и имеютдо
вольно сложную логику или структуру с резервированием (например, «1 из 2», «2 из 3» и т. д.).
13.2.2 Наиболее важная часть ЗПИ должна представлять собой хорошо определенную, хорошо
прописанную и хорошо структурированную процедуру испытаний, которая устанавливает, как прове
рять прикладную логику и что контролировать после каждого шага.
Персонал, которому предстоитэксплуатировать процесс, следует привлекать кучастию в ЗПИ. на
чиная с момента, когда ему дадут некоторую начальную подготовкудля эксплуатации ПСБ. Часто пер
сонал также может сделать хорошие предложения и добавления к процедуре испытаний, которые не
были видны при разработке.
13.2.3 Дополнительные требования не предусмотрены.
13.2.4 Дополнительные требования не предусмотрены.
13.2.5 Входе ЗПИ следуетпроверить интерфейсы (например, коммуникации междуОСУП и ПСБ).
13.2.6 Дополнительные требования не предусмотрены.
13.2.7 Дополнительные требования не предусмотрены.
14 Установка и ввод в действие ПСБ
14.1 Цель
14.1.1 Дополнительные требования не предусмотрены.
14.2 Требования
14.2.1 Дополнительные требования не предусмотрены.