ГОСТ Р МЭК 61508-6-2012
использована для вычисления начальных условий в начале состояния /+1 из
вероятностей состояний в конце состояния i. В результате получаем следующее
уравнение:
=
Р0
Pw(o)0
P
r
(0)
i+1
0
0
0 1
1 0
1
P
r
W
1
•РЕ>[ДО
Pwir)
=P,+ (o) = [L]P,(r)
Замена Р,(т) его значением приводит уравнение к реккурентному виду, что
позволяет вычислить начальные условия в начале каждого проверочного интервала:
^ZT(o) = tI]efW»PT(o).
Данное выражение может быть использовано для вычисления вероятностей в
любой момент времени t = i т+ (. Например, во время тестового интервала / получается
следующее выражение
P(f) = P ,(f) = e:iU] Р,{0),(/ - 1)г <. t < /г,f = / mod г
Получитьзначениемгновеннойнедоступностиможнопутемпростого
суммирования вероятностей состояний, когда система недоступна. Для выражения
мгновенной недоступности полезен линейный вектор (д*)
п
!ЯО= £ 9 Л (0 .
fc=l
где д*=1 означает, что система недоступна в состоянии к, иначе д*=0.
Для простой модели получается выражение PFD(t)
=
U(t)
=
Pou(t)
+
P
r
(1)
и
зубчатая
кривая выглядит, как на рисунке В.25.
PFDavgвычисляется описанным ранее способом через MDJ, что легко получить из
среднего учтенного времени (МСТ), проведенного системой в этих состояниях
Р
Ш Т(Г)
=
Jo
P{f)dt
—л
Как и для Pit), существуют эффективные алгоритмы для вычисления этого
п
PFDmg(n = ~ Y q kMCTkCn
интеграла на отрезке [0, 7] и окончательно получаем:1*=i
77