Abstract
This paper addresses the problem of distributed reactive systems execution. We first show that a natural parallel description of such systems can be achieved with synchronous languages. Then, we explain how a centralized synchronous program can be executed in its environment, which is intrinsically asynchronous. For this purpose, we define a synchronous/asynchronous interface, which links the program logical time with the environment physical time. Finally, we motivate the need for distribution and show how a desired distribution can be easily achieved, thanks to the object code distribution algorithm implemented in the oc2rep tool. We then propose and discuss three solutions that allow distributed synchronous programs to be executed on an asynchronous network of processors.
This work has been partially supported by GRECO Automatique Action C2A, Ministère de l'Enseignement Supérieur et de la Recherche and Schneider Electric.
Verimag is a joint laboratory of CNRS, Institut National Polytechnique de Grenoble, Université Joseph Fourier and Verilog S.A. associated with IMAG
Chapter PDF
References
J.-L. Bergerand and E. Pilaud. Saga: A software development environment for dependability in automatic control. In SAFECOMP'88. Pergamon Press, 1988.
G. Berry, P. Couronné, and G. Gonthier. Programmation synchrone des systèmes réactifs, le langage Esterel. Technique et Science Informatique, 4:305–316, 1987.
F. Boussinot and R. de Simone. The Esterel language. Proceedings of the IEEE, 79(9):1293–1304, September 1991.
M.C. Browne and E.M. Clarke. Sml: a high-level language for the design and verification of finite state machines. In International Working Conference from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, September 1986. IFIP.
J. Buck, S. Ha, E.A. Lee, and D.G. Messerschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer SImulation, April 1994.
P. Caspi, A. Girault, and D. Pilaud. Distributing reactive systems. In Seventh International Conference on Parallel and Distributed Computing Systems, PDCS'94, Las Vegas, USA, October 1994. ISCA.
E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. TOPLAS, 8(2):244–263, 1986.
A. Dinning. A survey of synchronization methods for parallel computers. Computer, pages 66–76, July 1989.
N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.
N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data flow programming language Lustre. Proceedings of the IEEE, 79(9):1305–1320, September 1991.
D. Harel and A. Pnueli. On the development of reactive systems. In Logic and Models of Concurrent Systems, NATO. Springer Verlag, 1985.
P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real-time applications with Signal. Proceedings of the IEEE, 79(9):1321–1336, September 1991.
F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR'92. LNCS 630, Springer Verlag, August 1992.
J.P. Paris and al. Les formats communs des langages synchrones. Technical Report 157, INRIA, June 1993.
M.A. Péraldi. Conception et réalisation de systèmes temps-réel par une approche synchrone. Thesis, University of Nice-Sophia Antipolis, 1993.
J.P. Queille and J. Sifakis. Specification and verification of concurrent systems in Cesar. In International Symposium on Programming, LNCS 137, pages 337–351. Springer Verlag, April 1982.
Schneider Electric. Manuel utilisateurNervia. Document interne.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caspi, P., Girault, A. (1995). Execution of distributed reactive systems. In: Haridi, S., Ali, K., Magnusson, P. (eds) EURO-PAR '95 Parallel Processing. Euro-Par 1995. Lecture Notes in Computer Science, vol 966. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020452
Download citation
DOI: https://doi.org/10.1007/BFb0020452
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60247-7
Online ISBN: 978-3-540-44769-6
eBook Packages: Springer Book Archive