ГОСТРМЭК 62061—2015
Диагностический охват (если таковой имеется) каждой подсистемы в СБЭСУ учитывается при вычислении
вероятности случайных отказов аппаратных средств. ДБО— при определении архитектурных ограничений на пол
ноту безопасности аппаратных средств (см. 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 Обычно ЯПИ применяют во встроенном программном обеспечении и реже — в прикладном.
3 Примерами ЯПИ являются Ada. С. Pascal, языки ассемблера. C++. Java. SQL.
3.2.49 язык программирования с ограниченной изменчивостью: ЯОИ (limited variability
language. LVL): Тип языка программирования, который позволяет объединять предварительно опреде
ленные. специфические для предметной области библиотечные функции для выполнения специфика
ций требований к системе безопасности.
[МЭК 61511-1, п. 3.2.81.1.2 модифицирован]
Примечания
1 ЯОИ обеспечивает близкое соответствие функциям, необходимым для реализации применения.
2 Типичные примеры ЯОИ приведены в МЭК 61131-3 и включают языки многоступенчатых диаграмм, функ
циональных блок-диаграмм, последовательностных функциональных схем.
3 Типичными примерами систем, использующих ЯОИ. являются программируемые логические контроллеры
(ПЛК). сконфигурированные для управления оборудованием машин.
3.2.50 программное обеспечение, связанное с безопасностью (safety-related software): Программ
ное обеспечение, которое используется для реализации СБФУ в системах, связанных с безопасностью.
Ю