ГОСТ Р МЭК 61508-6-2012
МСТи / Nbf. Это может быть использовано для вычисления PFH = 1/(MUT + MDT) =
MMTBF
=
NbffT.
Все эти результаты получаются непосредственно, так как метод Монте-Карло
легко определяет средние величины. Все описанное выше является лишь иллюстрацией
широты использования сетей Петри для расчета УПБ, но реальные возможности
моделирования являются практически безграничными.
В.5.4 Прочие подходы
Отношение между размером моделей и количеством компонентов изучаемой
системы существенно изменяется в зависимости от используемого подхода. Для дерева
отказов и сетей Петри - это линейное отношение, но для марковских процессов оно -
экспоненциальное. Такимобразом длямоделированиясложных систем чаще
используются деревья отказов и сети Петри, чем марковские процессы. По этой причине
сети Петри иногда используются для создания больших марковских графов.
Формальные языки для описанных выше графических представлений формируют
плоские модели: каждый элемент на каждом уровне описывается отдельно. Из-за этого
большие модели иногда сложно осваивать и поддерживать. Одним из способов решения
даннойпроблемыявляетсяиспользованиеструктурногоязыка,описывающего
компактную иерархическую модель. В последнее время был разработан ряд таких
формальных языков, доступны также некоторые программные пакеты. В качестве
примера можно рассмотреть язык AltaRica Data Flow, опубликованный в 2000 году для
свободного использования сообществом по надежности и спроектированный для
точного моделированиясвойствкорректно инекорректнофункционирующих
промышленных систем (см. В.7).
На рисунке В.37 показан эквивалент блок-схемы надежности, представленной на
рисунке В.1. Данная модель является иерархической, потому что модели отдельных
модулей созданы один раз и затем используются повторно по мере необходимости на
разных уровнях моделирования системы. Это позволяет получать очень компактные
модели.
В целях упрощения представления для компонентов отображены только два
перехода: отказ и ремонт (т.е. DD отказы выявляются и исправляются по мере
появления).
Логические операторы (or, and) используются для описания логики системы. Это
сделано для прямой связи с блок-схемой надежности, и значение переменной Out
моделирует состояние системы: если система в работоспособном состоянии, то
95