Détail d'une fiche   Version PDF

PAMPA (SR0269NR)

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

PAMPA


Statut: Terminée

Responsable : Claude Jard

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Réseaux et systèmes
Thème : Programmation distribuée et temps réel

Période : 01/01/1991 -> 31/12/2001
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de l'Université de Rennes
Localisation : Centre Inria de l'Université de Rennes
Code structure Inria :

Numéro RNSR : 199121452L
N° de structure Inria: SR0269NR

Présentation

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.