The basic application requirements are the minimum
budget and maximum period of the server. The server
will guarantee that every period, the part of the application
running on it will get, if requested, at least the minimum
budget. Passing a schedulability test only
guarantees that the minimum requirements specified in
the contract will be satisfied. In particular, for components
with hard deadlines it is the responsibility of the
application developer to ensure that the execution times
required in each server period by the threads bound to a
contract are within the minimum budget.
Another important timing requirement is the server’s
deadline. The server guarantees that a piece of work of
size less than or equal to the minimum budget and
requested for a server with full capacity will be completed
by the server’s deadline. Since the period may be
adjustable, it is possible to specify that the deadline is
equal to the period.