Automatic distribution of reactive systems for asynchronous networks of processors

Résumé

Cet article traite du problème de la répartition automatique de systèmes réactifs. Nous montrons tout d'abord que les langages synchrones permettent de programmer naturellement de tels systèmes de façon parallèle, et ce indépendamment de toutes contrainte d'exécution. Après cela, la répartition désirée peut être facilement spécifiée et obtenue grâce à l'algorithme présenté ici. Cette méthode de répartition permet d'obtenir des programmes répartis avec la même sûreté et les mêmes possibilités de mise au point et de test que pour des programmes centralisés ordinaires. Enfin, la mise en oeuvre de tels programmes répartis ne nécessite qu'un protocole de communication très simple (des files d'attente "first in first out"), ce qui réduit la taille de l'exécutif réparti.

Entrée BibTeX

@Article{CGP99,
  author = 	 {P. Caspi and A. Girault and D. Pilaud},
  title = 	 {Automatic Distribution of Reactive Systems for
                  Asynchronous Networks of Processors},
  journal = 	 {IEEE Transactions on Software Engineering},
  year = 	 {1999},
  volume =	 {25},
  number =	 {3},
  month =	 {May/June},
  pages =        {416--427},
  note =	 {Research report INRIA 3491}
}