Le projet  veut  contribuer  à  la maîtrise du développement des systèmes répartis en concevant  de nouvelles  techniques de génie  logiciel fondées sur des méthodes  formelles.  Une part importante  de notre recherche  est consacrée  aux  techniques  de test.  Les  thèmes  actuels  de  recherche de l'équipe  sont :    1/  le test  "boîte noire"  des  systèmes  réactifs,      2/ la validation dans les environnements de conception  par objets et  3/ l'étude de nouveaux modèles pour les logiciels de télécommunication.   L'activité de l'équipe recouvre à la fois des aspects  de recherche  fondamentale sur les modèles et les méthodes, la réalisation de prototypes d'outils logiciels et le transfert industriel. Mots clés : architectures réparties et réseaux, protocoles, méthodes formelles, génie logiciel, conception objet, vérification, génération de tests, observation et diagnostic, télécommunications.