Sites Inria

English version

Equipe de recherche MIMOSA

Migration et mobilité : sémantique et applications

  • Responsable : Gerard Boudol
  • Centre(s) de recherche : CRI Sophia Antipolis - Méditerranée
  • Domaine : Algorithmique, programmation, logiciels et architectures
  • Thème : Programmation, vérification et preuves
  • Partenaire(s) : ENSMP

Présentation de l'équipe

L'objectif général de l'équipe-projet MIMOSA est de concevoir et d'étudier des modèles de la programmation concurrente, distribuée et mobile, d'en tirer des primitives pour cette programmation, et d'élaborer des techniques de raisonnement et de vérification formelles, visant en particulier les questions de sécurité issues du code mobile. Nous développons en particulier une approche réactive de la programmation concurrente, où les processus réagissent de concert à des évènements diffusés. Nous avons implanté les primitives de la programmation réactive dans divers langages, et nous avons intégré les primitives de migration dans la programmation réactive. Dans le passé nous avons étudié les modèles du code mobile, comme le π-calcul et ses variantes distribuées, et le calcul des Mobile Ambients.

Axes de recherche

  • Sécurité
    Nous étudions les questions de sécurité, comme le respect de la confidentialité, et le contrôle de la consommation de ressources, en utilisant des méthodes d'analyse statique. L'accent porte sur les questions liées à l'exécution parallèle de programmes séquentiels, et au code mobile.
  • Modèles et langages pour la programmation réactive
    Nous développons plusieurs implantations de l'approche réactive, dans plusieurs langages hôtes. Nous avons conçu et développons un système de multi-threading, appelé FairThreads, qui propose une alternative aux systèmes de multi-threading standards. Nous avons aussi conçu et développé un langage de programmation, appelé ULM, qui intègre la programmation d'agents mobiles dans le cadre réactif et fonctionnel.
  • Langages fonctionnels
    Nous développons et maintenons plusieurs implantations de langages fonctionnels, principalement basées sur le langage Scheme, avec en particulier pour objectif de concevoir et implanter une plate-forme pour un environnement de programmation distribué. Nos développements concernant la programmation d'applications web reposent sur ces implantations.
  • Programmation web
    Nous concevons et implantons un environnement de programmation pour le web2.0. Il repose sur une nouvelle architecture de programmation distribuée où un programme s'exécute simultanément sur un serveur et un client. Nous visons à fournir une implantation réaliste de ce modèle, que nous validons et maintenons en développant des applications web au niveau utilisateur.

Logiciels

Relations industrielles et internationales

  • Projet Alidecs, ACI Sécurité Informatique
  • Contrat CRE Orange Labs
  • Geocal groupe de travail GDR Informatique Mathématique
  • Projet ParSec, ANR Sécurité Informatique
  • Participation au groupe de standardisation du langage Scheme

Mots-clés : Concurrence Coopération Réactivité Synchronisation Langage fonctionnel Sémantique Langage synchrone Temps réel Parallélisme asynchrone

Suivez Inria