ГОСТ ISO 13849-1—2014
4.6.2 Встроенное программное обеспечение функций безопасности (SRESW)
Для компонентов SRESW с PLr от а до
d
должны применяться следующие основные меры:
- срок службы программного обеспечения с верификацией и приемочными испытаниями, см. ри
сунок 6;
- документирование спецификации и конструкции:
- модульная и структурная разработка и кодирование;
- контроль систематических отказов (см. G.2);
- использование мер. основанных на программном обеспечении, для контроля случайных отказов
аппаратных средств, проверки правильного применения;
- функциональные испытания, например, испытание черного ящика;
- соответствующие работы по безопасности программного обеспечения в течение срока службы
после модификаций.
Для компонентов SRESW с PLr от
с
до
d
должны применяться следующие дополнительные меры:
- менеджмент качества сопоставляемых систем при конструировании, например, в соответствии
с IEC 61508 или (181;
- документирование всей деятельности, взаимосвязанной с жизненным циклом программного
обеспечения;
- менеджмент по идентификации всех форм и документов, связанных с реализацией SRESW;
- структурированные технические требования, включая требования по безопасности, и конструи
рование;
- использование подходящих языков программирования и компьютерных средств;
- модульное и структурное программирование, разделение в области программных способов и
средств обеспечения безопасности, модули ограниченного размера с полностью заданным интерфей
сом. применение стандартов конструирования и кодирования;
- проверка кодирования сквозным контролем/пересмотром, включая анализ потока управления;
- расширенное функциональное тестирование, например тестирование методом серого ящика,
испытание для определения рабочих характеристик или моделирование;
- анализ воздействий и проведение соответствующих работ по безопасности программного обе
спечения в течение срока службы после внесения изменений.
Компоненты SRESW с PLr= е должны соответствовать IEC 61508. раздел 7. с подходящим SIL 3.
С учетом отличий в области технических требований, конструирования и кодирования для двух кана
лов. применяемых в SRP/CS с категориями 3 или 4 и PLt =
в.
оценка может быть проведена с помощью
вышеупомянутых критериев для PLr = с или
d.
Примечание 1— Для более подробного описания данных критериев см. IEC 61508-7.
Примечание 2 — Для SRESW с отличиями в области конструирования и кодирования, а также для ком
понентов. используемых в SRP/CS с категориями 3 или 4. затраты на принятие мер с целью исключения система
тических отказов могут быть сокращены, например, проверкой компонентов программного обеспечения с учетом
только структурных аспектов вместо проверки каждой строки кода.
4.6.3 Прикладное программное обеспечение функций безопасности (SRASW)
Срок службы программного обеспечения, связанного с безопасностью (см. рисунок 6) также от
носится к SRASW (см. приложение J).
SRASW. написанные на языке LVL и отвечающие следующим требованиям, могут иметь PL от а
до е. Если SRASW написано на языке FVL. то должны применяться требования к SRESW. уровень PL
от а до е может быть достигнут. Если элемент SRASW в пределах одной компоненты имеет какое-либо
влияние (например, по причине модификации) на несколько функций безопасности с различными PL.
то следует применять требования, относящиеся к высшим уровням PL. Следующие основные критерии
должны применяться к компонентам SRASW с PL, от а до е:
- цикл разработки с процессами контроля и подтверждения, см. рисунок 6;
- документирование технических требований и разработки;
- модульное и структурное программирование;
- функциональное испытание;
- соответствующие опытно-конструкторские работы после модификаций.
Для компонентов SRASW с PLr от с до е необходимо или рекомендовано применение следую
щих мер с целью повышения эффективности (низкая эффективность РЦ = с, средняя эффективность
PLr =
d.
высокая эффективность PLr= о);
18