ГОСТ Р МЭК 61508-6-2012
Применяяметодытеориивероятностик логическимфункциям,можно
непосредственно вычислить вероятность отказа рассматриваемой системы Pst
P$f =Рф) +Рф n F) - Рф n Еn F)
Если компоненты системы независимы, то эта формула имеет вид:
P5f = PD+ PEPF~PDPEPF ,
где P, - отказавший /-й компонент.
Данная формула является независимой от времени и отражает только логическую
структуру системы.
Таким образом и блок-схема надежности и дерево отказов являются в основе
своей статическими, т.е. моделями, независимыми от времени.
Тем не менее, если вероятность отказа каждого отдельного компонента в момент
времени t не зависит от того, что происходит с другим компонентом в интервале [0, t], то
указанная выше формула остается правильной в любой момент времени и мы можем
написать:
PSf( 0 = PD(t)
+
PE(t)PFCt)- PD(t)P5(t)PF(t)
Аналитик должен проверить, применимы ли требуемые приближения и, наконец,
можно получить неготовность системы Us/(t) в конкретный момент времени t:
UsfiO =
Из этого можно сделать вывод, что деревья отказов и блок-схемы надежности
позволяют вычислить мгновенную неготовность USf(t) Э/Э/ПЭ системы, связанной с
безопасностью, и в соответствии с В.2.2 далее можно вычислить:
1Ч
PFDava(n = -MDTU’) = - \
г
UsfWdt
Данный подход может быть применен и для минимальных сечений:
,глч
- f x
- одиночный отказ (D):
PDFDW =
rJ0
Dt.dt = *
d
t/2
;
- двойной отказ
/с
,
сх
:
PDFEFW = - fA EAF.t2dt =ЛЕХР1[2/3
(Е F)rJn
В.4.4.2 Вычисления, выполняемые для реализации методов дерево отказов или
блок-схема надежности
Описанная выше формула ^s/(0 = Up(t) +U
e
(0 ^ (0 "является
частным видом так называемой формулы Пуанкаре. Более общая формула, когда
i, где (Cj) представляет собой минимальные сечения системы, имеет вид:
67