ГОСТ Р МЭК 61508-6-2012
отдельных недоступностей для вычисления мгновенной недоступности PFD(t) всей
системы;
- PFD-lvgполучается путем усреднения PFD(t).
Такой подход описан в В.4 и зубчатые кривые, подобные тем, что показаны на
рисунках В.25, В.27 и В.28, могут быть использованы как входные данные для деревьев
отказов.
Если зависимостями между компонентами нельзя пренебречь, то можно
воспользоватьсякаким-либоинструментомдляавтоматическогопостроения
марковского графа. Они основываются на моделях более высокого уровня, чем
марковские (например, сети Петри или формальный язык). Из-за комбинаторного взрыва
числа состояний они все равно могут столкнуться с трудностями.
Объединенный подход очень эффективен для моделирования сложных систем.
Рисунок В.30 - Изменение логики (с 2ооЗ на 1о2) вместо ремонта первого отказа
Система, смоделированная на рисунке В.30, состоит из трех компонентов,
проверяемых в одно и то же время и работающих по схеме 2ооЗ. Когда отказ обнаружен,
логика меняется с 2ооЗ на 1оо2, т.к. логика 1оо2 лучше, чем 2ооЗ с точки зрения
безопасности (но хуже с точки зрения ложного отказа). И только в случае обнаружения
второго отказа должен произойти ремонт, который включает в себя замену всех трех
элементов на новые. Это вносит системные ограничения, поэтому невозможно
построить поведение всей системы простым объединением поведения независимых
компонентов.
81