Abstract
We propose to extend the synchronous language Esterel by coordination primitives and by an asynchronous parallel composition operation on the level of modules. This is to program reactive systems such that subsystems may proceed at their own speed without enforcing a global knowledge of time. We intend is to stick with the synchronous language paradigm as close as possible since we aim for properties such as local determinism (each agent/control unit should have a predictable behaviour) or global deadlock detection, though we want to enhance modularity and exibility of system design.
Partly funded by the ESPRIT IIM-Project CRISYS “Critical Instrumentation of Control System”), EP 25.514
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Berry. Esterel on hardware. Philosophical Transation Royal Society of London, A:87104, 1992.
G. Berry and A. Benveniste. The synchronous approach to reactive and real-time systems. Another Look at Real Time Programming, Proceedings of IEEE, 79:1270–1282, 1991.
G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87–152, 1992.
G. Berry, S. Ramesh, and R. K. Shyamasundar. Communicating reactive processes. In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993.
F. Boussinot and R. de Simone. The SL synchronous language. IEEE Transactionson Software Engineering, 22(4):256–266, 1996.
S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560–599, 1984.
N. Halbwachs. Synchronous Programming of Reactive Systems. The Kuwler International Series in Engineering and Computer Science. Kuwler Academic Publisher, 1993.
N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9):1305–1320, 1991.
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. B. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403–414, April 1990.
V. Saraswat, R. Jagadeesan, and V. Gupta. Foundations of timed concurrent constraint programming. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, pages 71–80. IEEE Computer Society Press, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Budde, R., Pinna, G.M., Poigné, A. (1999). Coordination of Synchronous Programs. In: Ciancarini, P., Wolf, A.L. (eds) Coordinatio Languages and Models. COORDINATION 1999. Lecture Notes in Computer Science, vol 1594. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48919-3_9
Download citation
DOI: https://doi.org/10.1007/3-540-48919-3_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65836-8
Online ISBN: 978-3-540-48919-1
eBook Packages: Springer Book Archive