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}
}