ГОСТ РМЭК 62061—2015
3.2.36 архитектурное ограничение (architecture constraint): Набор требований к архитектуре,
ограничивающих УПБ. который может быть востребован для подсистемы.
Примечание — Требования к архитектурным ограничениям представлены в 6.7.6.
3.2.37 контрольная проверка (proof test): Периодическая проверка, выполняемая для того, что
бы обнаружить опасные скрытые отказы и ухудшение функционирования СБЭСУ и ее подсистем с тем,
чтобы при необходимости СБЭСУ и ее подсистемы могли быть восстановлены настолько близко к
«ис ходному» состоянию, насколько это возможно в данных условиях.
[МЭК 61508-4. п. 3.8.5 модифицирован]
Примечание — Контрольная проверка предназначена для того, чтобы подтвердить, что СБЭСУ нахо
дится всостоянии, которое обеспечивает заданную полноту безопасности.
3.2.38охват диагностикой (diagnostic coverage): Доля опасных отказов, выявляемая автоматиче
скими диагностическими проверками в неавтономном режиме.
(МЭК 61508-4, п. 3.8.6 модифицирован]
Примечания
1 Охват диагностикой опасных отказов определяют с помощью следующего выражения, где DC — охват
диагностикой. >.DD— интенсивности выявленных опасных отказов,— общая интенсивность опасных отказов:
DC
2 Доля выявляемых опасных отказов, вычисляемая как отношение интенсивности опасных отказов, выявля
емых автоматическими диагностическими проверками в неавтономном режиме, к общей интенсивность опасных
отказов.
3.2.39 отказ (failure): Прекращение способности СБЭСУ. подсистемы или элемента подсистемы
выполнять требуемую функцию.
[МЭК 61508-4. п. 3.6.4 модифицирован и ИСО 12100-1:2003, п. 3.32]
Примечание — Отказы могут быть случайными (в аппаратных средствах) или систематическими (в
аппаратных средствах или в программном обеспечении).
3.2.40 опасный отказ (dangerous failure): Отказ СБЭСУ. подсистемы или элемента подсистемы,
который может привести к опасному состоянию или ошибке при выполнении функции.
Примечания
1 Будут или кет реализованы опасные последствия отказа, зависит от канальной архитектуры системы: на
пример. в многоканальных системах, повышающих уровень безопасности, опасный отказ технического средства с
меньшей вероятностью приведет к итоговому опасному состоянию или отказу при выполнении функции.
2 В многоканальной подсистеме вероятность опасного отказа может быть меньше, чем интенсивность опас
ного отказа канала, который включен в подсистему. Вероятность же опасного отказа СБЭСУ не может быть мень
шей. чем вероятность опасного отказа любой из подсистем, составляющей СБЭСУ (это следует из определения
«подсистемы», данного в настоящем стандарте).
3 Опасный отказ обычно приводит к отказу или возможному отказу выполнения СБФУ.
3.2.41 безопасный отказ (safe failure): Отказ СБЭСУ. подсистемы или ее элемента, не вызываю
щий опасность.
Примечание — Безопасный отказ не приводит котказу или возможному отказу выполнения СБФУ.
3.2.42 доля безопасных отказов: ДБО (safe failure fraction. SFF): Доля общей интенсивности от
казов подсистемы, которые не приводят к опасному отказу.
Примечание — Значение ДБО может быть вычислено по следующей формуле:
ДБО =(£<<s ++2 /io)’
где:
Ag— интенсивность безопасных отказов:
X+ 2-^0 — общая интенсивность отказов:
/.до — интенсивность опасных отказов, выявляемых диагностикой:
).р — интенсивность опасных отказов.
9