Gavin Lowe
June 1994, 22pp.
In this paper we define models for reasoning about resource allocation and scheduling in real-time systems. We begin by producing a model that allows us to argue about the resource requirements of real-time distributed systems, and so identify conflicts upon resources; we can use the model to define and reason about schedulers that map jobs onto resources according to some pre-defined schedule. We then extend our model to encompass dynamic schedulers, where the scheduling decisions may depend upon the results of the computation so far. The models will aid in the important transformation of mapping an initial design for a system onto an actual implementation with jobs scheduled on processors.