UMR CNRS 7253

Outils du site


fr:recherche

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Prochaine révision
Révision précédente
fr:recherche [2008/11/28 17:58] – modification externe 127.0.0.1fr:recherche [2023/08/31 18:14] (Version actuelle) – [Réseaux ad hoc fortement dynamiques] ducourth
Ligne 1: Ligne 1:
-<html><font face=helvetica></html> 
  
-[[fr:recherche#Réseaux ad hoc fortement dynamiques]] / 
-[[fr:recherche#Protocoles de transport]] / 
-[[fr:recherche#Algorithmes répartis tolérant les défaillances]] / 
-[[fr:recherche#Calcul parallèle pour l'image]] 
  
-//Cette page résume les activités de recherche.// 
  
  
 +====== Recherche ======
 +Ma thématique de recherche actuelle concerne les **réseaux ad hoc dynamiques**. Dans ces réseaux, les liens de communication sont éphémères et les voisinages instables. Un exemple emblématique de tel réseau est donné par les communication inter-véhicules (//vehicular networks//)
 +La dynamique du réseau impacte les protocoles réseaux, les algorithmes répartis et la construction des applications. L'adaptation des solutions existantes est inefficace. Nous proposons de nouveaux protocoles et algorithmes répartis. Nous étudions la manière de mesurer la dynamique et de prouver les algorithmes dans ce contexte. Pour mettre en œuvre nos résultats, nous développons des solutions matérielles (ordinateur embarqué Airbox) et logicielle (Suite Airplug).
  
  
 +[[https://airplug.hds.utc.fr|Suite logicielle Airplug]]\\
  
-====== Réseaux ad hoc fortement dynamiques ====== 
-Ce projet a débuté à l'été 2003, et n'est pas terminé. C'est actuellement mon sujet de recherche principal. L'application cible concerne les réseaux de véhicules. Ce projet donne donc lieu à des collaborations avec le domaine ASER du laboratoire. 
  
-Ce projet consiste à définir de nouveaux services et protocoles réseaux, et de nouvelles techniques d'algorithmique répartie, capables de s'affranchir de la grande dynamique du réseau. Les résultats des projets "Algorithmes tolérant les défaillances" et "Protocoles de transport" y sont utilisés. 
- 
-Nous avons développé une solution de routage adaptée aux réseaux de véhicules (transmissions conditionnelles), obtenu des résultats intéressants concernant les problèmes d'équité de la norme 802.11, proposé une méthode de détection des attaques par faux noeuds et développé un algorithme de groupes dynamiques paramétré par des contraintes applicatives. Divers travaux sont en cours. 
- 
-Pour asseoir notre démarche scientifique sur un support expérimental convaincant et 
-permettre une approche //bottom-up//, la plate-forme Caremba "Communications et Applications Réparties EMBArquées" et la suite logicielle Airplug ont été développées. A côté des développements théoriques, nous pratiquons des tests sur route, dont certains en coopération avec France Telecom R&D. 
- 
-Les pistes développées sont les suivantes : 
-  * <html><font face="helvetica"></html>couches basses : étude de l'équité dans l'accès au canal, optimisation du débit. Nous utilisons les protocoles actuellement disponibles (IEEE 802.11) afin de pouvoir expérimenter. Nos développements sont indépendants des couches basses pour supporter les futurs protocoles. 
-  * <html><font face="helvetica"></html>routage : classification par applications, transmissions conditionnelles pour les communications one-to-many (des conditions évaluées à la réception remplacent les adresses et permettent de s'affranchir de la dynamique). 
-  * <html><font face="helvetica"></html>transport : étude de protocoles de transport adaptés aux diffusions et à la dynamique du réseau. Application au transfert d'images. 
-  * <html><font face="helvetica"></html>sécurité : étude de mécanisme de détection de faux noeuds, sécurité sans infrastructure. 
-  * <html><font face="helvetica"></html>algorithmique répartie : construction d'une algorithmique //best effort// adaptée à la dynamique, en lien avec les besoins réels des applications inter-véhicules. Algorithme de groupe paramétré par des contraintes applicatives. 
-  * <html><font face="helvetica"></html>architecture embarquée : développement de la suite logicielle Airplug, permettant d'interconnecter les applications embarquées sur la base d'un adressage adapté à la dynamique du réseau. 
- 
-<html>&nbsp;&nbsp;&nbsp;<font size="-1" color="red">>>></font></html> 
-[[http://www.hds.utc.fr/~ducourth/airplug|Suite logicielle Airplug]]\\ 
-<html>&nbsp;&nbsp;&nbsp;<font size="-1" color="red">>>></font></html> 
-[[http://www.hds.utc.fr/~ducourth/airplug/doku.php?id=fr:caremba|Plate-forme Caremba]]\\ 
-<html>&nbsp;&nbsp;&nbsp;<font size="-1" color="red">>>></font></html> 
-[[http://www.hds.utc.fr/~ducourth/airplug/doku.php?id=fr:doc|Photos de nos expérimentations...]]\\ 
-<html>&nbsp;&nbsp;&nbsp;<font size="-1" color="red">>>></font></html> 
-[[http://www.hds.utc.fr/caremba|Page officielle de la plate-forme sur le site du laboratoire]] 
- 
-====== Protocoles de transport ====== 
-Ce projet a débuté en 2001 et s'est achevé à l'été 2005. Il a été réalisé en collaboration avec S.-I. Niculescu (Heudiasyc/SPC). Il portait sur l'étude 
-des protocoles de transport, et de leurs mécanismes de contrôle de congestion. L'étude des protocoles de transport se poursuit actuellement sous un angle différent, dans le cadre des réseaux ad hoc dynamiques. 
- 
-Nous avons développé le protocole Primo qui adapte rapidement le débit des émetteurs afin d'éviter les congestions y compris lorsque le trafic est dynamique. Une méthodologie assez complète d'étude de performances a été définie. Les liens entre modélisations continues (eg. matlab) et discrètes (eg. network simulator) ont été étudiés. 
-Les performances comparées de Primo sont très bonnes. Cependant, ce protocole étant préventif, il ne peut être utilisé simultanément avec TCP, ce qui le destine aux réseaux privés et/ou dédiés. 
- 
-<html>&nbsp;&nbsp;&nbsp;<font size="-1" color="red">>>></font></html> 
-[[fr:contrib#Protocole primo|Sources]] du protocole Primo pour network simulator 
- 
-====== Algorithmes répartis tolérant les défaillances ====== 
-Ce projet a débuté pendant ma thèse et se poursuit actuellement sous une forme 
-différente dans le cadre des réseaux ad hoc dynamiques pour définir des algorithmes s'adaptant à la dynamique. 
-Il a été mené en relation avec le [[http://www.lri.fr|LRI]] de l'Université Paris Sud. 
- 
-Les r-opérateurs admettent de remarquables propriétés pour la tolérance aux défaillances.  Nous avons donné une formulation générique simple basée sur les r-opérateurs pour des algorithmes tolérant les défaillances transitoires (algorithmes auto-stabilisants) et résolvant des tâches statiques. Elle est d'un grand intérêt pour la réutilisation de preuves génériques. Nous avons établi les conditions locales permettant d'assurer la 
-stabilisation, y compris dans un environnement à passage de messages peu fiable (pertes de messages, duplication...) et sous diverses hypothèses de synchronisation des noeuds. 
- 
-====== Calcul parallèle pour l'image ====== 
-Ce projet a débuté pendant ma thèse, et s'est achevé fin 2004. Il portait sur l'étude d'un modèle de calcul parallèle adapté au traitement d'images, et à son implantation dans une bibliothèque de programmation parallèle. Il a été mené en relation avec l'[[http://www.u-psud.fr/ief|IEF]] de l'Université 
-Paris-Sud. 
- 
-Nous avons développé de nouveaux algorithmes basés sur les r-opérateurs, et de nouvelles techniques pour les mettre en oeuvre efficacement sur des stations de travail. L'ensemble a été programmé au sein d'une bibliothèque de calcul parallèle appelée Anet. Des accélérations très intéressantes ont été obtenues en mémoire partagée, pour des problèmes fortement irréguliers et très dynamiques, réputés difficiles à paralléliser. 
- 
- 
-<html>&nbsp;&nbsp;&nbsp;<font size="-1" color="red">>>></font></html> 
-[[fr:contrib#Bibliothèque Anet|Sources]] de la bibliothèque de calcul parallèle Anet  
  

Outils pour utilisateurs