projets de recherche / congrès, colloques, conférences / produits et démonstrations

Responsable

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

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

Les projets du même thème