Motivations :
- Architectures cibles r�parties et
h�t�rog�nes
- Syst�mes critiques : la panne
d'un processeur ou d'un lien ne doit pas entra�ner la panne du
syst�me
But : produire automatiquement du code
r�parti et
tol�rant aux pannes
Sp�cification et r�partition avec
SynDEx : produit
automatiquement du code r�parti
minimisant l'utilisation des ressources
physiques
Action de Recherche Coop�rative
Tol�re :
projets Inria
Bip et
Sosso
