ГОСТ Р МЭК 61508-6-2012
ресурсы
В подсетях Петри, моделирующих ремонт, используется переменная NbR. Когда
ее величина становится больше нуля, начинается мобилизация ресурсов (М) и после
определенной задержки они готовы выполнять работы на месте (OL). Метка в OL
используется для проверки, начался ли ремонт одного из отказавших компонентов.
Таким образом, только один ремонт может осуществляться в каждый момент времени.
После выполнения всех ремонтов (т.е. NbR = 0) ремонтные ресурсы демобилизуются.
На рисунке В.34 также представлена модель отказа по общей причине (CCF).
Когда происходит такой отказ (Лосс), сообщение !CCF становится истинным и
используется для того, чтобы все отказавшие по общей причине компоненты перевести
в их состояния DU. Соответствующее сообщение С/ становится ложным и компоненты
ремонтируются независимо друг от друга. Когда проверка компонента завершена,
утверждение !IF CCF then DCcf позволяет сообщить всем остальным компонентам, что
CCF был выявлен. Данное сообщение используется для того, чтобы незамедлительно
перевести в их состояния DD. Это сообщение также используется для того, чтобы
восстановить отказавшую по общей причине подсеть Петри, но это делается через
некоторое время (£), чтобы обеспечить, что все компоненты перед восстановлением
были переведены в их состояние DD.
Отказ
1
-й отказ
Рисунок В.35 - Использование блок-схемы надежности для построения сети
Петри и вспомогательной сети Петри для вычислений PFD и PFH
Подсети Петри на рисунке В.34 используются как части более сложных моделей.
Один из способов их использования показан на рисунке В.35, где представлена
несколько адаптированная блок-схема надежности, заимствованная из рисунка В.16,
куда добавлены промежуточные выводы О...
92