SCHEDULING-ORIENTED MODELS FOR REAL-TIME SYSTEMS

In this paper, we define a formal model for reasoning about resource a llocation and scheduling in real-time systems. We extend the model of Scholefield, Zedan and He [3], which models the functionality of agent s in the language TAM. Our extended model allows us to argue about the resource requirements of real-time distributed systems, and so identi fy conflicts upon resources. We can use the model to define and reason about schedulers that map jobs onto resources. The model will aid in the important transformation from an initial design for a system to an actual implementation with jobs scheduled on processors.