You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Modelling Availability<br />
• Normal service for trusted clients x% of the time<br />
(ℓ > T ⇒ ( <br />
Runi) ≤ (1 − x) · ℓ)<br />
i∈γ<br />
• Request of ci completed within p · ci<br />
∀i ∈ γ.♦r(ℓ ≤ p · ci ⇒ Runi = ci)<br />
Assumptions about the strength of bad clients can be modelled<br />
using similar techniques<br />
Is availability guaranteed under the assumptions?<br />
(Scheduler ∧ Ass γ ∧ Assβ ∧ R(¯x)) ⇒ Availability<br />
a first attemp Hansen Sharp 03<br />
Tallinn, November 17- 21, Michael R. Hansen – p.28/29