ГОСТ Р МЭК 61508-6-2012
периодически проверяемых компонент, отказы по общей причине (ССР) и ремонтные
ресурсы.
Слева представлена модель периодически проверяемого компонента, который
переходит из состояния в состояние: рабочее состояние (W), опасный необнаруженный
отказ (DU), проверка (DUT), опасный обнаруженный отказ (DD), готовность к ремонту
(RR) и ремонт (R).
Когда происходит отказ (DU), формируется сообщение !-С, (эквивалентно /С, =
false), чтобы сообщить, что компонент отказал. Затем он ждет, пока не запустится
периодическая проверка (DUT). Интервал периодической проверки равен ти смещение
9. После выполнения проверки в течение времени, равного гг, система переходит 8
состояние DD. Если запасные части готовы (хотя бы одна метка в SP), то компонент
становится готовым к ремонту (RR) и переменная NbR увеличивается на 1, чтобы
проинформировать ремонтные ресурсы о количестве компонентов, которым необходим
ремонт. После того, как ремонтные ресурсы доставлены к месту ремонта (одна метка в
OL), начинается ремонт (R) и метка из OL удаляется. Когда вновь достигается
нормально работающее состояние компонента, то формируется сообщение !С, (т.е. /С,=
true), NbR уменьшается на единицу и метка возвращается обратно в OL, что разрешает
выполнять дальнейшие ремонты. И так далее.
Одиночный компонент
Ремонты
Рисунок В.34 - Сеть Петри, моделирующая отказ по общей причине и ремонтные
91