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
