Execution of distributed reactive systems

  • Paul Caspi
  • Alain Girault
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 966)


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.

Key words

parallel computing program interface reactive system synchronous language 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J.-L. Bergerand and E. Pilaud. Saga: A software development environment for dependability in automatic control. In SAFECOMP'88. Pergamon Press, 1988.Google Scholar
  2. [2]
    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.Google Scholar
  3. [3]
    F. Boussinot and R. de Simone. The Esterel language. Proceedings of the IEEE, 79(9):1293–1304, September 1991.Google Scholar
  4. [4]
    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.Google Scholar
  5. [5]
    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.Google Scholar
  6. [6]
    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.Google Scholar
  7. [7]
    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.Google Scholar
  8. [8]
    A. Dinning. A survey of synchronization methods for parallel computers. Computer, pages 66–76, July 1989.Google Scholar
  9. [9]
    N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.Google Scholar
  10. [10]
    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.Google Scholar
  11. [11]
    D. Harel and A. Pnueli. On the development of reactive systems. In Logic and Models of Concurrent Systems, NATO. Springer Verlag, 1985.Google Scholar
  12. [12]
    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.Google Scholar
  13. [13]
    F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR'92. LNCS 630, Springer Verlag, August 1992.Google Scholar
  14. [14]
    J.P. Paris and al. Les formats communs des langages synchrones. Technical Report 157, INRIA, June 1993.Google Scholar
  15. [15]
    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.Google Scholar
  16. [16]
    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.Google Scholar
  17. [17]
    Schneider Electric. Manuel utilisateurNervia. Document interne.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Paul Caspi
    • 1
  • Alain Girault
    • 2
  1. 1.Verimag, Miniparc - ZIRSTMontbonnotFrance
  2. 2.INRIA Meije projectCentre de Mathématiques AppliquéesSophia Antipolis cedexFrance

Personalised recommendations