Responsable : S. Chaumette.

Présentation du Thème

Objectifs

Contribuer à la définition et au développement de supports, outils et mécanismes formellement validés permettant d'exploiter les ressources (fixes ou mobiles) connectées au réseau (filaire ou non filaire) et de développer des applications sur ces ressources dans le cadre d'une approche orientée objets distribués.

Points critiques et besoins identifiés

  • Intergiciel approprié
  • Découverte et compréhension automatique de services
  • Distribution et migration transparente et automatique
  • Facilité d'utilisation, sécurité
  • Mobilité, géolocalisation
  • Outils et leur validation formelle
  • Langage propre/bien défini

Visibilité

  • Participation à une évaluation dans le cadre du programme EURESCO de l'ESF
  • Organisation régulière d'un WS international dans le cadre de la conférence IEEE IPDPS
  • Java for Parallel and Distributed Computing
  • Avec Geoffrey Fox, Denis Caromel, Peter Graham
  • Participation à des comités de programmes :IPDPS, ICGNS, NOTERE
  • Participation à des réseaux thématiques :
    • AS Sécurité logicielle : modèles et vérification du RTP Systèmes Embarqués Complexes ou Contraints du CNRS
    • Action adaptation dans ASR de GSP - F. André, J.-L. Pazat
  • Projets : PROGSI, ANR

Principales réalisations

  • Infrastructure distribuée à base de containers : Dynamisme, Migration de code, Communication synchrone/asynchrone
  • Bouquets d'activation
  • Communication rapide pour migration de codes/d'agents en Java
  • Modèle formel pour les applications MANet
  • Travail collaboratif dans un réseau MANet sans infrastructure
  • Grille de JavaCards / de terminaux mobiles : Prix « best innovative technology à e-smart 05 »
Page mise à jour le 23/03/2013 à 07:19