MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Real-Time Systems

Download:
Download as a PDF | Download as a PS
by Gavin Lowe
http://www.mcs.le.ac.uk/~gl7/Papers/TAM/scheduling.ps.gz
Add To MetaCart

Abstract:

In this paper, we define a formal model for reasoning about resource allocation and scheduling in real-time systems. We extend the model in [SZJ94], which models the functionality of agents in the language TAM. Our extended model 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. The model will aid in the important transformation from an initial design for a system to an actual implementation with jobs scheduled on processors.

Citations

178 A temporal calculus of communicating systems – Moller, Tofts - 1990
90 Priorities in process algebra – Cleaveland, Hennessy - 1990
72 A brief history of Timed CSP – Davies, Schneider - 1995
31 Communicating Shared Resources: A Model for Distributed Real-Time Systems – Gerber - 1989
31 A temporal process algebra – Hennessy, Regan - 1990
25 An Introduction to Timed CSP – Davies, Schneider - 1989
20 A Specification Oriented Semantics for the Refinement of Real-Time Systems – Scholefield, Zedan, et al. - 1994
12 Ccsr: A calculus for communicating shared resources – Gerber, Lee - 1990
8 Specification and analysis of resource-bound real-time systems – Gerber, Lee - 1992
7 A Timed Model for CSP – Reed, Roscoe - 1986
5 The refinement of real-time systems – Scholefield, Zedan - 1992
2 The specification of aircraft engine software using Timed CSP – Jackson - 1990
2 Formal development of aircraft control software: A case study in the specification, design and scheduling of a real-time system – Lowe - 1994
2 A proof system for real-time programs – Scholefield, Zedan - 1993
1 Refinement of complex systems: A case study. Submitted for publication. Also available as – Lowe, Zedan - 1995
View or Download | Add to My Collection | Correct Errors