Abstract
A formal framework for a calculus of real-time systems is presented. Specifications and program statements are combined into a single language called TAM (the Temporal Agent Model), that allows the user to express both functional and timing properties. A specification-oriented semantics for TAM is given, along with the definition of a refinement relation and a calculus which is sound with respect to that relation. A simple real-time program is also developed using the calculus.
Preview
Unable to display preview. Download preview PDF.
References
R.J.R. Back and J von Wright. Refinement concepts formalised in higher order logic. BCS-FACS. 2(3):247–272, 1990.
E.W. Dijkstra. Guarded commands, non-determinacy, and formal languages. Communications of the ACM, 18(8), August 1975.
The CIP Language Group. The munich project cip. vol1. LNCS, 183, 1985.
Faron Moller and Christopher M N Tofts. A temporal calculus of communicating systems. Technical Report ECS-LFCS-89-104. University of Edinburgh. December 1989.
C. Morgan. Programming from Specifications. Prentice-Hall, 1990.
M. Portman and H. S. M. Zedan. The development of imprecise real-time systems. Systems and Software, (to appear 1993).
A. Salwicki and T. Muldner. On the Algorithmic Properties of Concurrent Programs, volume LNCS 125, Springer-Verlag, 1981.
S. Schneider. Correctness and Communication in Real-Time Systems. PhD thesis, Oxford University, 1990.
D. J. Scholefield. A Refinement Calculus for Real-Time Systems. PhD thesis, University of York, 1992.
D. J. Scholefield, H. S. M. Zedan, and J. He. Real-time refinement: Semantics and application. In Proceedings of MFCS 93, Gdansk. Springer-Verlag LNCS 711, October 1993.
E. Schonberg and D. Shields. From prototype to efficient implementation: a case study using setl and c. Technical report, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Scholefield, D., Zedan, H., Jifeng, H. (1994). A predicative semantics for the refinement of real-time systems. In: Brookes, S., Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Semantics. MFPS 1993. Lecture Notes in Computer Science, vol 802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58027-1_11
Download citation
DOI: https://doi.org/10.1007/3-540-58027-1_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58027-0
Online ISBN: 978-3-540-48419-6
eBook Packages: Springer Book Archive