ГОСТ Р МЭК 61508-3—2012
7.8.2.4 Результаты анализа влияния, полученные в соответствии с 7.8.2.3, должны быть докумен
тально оформлены.
7.8.2.5 Все модификации, оказывающие влияние на функциональную безопасность Э/Э/ПЭ си
стемы. связанной с безопасностью, должны приводить к возврату на соответствующую стадию жиз
ненного цикла программного обеспечения системы безопасности. Все последующие стадии должны
выполняться в соответствии с процедурами, определенными для конкретных стадий в соответствии с
требованиями настоящего стандарта. При планировании системы безопасности (см. раздел 6) должны
быть подробно описаны все последующие процессы.
П р и м е ч ан и е — Может потребоваться проведение полного анализа рисков и опасностей, в результате
которого может появиться потребность в иных уровнях полноты безопасности, чем те. которые определены для
функций безопасности, реализуемых Э/Э/ПЭ системами, связанными с безопасностью.
7.8.2.6 Планирование системы безопасности для модификации программного обеспечения,
связанного с безопасностью, должно соответствовать требованиям, представленным в разделе 6
МЭК
61508-1. в частности к:
a) идентификации персонала и определению требований к его квалификации;
b
) подробной спецификации модификации;
c) планированию верификации;
d) определению области применения процедур повторного подтверждения соответствия и тести
рования модификации в той степени, в которой этого требует уровень полноты безопасности.
П р и м е ч ан и е — В зависимости от характера применения может быть важным участие экспертов в об
ласти данного применения.
7.8.2.7 Модификация должна быть проведена в соответствии с разработанным планом.
7.8.2.8 Все модификации должны быть подробно документированы, включая;
a) запрос на модификацию/корректировку;
b
) результаты анализа влияния, которое окажут предлагаемые модификации программного обес
печения на функциональную безопасность, и принятые решения с их обоснованием;
c) сведения об изменениях конфигурации программного обеспечения;
d) отклонения от нормальной работы и нормальных условий работы;
e) документы, которые затрагиваются процессами модификации.
7.8.29 Информация о деталях всех проведенных модификаций должна быть документально
оформлена. Документация должна включать в себя данные и результаты повторной верификации и
повторного подтверждения соответствия.
7.8.2.10 Оценка необходимых модификаций или корректировок должна зависеть от результатов
анализа влияния модификаций и стойкости к систематическим отказам программного обеспечения.
7.9 Верификация программного обеспечения
7.9.1 Цель
Целью требований настоящего подраздела является проверка и оценка в соответствии с требуе
мым уровнем полноты безопасности результатов, полученных на заданной стадии жизненного цикла
программного обеспечения системы безопасности, а также гарантия того, что эти результаты являются
корректными и соответствуют исходной информации для соответствующей стадии.
П ри м е чан и я
1 Настоящий подраздел учитывает базовые аспекты верификации, которые являются общими для несколь
ких стадий жизненного цикла системы безопасности. Настоящий подраздел не предъявляет дополнительных тре
бований к элементам проверки при верификации в 7.4.7 (проверка программных модулей). 7.4.8 (интеграция про
граммного обеспечения) и 7.5 (интеграция программируемой электроники), которые сами по себе представляют
процессы верификации. Данный подраздел не требует также дополнительной верификации для процессов под
тверждения соответствия программного обеспечения (см. 7.7), так как подтверждение соответствия в настоящем
стандарте определяется как демонстрация соответствия спецификации требований к системе безопасности. Про
верка того, является ли корректной сама спецификация, проводится специалистами по предметным областям.
2 В зависимости от архитектуры программного обеспечения ответственность за проведение верификации
программного обеспечения может быть поделена между всеми организациями, вовлеченными в разработку и мо
дификацию программного обеспечения.
33