ГОСТ Р МЭК 61508-6-2012
- Обнаружение опасного отказа происходит после детерминированной задержки
d2 (d2 » t modulo г, где t - текущее время, г - интервал проверки). Так моделируется
проверочный интервал.
- Когда время t2 выходит, т.е. опасный отказ обнаружен, метка переходит на
позициюDD. Компонент сейчас ожидает ремонта и переход ТгЗ становится
разрешенным.
- Задержка с/Здля запуска перехода ТгЗ (начала ремонта) не зависит от самого
компонента, но готовность ресурсов для ремонта представляется сообщением RA. Это
регулируется событием, происходящим из другой части всей сети Петри, не
представленной на рисунке В.33.
- Ремонт начинается, как только у ремонтной бригады появляется готовность (т.е.
?RA = true становится истинным) и метка переходит в позицию R. Ремонтные ресурсы
мгновенно становятся неготовыми для другого ремонта, и равенство !RA = false
используется для обновления значения RA. Это предотвращает проведение еще одного
ремонта в это же время.
- Случайный переход Тг4 (т.е. окончание ремонта) становится разрешенным и
может быть рассчитана задержка d4 при помощи случайного числа, соответствующего
интенсивности ремонта д.
- Когда проходит d4, запускается переход Тг4 и компонент вновь возвращается в
нормальное рабочее состояние (метка переходит в позицию W). Ремонтные ресурсы
вновь становятся готовыми и RA обновляется при помощи !RA = true.
- И так далее, до тех пор, пока запуск следующего разрешенного перехода
попадает в заданный период (0, 7].
Если следующий запуск уже не попадает в период [0, 7], то моделирование
останавливается и в результате для компонента формируется одна история. Во время
формирования такой истории могут быть зафиксированы соответствующие параметры в
виде их значений для маркируемых позиций (например отношение времени нахождения
метки в конкретной позиции ко времени Т), частоты запуска переходов, время до первого
появления заданного события и т. д.
Идея метода Монте-Карло состоит в том, что формируется огромное количество
таких историй и выполняется их статистическая обработка для получения адекватных
параметров процесса.
В отличие от аналитических вычислений, метод Монте-Карло позволяет легко
объединять детерминированные и случайные задержки, для которых может быть
89