ГОСТ РМЭК 62061—2013
3.2.41 безопасный отказ (safe failure): Отказ СБЭСУ, подсистемы или ее элемента, не вызыва
ющий опасность.
(МЭК 61508-4. п. 3.6.8 модифицирован]
П р и м е ч а н и е — Безопасный отказ не приводит к отказу или возможному отказу выполнения СБФУ.
3.2.42 доля безопасных отказов. ДБО (safe failure fraction. SFF): Доля общей интенсивности
отказов подсистемы, которые не приводят к опасному отказу.
П р и м е ч а н и е — Значение ДБО может быть вычислено по следующей формуле:
ДБО =(]Г>.5 +]T>-
do
)/(X *-
s
)>
£ * s + £ * о
гдел5 —интенсивность безопасных отказов;
— общая интенсивность отказов;
— интенсивность опасных отказов, выявляемых диагностикой:
*00
>.0
— интенсивность опасных отказов.
Диагностический охват (если таковой имеется) каждой подсистемы в СБЭСУ учитывается при вы
числении вероятности случайных отказов аппаратных средств. ДБО — при определении архитектур
ных ограничений на полноту безопасности аппаратных средств (см. 6.7.7).
3.2.43отказ по общей причине (common cause failure): Отказ, который является результатом
одного или нескольких событий, вызвавших одновременные отказы двух и более отдельных каналов
в многоканальной подсистеме (с архитектурой с резервированием), ведущий к отказу СБЭСУ.
[МЭК 61508-4. п. 3.6.10 модифицирован]
П р и м е ч а н и е — Данное определение отличается от представленного в ИСО 12100-1 и МЭС 191-04-23.
3.2.44 случайный отказ аппаратных средств (random hardware failure): Отказ, возникающий
в случайный момент времени и являющийся результатом одного или нескольких возможных механиз
мов ухудшения характеристик аппаратных средств.
[МЭК 61508-4. п. 3.6.5]
3.2.45 систематический отказ (systematic failure): Отказ, обусловленный определенной причи
ной. которая может быть исключена только путем модификации проекта, производственного процесса,
операций, документации или других факторов.
[МЭК 61508-4. п. 3.6.6]
П р и м е ч а н и я
1 Корректирующее действие без модификации обычно не устраняет причину отказа.
2 Систематический отказ может быть вызван имитацией причины отказа.
3 Примерами причин систематических отказов являются ошибки человека:
- в спецификации требований кбезопасности;
- в проекте, при изготовлении, вводе вэксплуатацию или работе аппаратных средств;
- при проектировании, реализации и т. п. программного обеспечения.
3.2.46 прикладное программное обеспечение (application software): Определенное для применения
программное обеспечение, реализованное разработчиком СБЭСУ. обычно содержащее последовательность
логических операций, ограничения и выражения и управляющее соответствующей входящей и выходящей
информацией, вычислениями и решениями, удовлетворяющими функциональные требования СБЭСУ.
3.2.47 встроенное программное обеспечение (embedded software): Программное обеспечение,
поставленное производителем, которое является частью СБЭСУ и. как правило, недоступное для мо
дификации.
П р и м е ч а н и е — Программное обеспечение программируемой электроники, а также системное про
граммное обеспечение — примеры встроенного программного обеспечения.
3.2.48язык программирования с полной изменчивостью. ЯПИ (full variability language. FVL):
Тип языка, позволяющий реализовать широкий диапазон функций и прикладных задач.
[МЭК 61511-1, п. 3.2.81.1.3 модифицирован]
П р и м е ч а н и я
1 Типичными примерами систем, применяющих ЯПИ. являютсясистемы, широкоиспользуемые компьютерами.
2 Обычно ЯПИ применяется во встроенном программном обеспечении и реже — в прикладном.
9