Distributing reactive systems

Paul Caspi, Alain Girault, and Daniel Pilaud
Seventh International Conference on Parallel and Distributed Computing Systems (PDCS'94)
International Society for Computers and their Aplications
Las Vegas, USA, October 1994


This paper addresses the problem of distributing reactive systems. We first show that the use of synchronous languages allows a natural parallel description of such systems, regardless of any distribution problems. Then, a desired distribution can be easily specified, and achieved with the algorithm presented here. This distribution technique provides distributed programs with the same safety, test and debug facilities as ordinary sequential programs. Finally, the implementation of such distributed programs only requires a very simple communication protocol ("first in first out" queues), thereby reducing the need for large distributed real-time executives.

BibTeX entry

  author = 	 {P. Caspi and A. Girault and D. Pilaud},
  title = 	 {Distributing Reactive Systems},
  booktitle = 	 {Seventh International Conference on Parallel and
                  Distributed Computing Systems, PDCS'94},
  year =	 {1994},
  publisher =	 {ISCA},
  address =	 {Las Vegas, USA},
  month =	 {October}

[PDF] [Postscript]

Send comments to Alain Girault at Alain.Girault@inrialpes.fr.