ГОСТРМЭК 61511-2—2011
12.6.2 Требования к модификации
Всегда, когда это возможно, следует избегать внесения изменений в ПСБ на действующем про
цессе. Если такие изменения все-таки требуются, то вся процедура должна быть оформлена докумен
тально и выполнена в соответствии с планом безопасности.
Для внесения любых изменений в программируемые ПСБ рекомендуется следующая процедура:
a) планирование и ресурсы. Процесс внесения изменений в программируемую ПСБ должен быть
управляемым, планируемым и обеспеченным ресурсами на уровне, достаточном для безопасной реа
лизации изменений;
b
) анализ влияний. Необходимая модификация может потребовать проведения полной оценки
опасности ириска, включая все возможные влияния неизменяемыхчастей системы (анализ влияний на
безопасность).
c) разработка. Разработка модификации должна быть проведена по всему жизненному циклу,
представленному в МЭК 61511-1;
d) верификация. Перед установкой изменения должна быть выполнена полная верификация тех
нических средств и ПО вне процесса. Если граница для изменяемого ПО ясно очерчена и контролируе
ма. то до сдачи-приемки требуется провести верификацию только очерченной части ППО;
e) установка и ввод в действие. Установка и ввод в действие изменениядолжны следовать проце
дурам, установленным для ПСБ в МЭК 61511-1;
f) подтверяодение соответствия приемочных испытаний. Подтверждение соответствия системы
(тестирование причин и следствий) должно быть выполнено для ее модифицированных частей до их
включения в действие в составе действующей системы;
д) персонал. К выполнению модификаций следует допускать только определенный персонал, об
ладающий на основе его подготовки и проверки компетентностью в вопросах выполнения изменений;
h)модификации в автономном режиме. При осуществлении модификаций ППО в автономном ре
жиме следует провести верификацию корректности используемых версий ППО. включая рабочие пара метры.
12.6.2.1 Дополнительные требования не предусмотрены.
12.7 Верификация ППО
12.7.1 Цели
12.7.1.1 Дополнительные требования не предусмотрены.
12.7.1.2 Дополнительные требования не предусмотрены.
12.7.2 Требования
Спецификация требований к безопасности ППО будет включать:
- требования к функциям безопасности ПСБ (например, значения УПБ для функций безопасности
ПСБ. логика, описанная диаграммами потоков или причинно-следственными диаграммами);
- временныеограничения (например, минимальные времена реакции выхода на входной сигнал);
- архитектурные ограничения (например, требования резервирования, коммуникационные интер
фейсы и функциональные разделения).
Соответствие установленным требованиям обеспечивается проведением верификации на каж
дой стадии разработки ППО.
Верификация данных включает подтверждение того, что данные, используемые ППО. правильны
и, где необходимо, уникальны (например, что имена индексам присвоены уникально, что данные не ис
пользуются последующими функциямиошибочно ичто константы, устанавливающие значениедля ава
рийной сигнализации, актуальны и правильны).
Верификация защиты от несанкционированного изменения могла бы включать в себя проверку
того, что соответствующие механизмы (например, защита паролем суровнямидоступа) предусмотрены
и используются адекватно.
12.7.2.1 Дополнительные требования не предусмотрены.
12.7.2.2 Дополнительные требования не предусмотрены.
12.7.2.3 На каждой отдельной стадии разработки ППО (включая проведение проверок) верифика
ция подтверждает, что эта стадия успешно выполнена. В общем случае верификацию проводит специ
альная группа, которая может состоять из одного или более человек.
Для снижения числа ошибок путем заранее принятых разумных ориентиров верификация должна
включать:
- при УПБ 1— экспертную оценку, выполненную другим участником группы разработчиков ППО;
38