15.07.2013 Views

Duration Calculus

Duration Calculus

Duration Calculus

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Availability Pilegaard Hansen Sharp 02<br />

Clients C1, C2, . . . exchange messages with a server S<br />

C1<br />

.<br />

Cn<br />

.<br />

Ci → S : M<br />

S → Ci : M ′<br />

• Good clients i ∈ γ requests δi of the server’s time<br />

• Bad clients j ∈ β waste the server’s time<br />

How to formalize requirements about the availability?<br />

• E.g., Available for good clients x% of the time<br />

Under which assumptions are these requirements to be met?<br />

• strength of bad clients Operational cost model Meadows 01<br />

S<br />

Tallinn, November 17- 21, Michael R. Hansen – p.26/29

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!