Sites Inria

English version

Equipe de recherche PAMPA

modèles et outils pour la programmation des architectures parallèles réparties

  • Responsable : Claude Jard
  • Centre(s) de recherche : CRI Rennes - Bretagne Atlantique
  • Domaine : Réseaux et systèmes
  • Thème : Programmation distribuée et temps réel

Présentation de l'équipe

Le développement des réseaux d'ordinateurs permettant l'interconnexion de machines se poursuit. Aussi les questions posées par la construction du logiciel pour ces systèmes sont d'une grande actualité. Même si des progrès spectaculaires ont été accomplis dans les méthodes de génie logiciel, le caractère intrinsèquement parallèle et réparti des logiciels mis en oeuvre continue à poser des problèmes ardus de programmation. La question la plus sensible à nos yeux est celle de la maîtrise de la fiabilité du logiciel, c'est-à-dire le contrôle des conditions de son bon fonctionnement. La maîtrise du développement passe par le renforcement des activités de conception, validation et test.

Du point de vue de la conception, priorité est donnée aux environnements de conception objet et à la fabrication de "frameworks" spécialisés pour les systèmes communicants et intégrant des outils de validation. Du point de vue de la validation, l'idée est de renforcer l'impact des méthodes formelles et des outils d'analyse pour permettre la mise au point des spécifications et la génération de tests pour les codes répartis. L'approche du projet Pampa consiste à contribuer à l'élaboration de nouvelles technologies logicielles par l'étude de modèles formels des protocoles et l'invention d'outils informatiques associés. Nous privilégions la conception d'outils automatiques permettant d'aider aux tches de conception, vérification, génération de code et test de programmes réels. Ces outils ont vocation à être diffusés dans le milieu académique et/ou industriel. La mise au point des modèles et outils s'effectue dans le cadre d'applications réparties situées principalement dans le domaine du logiciel pour les télécommunications.

Pampa est un projet commun avec le CNRS et l'Université de Rennes 1.

Axes de recherche

  • Vérification et test des logiciels répartis
  • Méthodes et modèles pour le logiciel objet réparti
  • Nouveaux modèles pour les logiciels de télécommunications

Relations industrielles et internationales

  • Europe : participation au projet Esprit R&D Modistarc sur le test de protocoles automobiles.
  • RNRT/Magda : contrat sur le diagnostic de pannes dans les réseaux de télécommunication.
  • RNRT/Convergence : migration SDl-UML
  • Cnet : contrat sur le développement d'un cadre de conception pour objets répartis.
  • Alcatel/AAR : collaboration sur la conception d'un modèle d'interface pour les applications par objets communicants.
  • GIE Bull-INRIA : vérification et test d'architectures parallèles.
  • Celar : méthodes de test d'interopérabilité des protocoles.

Mots-clés : Architecture parallèle Mémoire répartie Protocoles Environnement de programmation Génie logiciel Conception par objets Compilation Vérification de programme

Suivez Inria tout au long de son 50e anniversaire et au-delà !