Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors

Paul Caspi 1 Alain Girault Daniel Pilaud
1 BIP - Biped Robot
Inria Grenoble - Rhône-Alpes
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.
Type de document :
Rapport
RR-3491, INRIA. 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00073196
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:10:23
Dernière modification le : mercredi 11 avril 2018 - 01:52:47
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:37:35

Fichiers

Identifiants

  • HAL Id : inria-00073196, version 1

Collections

Citation

Paul Caspi, Alain Girault, Daniel Pilaud. Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. RR-3491, INRIA. 1998. 〈inria-00073196〉

Partager

Métriques

Consultations de la notice

126

Téléchargements de fichiers

162