15.07.2013 Views

Duration Calculus

Duration Calculus

Duration Calculus

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

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 />

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!