The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - May/June (1999 vol.25)
pp: 416-427
ABSTRACT
<p><b>Abstract</b>—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.</p>
INDEX TERMS
Asynchronous communications, distributed processing, reactive systems, automatic distribution, synchronous languages.
CITATION
Alain Girault, Paul Caspi, "Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors", IEEE Transactions on Software Engineering, vol.25, no. 3, pp. 416-427, May/June 1999, doi:10.1109/32.798329
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool