ГОСТ Р МЭК 61508-6-2012
д) Вместе с разработчиком аппаратных средств (см. МЭК 61508-2, подраздел 7.7)
проводят подтверждение соответствия программного обеспечения в интегрированных
Э/Э/ПЭ системах, связанных с безопасностью (см. МЭК 61508-3, подраздел 7.7).
h) Передают результаты подтверждения соответствия безопасности Э/Э/ПЭ
системы, связанной с безопасностью, системныминженерам для дальнейшей
интеграции всей системы.
i) Если в процессе эксплуатации потребуется модернизация программного
обеспечения Э/Э/ПЭ системы, связанной с безопасностью, то выполняется возврат к
соответствующей стадии, как описано в МЭК 61508-3, подраздел 7.8.
В процессе жизненного цикла программного обеспечения системы безопасности
выполняется множество различных действий. Среди них верификация (см. МЭК 61508-2,
подраздел 7.9) и оценка функциональной безопасности (см. МЭК 61508-1, раздел 8).
В процессе выполнения приведенных выше действий выбирают обеспечивающие
безопасность программного обеспеченияметоды и средства,соответствующие
требуемому уровню полноты безопасности. Для помощи с выбором таких методов и
средств составлены таблицы,упорядочивающие различные методы/средствав
соответствиис четырьмяуровнямиполнотыбезопасности(см.МЭК 61508-3,
приложение А). Краткий обзор каждого из методов и средств со ссылками на источники
информации о них, включая перекрестные ссылки на эти таблицы, представлен в
МЭК 61508-7, приложение С.
Обработанные примеры применения таблиц полноты безопасности приведены в
приложении Е настоящего стандарта, а МЭК 61508-7 включает в себя описание
вероятностногоподходакопределениюполнотыбезопасностипрограммного
обеспечения для уже разработанного программного обеспечения (см. МЭК 61508-7,
приложение D).
П р и м е ч а н и е-При выполнении приведенных выше действий допусхается применять
средства, альтернативные указанным в настоящем стандарте, при условии, что соответствующее
обоснование документально оформляется в процессе планирования подтверждения соответствия
системе безопасности (см. МЭК 61508-1, раздел 6).
16