This is an old revision of the document!
<html><font face=helvetica></html>
Dynamic ad hoc networks / Transport protocols / Fault tolerant distributed algorithms / Parallel computing for image analysis
This page summarizes my research work.
This project started in summer 2003, and is not ended. This is currently my main research project. The target application is the vehicular networks, in collaboration with team ASER of the Heudiasyc lab.
This project consists in designing new services and network protocols and new distributed algorithms to deal with the high dynamic of the network. Results from previous projets “Fault tolerant distributed algorithms” and “Transport protocols” are used.
We developed a routing strategy well adapted to vehicular networks (conditional transmissions), found interesting results regarding fairness of IEEE 802.11 norm, proposed a new method to detect Sybil attacks in VANET and designed a group algorithm for dynamic networks, parameterized by an applicative constraint. Several studies are underway.
To guide our theoretical work, we developed an experimental platform (bottom-up approach). This platform is called Caremba and is dedicated to the study of communication and embedded distributed applications. It is based on the sofware suit Airplug. Several tests on the road have been done; some of them have been done with France Telecom R&D (Orange lab).
The following subjects are studied :
soon in english…
<html> <font size=“-1” color=“red”»»</font></html>
suite logicielle Airplug
<html> <font size=“-1” color=“red”»»</font></html>
plate-forme Caremba
<html> <font size=“-1” color=“red”»»</font></html>
photos de nos expérimentations
soon in english…
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> <font size=“-1” color=“red”»»</font></html> Sources du protocole Primo pour network simulator
soon in english…
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 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.
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'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> <font size=“-1” color=“red”»»</font></html> Sources de la bibliothèque de calcul parallèle Anet