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

§ 13 Softwarezuverlässigkeit
ZSA
Shooman Modell (6)
– Weitere Umformungen
E
I
E
I
λ
( λ
1
− λ
2
) = ε τ
2)
λ
1
− ε ( τ1)
λ
2
sw
sw
E
I
sw1 − ε
c
( τ
2)
λsw
1
= λsw2
−ε
c
( τ1)
λsw2
c
(
sw c sw
E
I
E
I
E
I
=
=
=
ε ( τ
c
2
) λsw
1
−ε
c
( τ1)
( λ − λ )
sw1
sw2
sw2
ε
c
( τ
2)
−ε
c
( τ1)
λ
1−
λ / λ
ε
c
( τ1)
λ
λ
sw2
sw2
/ λ
/ λ
sw1
sw1
sw2
sw1
λ
sw2
/ λ
sw1
−ε
c
( τ
2)
−1
© 2012 IAS, Universität Stuttgart
342