Skip to main content
SpringerLink
Log in

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

  • Session 7B
  • Conference paper
  • First Online:
Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 571))

Abstract

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.

Partially supported by UK SERC grant GR/F 35920/4/1/1214

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Back, J. Wright. “Refinement Concepts Formalised in Higher Order Logic”. BCS-FACS Vol 2. No. 3. 1990.

    Google Scholar 

  2. E. Dijkstra. “A Discipline Of Programming”. Prentice-Hall. 1976.

    Google Scholar 

  3. C. Morgan, K. Robinson, P. Gardiner. “On the refinement calculus”. Technical Report PRG-70. Programming Research Group. 1988

    Google Scholar 

  4. R. Milner. “Communication and Concurrency”. Prentice-Hall. 1989.

    Google Scholar 

  5. J. Ostroff. “Temporal Logic for Real-Time Systems”. Research Studies Press. 1989.

    Google Scholar 

  6. C. Morgan. “Programming from Specifications”. Prentice-Hall. 1990.

    Google Scholar 

  7. C. Tofts. “Timed Concurrent Processes”. BCS-Leicester Workshop in Semantics for Concurrency. Springer-Verlag 1990.

    Google Scholar 

  8. The CIP Language Group, “The Munich Project CIP. Voll”, LNCS-183. 1985.

    Google Scholar 

  9. J. Davies, “Specification and Proof in Real-Time Systems”. Oxford University, Ph.D Thesis PRG-93. 1991.

    Google Scholar 

  10. D. Harrison, “RUTH: A Real-Time Applicative Language”, University of Stirling Ph.D. 1988.

    Google Scholar 

  11. J. Hooman, “Specification and Compositional Verification of Real-Time Systems”. Ph.D. Thesis, Eindhoven University. 1991.

    Google Scholar 

  12. S. Schneider, “Correctness and Communication in Real-Time Systems”. Oxford University, Ph.D. Thesis PRG-84. 1990.

    Google Scholar 

  13. 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. C. Tofts, F. Moller. “A Temporal Calculus Of Communicating Systems”. Edinburgh University, Technical Report LFCS-89-104.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Formal Systems Research Group Department Of Computer Science, University of York, YO1 5DD, Heslington, York

    D. J. Scholefield & H. S. M. Zedan

Authors
  1. D. J. Scholefield
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. S. M. Zedan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jan Vytopil

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Scholefield, D.J., Zedan, H.S.M. (1991). TAM: A formal framework for the development of distributed real-time systems. In: Vytopil, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1992. Lecture Notes in Computer Science, vol 571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55092-5_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-55092-5_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55092-1

  • Online ISBN: 978-3-540-46692-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation