Abstract
There a several interesting and important problems in the study of real-time programs, of which just a few have been described here. The area is significant both because of the need for a sound theory and because the implementation of such systems is often in safety-critical applications.
EXTENDED ABSTRACT.
This work was supported by research grants GR/D 73881 and GR/F 35418 from the Science and Engineering Research Council.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A. Abian. The Theory of Sets and Transfinite Arithmetic. W.B. Saunders Company, Philadelphia and London, 1965.
K.R. Apt, N. Francez, and W.-P. de Roever. A proof system for Communicating Sequential Processes. ACM Transactions on Programming Languages and Systems, 2(3):359–384, 1980.
G. Berry, P. Couronne, and G. Gonthier. Synchronous Programming of Reactive Systems: An Introduction to ESTEREL. Technical Report 647, INRIA, Sophia Antipolis, 1987.
A. Goswami and M. Joseph. A semantic model for the specification of real-time processes. In CONCURRENCY 88, Lecture Notes in Computer Science 335, pages 292–306, Springer-Verlag, Heidelberg, 1988.
J. Hooman. A compositional proof theory for real-time distributed message passing. In Lecture Notes in Computer Science 259, pages 315–332, Springer-Verlag, Heidelberg, 1987.
M. Jackson. System Development. Prentice-Hall International, 1983.
M. Joseph and A. Goswami. What's ‘real’ about real-time systems? In Proceedings of the 9th IEEE Real-Time Systems Symposium, pages 78–85, Huntsville, Alabama, 1988.
L. Lamport. On interprocess communication: part I: basic formalism. Distributed Computing, 1:77–85, 1986.
L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558–565, 1978.
C.L. Liu and J.W. Layland. Scheduling algorithms for multiprocessing in a hard real-time environment. Journal of the ACM, 20:46–61, 1973.
A. Moitra and M. Joseph. Implementing real-time systems by transformation. In Proceedings of the Real-Time Workshop, University of York, Elsevier, (to appear), 1989.
A.K. Mok. Fundamental Design Problems Of Distributed Systems for the Hard Real-Time Environment. Technical Report MIT/LCS/TR-297, Massachusetts Institute of Technology, 1983.
G.M. Reed and A.W. Roscoe. A timed model for Communicating Sequential Processes. In Lecture Notes in Computer Science 226, pages 314–323, Springer-Verlag, Heidelberg, 1986.
B. Russell. On order in time. In Proceedings of the Cambridge Philosophical Society, vol. 32, pages 216–228, 1936.
A. Salwicki and T. Müldner. On the algorithmic properties of concurrent programs. In Lecture Notes in Computer Science 125, pages 169–197, Springer-Verlag, Heidelberg, 1981.
A.G. Walker. Durées et instants. Revue Scientifique, 85:131–134, 1947.
G.J. Whitrow. The Natural Philosophy of Time. Clarendon Press, Oxford, 1980.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Joseph, M. (1989). Time and real-time in programs. In: Veni Madhavan, C.E. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1989. Lecture Notes in Computer Science, vol 405. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52048-1_53
Download citation
DOI: https://doi.org/10.1007/3-540-52048-1_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52048-1
Online ISBN: 978-3-540-46872-1
eBook Packages: Springer Book Archive