RA 1995     RA 1997
Suivant : Composition de l'équipe

Projet PAMPA

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

Rapport d'activité 1996

Page de présentation du projet

Localisation : Rennes

Mots-clés : architecture répartie, réseaux de stations, environnement de programmation, génie logiciel, conception objet, exécutif réparti, compilation, vérification de programme, génération de test, observation et diagnostic

• Composition de l'équipe
  • In memoriam
• Présentation du projet
• Actions de recherche
  • Génie logiciel et approche objet pour le réparti
    • Entre langages et systèmes, la notion de patron de conception
    • L'exemple de l'environnement EPEE
  • Génération automatique de code réparti
  • Exécutifs pour les applications réparties
  • Vérification et génération de séquences de tests
    • Model-checking sur des systèmes infinis
    • Génération automatique de séquences de tests
    • Conception incrémentale de protocoles
  • Observation et diagnostic dans les réseaux
  • Expérimentation sur NOW
• Actions industrielles
  • Environnement de programmation par objets pour la machine Intel Paragon XP/S
  • Outils et techniques pour application de télécommunications réutilisables
  • Validation de systèmes (GIE Bull-Inria DYADE/VASY)
  • Diagnostic dans les réseaux de télécommunications : conception et utilisation de capteurs intelligents
• Actions nationales et internationales
  • Actions nationales
  • Actions internationales
  • Invitations de chercheurs
• Diffusion des résultats
  • Enseignement
  • Conférences invitées, tutoriels et séminaires
  • Organisation de colloques et de cours
  • Comités de programmes
  • Diffusion et démonstrations de prototypes
• Références
• Abstract
  • Goals
  • Research themes