ГОСТ Р МЭК 61508-3—2012
b
) интеграцию Э/Э/ПЭ систем, т.е. добавление интерфейсов, таких какдатчики и исполнительные
устройства;
c) полную интеграцию УО и Э/Э/ПЭ системы, связанной с безопасностью.
П р и м е ч ан и е — Процессы по перечислениям Ь) и с) рассматриваются в МЭК 61508-1 и МЭК 61508-2.
7.5 2.5 Программное обеспечение должно быть интегрировано с программируемой электронной
аппаратурой, связанной с безопасностью, в соответствии со специфицированными тестами интеграции
для программируемой электроники (аппаратных средств и программного обеспечения).
7.5 2.6 При тестировании интеграции программируемой электроники, связанной с безопасностью
(аппаратных средств и программного обеспечения), все изменения в интегрированной системедолжны
стать объектом анализа влияния, который должен определить, какие программные модули затрагива
ются изменениями, и установить необходимость повторной верификации.
7.5.27Тестовые примеры и результаты их выполнения должны быть документально оформлены
для последующего анализа.
7.5.2.8Результаты проверки интеграции программируемой электроники (аппаратных средств и
программного обеспечения) должны быть документально оформлены, в документации должны быть
сформулированы результаты проверки, а также указано, были ли выполнены цели и критерии про верки.
Если тестирование окончилось неудачно, должны быть описаны причины неудачи. Все модифи кации или
изменения, являющиеся результатом тестирования, должны быть объектом анализа влия
ния, который должен определить, какие программные элементы/модули затрагиваются изменениями, и
установить необходимость повторной верификации и проектирования.
7.6 Процедуры эксплуатации и модификации программного обеспечения
П р и м е ч ан и е — Эта стадия представлена на рисунке4 (см. Блок 10.5).
7.6.1 Цели
Целью требований настоящего подраздела является представление информации и процедур,
касающихся программного обеспечения, необходимых, чтобы убедиться в том. что функциональная
безопасность Э/Э/ПЭ, связанной с безопасностью системы, сохраняется при эксплуатации и модифи
кациях.
7.6.2 Требования
Требования приведены в подразделе 7.6 МЭК 61508-2 и 7.8 настоящего стандарта.
П р и м е ч ан и е — В настоящем стандарте программное обеспечение (в отличие от аппаратных средств) не
может подвергаться техническому обслуживанию, оно всегда модифицируется.
7.7 Подтверждение соответствия аспектов программного обеспечения безопасности
системы
П рим ечан ия
1Данная стадия представлена на рисунке 4 (см. Блок 10.6).
2 Обычно подтверждение соответствия программного обеспечения не может проводиться отдельно от его
аппаратных средств и системного окружения.
7.7.1 Цели
Целью требований настоящего подраздела является гарантировать соответствие интегрирован
ной системы специфицированным требованиям к программному обеспечению системы безопасности
для заданного уровня полноты безопасности.
7.7.2 Требования
П р и м е ч ан и е — При выборе соответствующих методов и средств (см. приложения А и В настоящего стан
дарта) для выполнения требований настоящего подраздела должны быть рассмотрены следующие свойства (см.
руководство по интерпретации свойств в приложении С настоящего стандарта и неформальные описания методов и
средств в приложении F МЭК 61508-7) подтверждения соответствия безопасности системы:
- полнота подтверждения соответствия в соответствии со спецификацией проекта программного обеспе
чения;
- корректность подтверждения соответствия в соответствии со спецификацией проекта программного обе
спечения (успешное выполнение);
- воспроизводимость;
- подтверждение соответствия точно определенной конфигурации.
30