Projet Meije
Précédent : Composition de l'équipe
Remonter : Projet MEIJE, Parallélisme, Synchronisation et
Suivant : Fondements
scientifiques
Le projet «Parallélisme, Synchronisation et
Temps Réel» est un projet commun entre l'Inria et l'Ecole des
Mines de Paris. Ses activités s'articulent autour de quatre
thèmes :
- l'étude et la modélisation algébrique des concepts
théoriques liés aux systèmes et langages parallèles et
répartis,
- l'étude des formalismes réactifs synchrones, et le
développement du langage Esterel, de ses modèles sémantiques,
et de son implémentation,
- le développement de méthodes et d'outils d'analyse et de
vérification automatique de programmes parallèles et
réactifs,
- l'étude de modèles de programmation réactive, autour du
langage Reactive C et de ses extensions.