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.
|