Précédent : Composition de l'équipe Remonter : PROJET MEIJE Suivant : Actions de recherche

Présentation du projet

Le projet « Parallélisme, Synchronisation et Temps Réel » est un projet commun INRIA-Ecole des Mines à Sophia-Antipolis. Ses activités s'articulent autour de trois 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 plus spécifique du domaine des formalismes réactifs synchrones, et surtout le développement du langage Esterel et de ses modèles sémantiques, ainsi que du langage RC extension réactive du langage C,
• le développement d'outils d'analyse et de vérification automatique de programmes inspirés des deux thèmes précédents.