Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors - Archive ouverte HAL Access content directly
Reports Year : 1998

Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors

Paul Caspi
  • Function : Author
Alain Girault
  • Function : Author
  • PersonId : 833575
Daniel Pilaud
  • Function : Author

Abstract

This paper addresses the problem of automatically 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.
Fichier principal
Vignette du fichier
RR-3491.pdf (329.2 Ko) Télécharger le fichier

Dates and versions

inria-00073196 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00073196 , version 1

Cite

Paul Caspi, Alain Girault, Daniel Pilaud. Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. RR-3491, INRIA. 1998. ⟨inria-00073196⟩
45 View
150 Download

Share

Gmail Facebook Twitter LinkedIn More