MEIJE

Parallélisme, synchronisation et temps réel

Le projet Meije est une équipe de recherche commune à l'INRIA et à l'École des Mines dans son Centre de Mathématiques Appliquées de Sophia-Antipolis.

Theorie du parallélisme, modèles algébriques et ordre supérieur.
Esterel, un langage de programmation réactif synchrone.
Outils de vérification de systèmes communicants (Fc2Tools, Auto/graph), basés sur l'analyse de modèles à états finis.
Programmation réactive, le langage Reactive-C, scripts et objets réactifs.