**3.4 Timed events**

The platform needs to support at least the following timed events: task delay, arrival of a periodic task, server replenishment and server depletion.

Events local to server *σi*, such as the arrival of periodic tasks *τ<sup>j</sup>* ∈ *γ*(*σi*), should not interfere with other servers, unless they wake a server, i.e. the time required to handle them should be accounted to *σi*, rather than the currently running server. In particular, handling the events local to inactive servers should not interfere with the currently active server and should be deferred until the corresponding server is switched in.
