Skript vom Sommersemester 2012 - Institut für Automatisierungs ...

§ 13 Softwarezuverlässigkeit
ZSA
Shooman Modell (3)
– Überlebenswahrscheinlichkeit R sw (t)
−c⋅⎜
−ε
c ( τ ) ⎟⋅t
−λsw⋅t
−c⋅ε
r ( τ ) ⋅t
⎝ ⎠
Rsw(
t)
= e = e = e
– Voraussetzung:
Die Fehlerrate ist im Zeitintervall bis zur nächsten Korrektur konstant
λ ( t)
= λ sw sw = konstant, im Zeitintervall [0, t]
– Mittlere Zeit bis zum Fehler MTTF sw
MTTF
sw
=
1
λ
sw
=
⎛
c ⋅⎜
⎝
E
I
1
⎞
−ε
c
( τ ) ⎟
⎠
⎛
E
I
⎞
(164)
(165)
(166)
© 2012 IAS, Universität Stuttgart
339