TAM: A formal framework for the development of distributed real-time systems

  • D. J. Scholefield
  • H. S. M. Zedan
Session 7B
Part of the Lecture Notes in Computer Science book series (LNCS, volume 571)


The Temporal Agent Model (TAM) is a wide-spectrum development language for real-time systems. In TAM, limited resources are modelled by deriving release times and absolute deadlines from weakest pre-condition predicate transformers. In this paper the language syntax and semantics are described along with a number of examples.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BW90]
    R. Back, J. Wright. “Refinement Concepts Formalised in Higher Order Logic”. BCS-FACS Vol 2. No. 3. 1990.Google Scholar
  2. [Dij76]
    E. Dijkstra. “A Discipline Of Programming”. Prentice-Hall. 1976.Google Scholar
  3. [MRG88]
    C. Morgan, K. Robinson, P. Gardiner. “On the refinement calculus”. Technical Report PRG-70. Programming Research Group. 1988Google Scholar
  4. [Mil89]
    R. Milner. “Communication and Concurrency”. Prentice-Hall. 1989.Google Scholar
  5. [Ost89]
    J. Ostroff. “Temporal Logic for Real-Time Systems”. Research Studies Press. 1989.Google Scholar
  6. [Mor90]
    C. Morgan. “Programming from Specifications”. Prentice-Hall. 1990.Google Scholar
  7. [Tof90]
    C. Tofts. “Timed Concurrent Processes”. BCS-Leicester Workshop in Semantics for Concurrency. Springer-Verlag 1990.Google Scholar
  8. [CIP85]
    The CIP Language Group, “The Munich Project CIP. Voll”, LNCS-183. 1985.Google Scholar
  9. [Dav91]
    J. Davies, “Specification and Proof in Real-Time Systems”. Oxford University, Ph.D Thesis PRG-93. 1991.Google Scholar
  10. [Har88]
    D. Harrison, “RUTH: A Real-Time Applicative Language”, University of Stirling Ph.D. 1988.Google Scholar
  11. [Hoo91]
    J. Hooman, “Specification and Compositional Verification of Real-Time Systems”. Ph.D. Thesis, Eindhoven University. 1991.Google Scholar
  12. [Schn90]
    S. Schneider, “Correctness and Communication in Real-Time Systems”. Oxford University, Ph.D. Thesis PRG-84. 1990.Google Scholar
  13. [SETL85]
    E. Schonberg, D. Shields, “From Prototype To Efficient Implementation: a Case Study Using SETL and C”. Courant institute of mathematical sciences, Dept of computer science, New York University. 1985.Google Scholar
  14. [TM89]
    C. Tofts, F. Moller. “A Temporal Calculus Of Communicating Systems”. Edinburgh University, Technical Report LFCS-89-104.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • D. J. Scholefield
    • 1
  • H. S. M. Zedan
    • 1
  1. 1.Formal Systems Research Group Department Of Computer ScienceUniversity of YorkHeslington

Personalised recommendations