Soutenance de Thèse de Gilbert SAWMA, le mardi 19 Mai 2009 à 16h00 au LIP6 dans la Salle 549

Bonjour,

 

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée « Un Système de Pilotage Autonomique pour la Distribution de Charge dans les Réseaux Sans Fil Wi-Fi » ainsi qu'au pot qui suivra.

 

La soutenance se déroulera le Mardi 19 Mai 2009 à 16h00 au Laboratoire d'Informatique de Paris 6 (LIP6) dans la salle 549 (5ème étage).

Adresse : 104, Avenue du Président Kennedy, 75016, Paris

Accès : http://www.lip6.fr/fr/informations/comment.html

 

devant le jury composé du:

 

Mr. Guy PUJOLLE professeur à l'Université Pierre et Marie Curie, Directeur.

Mr. Andrzej DUDA professeur à l'Grenoble INP-Ensimag, Rapporteur.

Mr. Jean-Pierre CLAUDE professeur à l'Université de Versailles, Rapporteur.

Mr. Kablan BARBAR professeur à l'Université Libanaise, Examinateur.

Mr. Sébastien TIXEUIL professeur à l'Université Pierre et Marie Curie, Examinateur.

Mr. Philipe BERTIN Ingénieur de Recherche à France Telecom R&D, Examinateur.

 

Résumé :

La prolifération des équipements sans fil Wi-Fi fait de la norme IEEE 802.11 un candidat de choix pour fournir un accès gratuit à l'Internet dans les espaces publics et métropolitains. Le provisionnement de la bande passante est un élément essentiel dans la gestion du parc informatique des opérateurs.

Sous 802.11, les déploiements sont si denses que chaque point de l'espace peut être simultanément couvert par des dizaines de Points d'Accès (AP). Néanmoins, le modèle de connectivité de 802.11 limite le choix des connexions à l'AP fournissant le meilleur rapport signal sur bruit. Les  zones de l'espace à forte concentration sont de fait  pénalisées car leurs utilisateurs sont forcés de se connecter aux mêmes points d'accès et donc de partager une ressource limitée. Pour éviter la formation d'îlots d'APs surchargés et mieux exploiter les ressources, une politique efficace d'allocation des stations aux APs doit être mise en œuvre. Les enjeux d'un tel mécanisme englobent le trafic engineering et le contrôle dynamique des réseaux. Il s'agit de localiser les points de surcharge, prévoir les déplacements,  anticiper les allocations de bande passante et migrer les stations dans la plus grande transparence pour l'utilisateur.

 

Dans cette thèse, nous proposons un système de pilotage des grands réseaux Wi-Fi avec sur le volet architectural la conception d'un système autonomique et sur le plan algorithmique le détail de nos protocoles pour la distribution de charge dans les réseaux 802.11. Nous ciblons en particulier la gestion du service voix sur IP dans les WLAN (VoWLAN). Nous proposons dans ce cadre l'architecture ALPA (Autonomic Load Piloting Architecture) et les algorithmes RLCA (Reactive Load Control Algorithm) et PLCA (Proactive Load Control Algorithm). La principale originalité d'ALPA est d'intégrer les concepts des réseaux autonomiques à l'architecture existante des infrastructures Wi-Fi. L'algorithme réactif RLCA opère sur une vue locale pour résoudre les congestions spontanées et garantir le bon fonctionnement du réseau en respectant les exigences de QoS. L'algorithme proactif PLCA se déclenche par intermittence pour optimiser les critères de performances du réseau et assurer le trafic engineering dans un contexte de mobilité.

 

 

-------------------------------------------------------

Gilbert Sawma Gilbert.Sawma@lip6.fr

Ph.D. student

Bureau 808, équipe Phare, UFR 169

LIP6 - Laboratoire d'Informatique de Paris 6

UPMC - Université Pierre et Marie Curie

104 Avenue du Président Kennedy, 75016, Paris

 

Soutenance de thèse de Rami TAWIL, jeudi 7 Mai à 11h au LIP6 salle 847

Bonjour,

Vous êtes cordialement invité à ma soutenance de thèse intitulée

" Distributed Vertical Handoff Decision for the Fourth Generation
Wireless Networks", ainsi qu'au pot qui suivra.

La soutenance aura lieu le jeudi 7 mai 2009 à 11h00 dans la salle 847
au LIP6 - Laboratoire d'Informatique de Paris 6 (104, Avenue du président
Kennedy 75016 - Paris).

Composition du jury
---------------------

Samir TOHME, Professeur à l'Université de Versailles
St-Quentin-en-Yvelines (Rapporteur)
Tijani CHAHED, Professeur à l'IT - TELECOM SudParis (Rapporteur)
Serge FDIDA, Professeur à L'université Pierre et Marie Curie (Examinateur)
Pierre EISENMANN, Directeur des opérations - Hop Networks (Examinateur)
Ahmed SERHROUCHNI, Professeur à l'ENST Paris (Examinateur)
Guy PUJOLLE, Professeur à l'université Pierre et Marie Curie (Directeur)

Résumé
-------
Dans cette thèse nous proposons une décision de handover vertical
distribuée (DVHD) pour la quatrième generation des réseaux sans-fils,
le DVHD tend à fournir des services continus pour les noeuds mobiles.

La quatrième génération de réseau sans fil (FGWN) se compose de
réseaux hétérogènes, telles que: Universal Mobile Telecommunication
System (UMTS), WiFi et WiMax. Ces technologies fournissent aux
utilisateurs une gamme de services qui peuvent être obtenues en se
déplaçant entre les réseaux. La question de la mobilité est l'un des
intérêts majeurs pour la FGWN, pendant celui-ci, un utilisateur mobile
peut subir desévènements de transfert (handover). Une des questions
majeures dans le FGWN est la prise de décision pendant le déplacement
du mobile. Le Vertical Handoff décision (VHD) est la tâche avec lequel
le un décideur de handover choisit le réseau auxquel il va se connecter.

La solution DVHD diminue le délai de handover et la consommation
d'énergie de la part du nœud mobile. L'idée principale du système est
de grouper les réseaux en clusters virtuels, alors si le noeud mobile
entre dans la zone de couverture d'un cluster, il communiquera avec le
premier réseau disponible pour récupérer des informations sur son
environnement, et de prendre la bonne décision. Deux autres extensions
sont ajouté le S-DVHD et le T-DVHD qui sert à securiser les
communication entre les entités et de créer des relations de confiance
entre ces entités.

Cordialement
Rami TAWIL

Soutenance de thèse de Mouna AYARI, lundi 11 Mai à 10h au LIP6 sal le 549

Bonjour à tous,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée:
"Architecture de Gestion Décentralisée de la Qualité de Service par
Politiques dans les Réseaux Ad Hoc",

ainsi qu'au pot qui suivra, le lundi 11 Mai 2009 à 10h au Laboratoire
d'Informatique Paris 6 (LIP6) dans la salle 549 (5ème étage).

Adresse du LIP6: 104 avenue du Président Kennedy, 75016, Paris.
Accès : http://www.lip6.fr/fr/informations/comment.html

--------

Composition du jury:

Prof. Tijani CHAHED, Professeur à TELECOM et Management SudParis - France:
Rapporteur,
Prof. Habib YOUSSEF, Professeur à l'Institut Supérieur d'Informatique et
des Technologies de Communication - Université de Sousse – Tunisie:
Rapporteur,
Prof. Isabelle DEMEURE, Professeur à l'Institut TELECOM Paris Tech –
France: Examinateur,
M. Pierre EISENMANN, Ingénieur de recherche à Hop Networks, Incubateur
TELECOM ParisTech - France: Examinateur,
Prof. Farouk KAMOUN, Professeur émérite à l'Ecole Nationale des Sciences
de l'Informatique – Université de la Manouba – Tunisie: co-directeur de
thèse
Prof. Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie -
France: co-directeur de thèse.
--------

Résumé:

Avec l'émergence de la technologie WiFi ces dernières années, les
réseaux locaux sans fil et plus particulièrement les réseaux ad hoc
connaissent un grand succès. La communication dans les réseaux ad hoc
mobile est basée sur la capacité des nœuds à se communiquer
directement entre eux à travers le medium radio sans l'intervention de
stations de base ou de points d'accès centralisés. Par rapport aux
réseaux filaires, cette conception présente plus de flexibilité en
terme de déploiement. Cependant, elle introduit de nouvelles
spécifications: le changement dynamique de la topologie du réseau en
fonction du temps, l'absence d'entité de contrôle, l'hétérogénéité des
nœuds, la bande passante limitée, le partage des ressources, le manque
des informations sur l'état global du réseau, etc. Dans un tel
contexte, les concepteurs de solutions de gestion de qualité de
service doivent faire face à un comportement dynamique de
l'environnement du réseau ad hoc, aux contraintes de service, de
besoins des applications, et à l'instabilité et la limitation des
ressources réseaux. Nous signalons ainsi le besoin d'une approche de
gestion adaptative fonctionnant d'une manière autonome.
Dans cette thèse, nous proposons une architecture de gestion
autonomique de la qualité de service par politiques dans les réseaux
ad hoc : ADMA (Autonomous Decentralized Management Architecture).
L'objectif de notre approche est de mettre en place, un système
auto-géré, dynamique et adaptatif. Nous avons associé à cet effet les
caractéristiques du système de gestion par politiques avec la
propriété d'auto-configuration des réseaux autonomiques. Dans notre
solution, chaque noeud ad hoc se dispose d'un composant responsable
sur la prise de décision et d'un moniteur rapportant les événements
qui peuvent se produire, les changements des paramètres de
configuration et l'état des ressources gérées. Aucun noeud ad hoc ne
possède une vision complète ou globale du réseau et les décisions
seront prises d'une manière totalement décentralisée. Ces décisions
respectent des politiques prédéfinies par l'administrateur du réseau.
Ces politiques sont répliquées dans tous les nœuds du réseau ad hoc.
Nous en avons distinguées quatre classes : politiques de
configuration, de reconfiguration, de surveillance et méta-politiques.
Nous proposons également un nouveau protocole de gestion par
politiques fonctionnant en mode pair-à-pair décentralisé: DPMP
(Distributed Policy Management Protocol). Notre protocole permet
d'assurer deux services : la distribution des politiques dans le
réseau ad hoc et la collecte d'information d'état du nœud et son
environnement. Il permet également l'interaction entre les différents
composants de notre architecture ADMA.
L'évaluation de notre proposition porte sur deux volets : la
vérification formelle et les simulations. La modélisation et
vérification formelles nous ont permis de valider la conception du
protocole DPMP par rapport à sa spécification. Nous avons utilisé les
simulations afin d'évaluer les performances du protocole DPMP et
observer le comportement de notre architecture dans le cas d'une
application temps réel : la transmission de la voix sur IP.

Mots clés : réseaux ad hoc, réseaux autonomiques, politiques, gestion,
ADMA, DPMP, qualité de service, auto-configuration
-----------

Bien cordialement,

--
Mouna AYARI
Phd Student
RAMSIS Team - CRISTAL Lab - Ecole Nationale des Sciences de l'Informatique
- University of Manouba - Tunisia
&
PHARE - LIP6 - UPMC - Paris Universitas -
104, Avenue Président Kennedy, 75016 - Paris - France

soutenance de thèse de Samuel Thiriot, ce jeudi 09 avril à 10h00

Bonjour à tous,

J'ai le plaisir de vous inviter à la soutenance de ma thèse, intitulée :

« Vers une modélisation plus réaliste de la diffusion d'innovations à
l'aide de la simulation multi-agents »

ainsi qu'au pot qui suivra, le *jeudi 9 avril à 10h00*, au Laboratoire
d'Informatique de Paris 6, *salle 549 (5ème étage)*.

Bien cordialement,

Samuel Thiriot

------------------

Accès : 104, avenue du Président Kennedy, 75016 Paris,
http://www.lip6.fr/fr/informations/comment.html

------------------

Le jury sera composé de :

Guillaume DEFFUANT (Rapporteur), Directeur de Recherches au CEMAGREF – LISC
Alexis DROGOUL (Rapporteur), Directeur de Recherches à l'IRD – UMMISCO
Jean-Françcois PERROT (Examinateur), Professeur Emerite de l'Université
de Paris VI
Jean-Daniel ZUCKER (Examinateur), Directeur de Recherches à l'IRD - UMMISCO
Amal El Fallah SEGHROUCHNI (Directrice), Professeur à l'Université de
Paris VI
Jean-Daniel KANT (Encadrant), Maître de conférences à l'Université de
Paris VI

Stéphanie Fray, experte marketing France Télécom R&D et corrrespondante
de cette thèse, assistera également à cette soutenance. Alexis Drogoul
participera par visioconférence depuis Hanoi.

------------------

Résumé :

La diffusion d'innovations est définie comme le processus de
communication par lequel une idée, pratique, ou produit perçu comme
nouveau se propage dans une population. Une innovation peut être une
solution contraceptive, la décontamination de l'eau, ou l'achat de
téléphones à l'ergonomie novatrice. Les institutions, tout comme les
entreprises, cherchent à comprendre et prévoir le succès ou l'échec
d'une innovation; elles espèrent aussi faciliter sa diffusion à moindre
coût, notamment en
facilitant le bouche à oreille. Une approche de modélisation-simulation
permet de mieux comprendre ce processus social et de répondre à ces
questions. La simulation multi-agents offre une approche puissante
pour modéliser un tel processus social. Toutefois, les modèles actuels
simplifient fortement les croyances et informations représentées dans le
modèle; ces éléments sont pourtant reconnus comme centraux dans le
processus de diffusion, puisqu'ils expliquent le succès ou l'échec de
la diffusion, et constituent des variables décisionnelles de l'institution.

Afin d'améliorer la descriptivité et l'utilité potentielle d'un modèle
de diffusion d'innovations, nous explorons dans cette thèse une
représentation des croyances plus réaliste. Le modèle se doit néanmoins
de demeurer assez simple pour être paramétré et comparé à des diffusions
réelles. Nous proposons de représenter les croyances des adoptants
potentiels sous forme de réseaux associatifs, et définissons les
mécanismes de manipulation de croyances adaptés. Un protocole
d'entretien est proposé, qui rend le modèle paramétrable et validable.
Le protocole de communication décrit la recherche et l'émission motivée
de ces croyances sur des objets sociaux. L'exploration par simulation
des paramètres du modèle permet notamment de mieux comprendre
l'importance de la recherche d'information dans la dynamique
d'information, et de remettre en cause certaines attentes du marketing
viral. Le modèle développé exhibe un gain en descriptivité important,
permettant notamment de décrire le marketing évènementiel ou l'échec de
la diffusion d'innovation dû à l'incompréhension des messages
institutionnels.

Comme la plupart des modèles orientés agent, celui-ci s'avère
extrêmement sensible à la structure des interactions (``réseau social'')
définie dans le modèle. Faute de structure d'interaction réaliste,
aucune validation du modèle, ni prédiction sérieuse, ne peuvent être
envisagées pour ces modèles. Les réseaux sociaux sont généralement
considérés comme non collectables à grande échelle. Nous soulignons
l'existence de statistiques et d'observations qualitatives sur les
processus de construction de ces liens, proposons de formaliser ces
connaissances sous forme de réseau bayésiens, et définissons un
algorithme générateur de réseaux d'interaction. La mise en oeuvre de ce
générateur est illustrée par la génération d'un réseau d'interaction
pour le Kenya rural, dans lequel est représentée la structure familiale,
les liens entre collègues et amis, dans un environnement spatialisé. Ce
générateur ouvre la voie à l'utilisation de réseaux d'interactions plus
plausibles, susceptibles d'améliorer la descriptivité des modèles de
phénomènes sociaux, diffusion d'innovations incluse.

Soutenance de thèse d'Emmanuel Viaud, le mardi 27 janvier à 14h00

Bonjour,

J'ai l'honneur de vous inviter à la soutenance de ma thèse intitulée :
"Modélisation SystemC d'architectures multi-processeurs intégrées sur puce
au niveau transactionnel avec représentation du temps", ainsi qu'au pot
qui suivra.

Date et Lieu :
La soutenance aura lieu le mardi 27 janvier à 14h00 dans l'amphithéâtre
Chouard situé au pied de la tour 53 sur le campus de Jussieu.
Plan d'accès:
http://www.upmc.fr/fr/universite/campus/a_paris_et_en_idf/campus_jussieu2.html

Composition du Jury :
Frédéric Pétrot, professeur à l'INP Grenoble, rapporteur
Olivier Sentieys, professeur à l'ENSSAT/IRISA Lannion, rapporteur
Laurent Maillet-Contoz, ST Microelectronics Grenoble, examinateur
Pierre Sens, professeur à l'UPMC, examinateur
Alain Greiner, professeur à l'UPMC, directeur de thèse
François Pêcheux, maître de conférences à l'UPMC, co-directeur de thèse

Résumé :
Cette thèse présente les principes théoriques et l'implémentation pratique
d'une méthode originale de modélisation transactionnelle avec temps
(Transaction Level Modeling with Time, TLM-T) de plates-formes numériques
multi-processeurs complexes à mémoire partagée. S'appuyant sur le niveau
d'abstraction TLM (standard de l'Open SystemC Initiative), cette méthode
rend possible l'exploration architecturale et facilite le développement du
logiciel embarqué, tout en considérant les phénomènes de contention
dynamique ignorés par TLM qui impactent grandement les performances
temporelles. La méthode présentée permet d'obtenir un gain d'un ordre de
grandeur par rapport à la simulation précise au cycle tout en gardant une
grande précision.

La partie théorique montre que la méthode s'appuie sur un algorithme
traditionnellement utilisé dans le cadre de la simulation parallèle à
événements discrets (PDES) qui garantit l'absence d'interblocages. Chaque
composant actif (initiateur) dispose de sa propre horloge locale et
s'exécute indépendamment des autres. Il n'y a donc plus de temps de
simulation global ni d'échéancier centralisé. La synchronisation effective
est assurée par les messages échangés entre composants, datés avec le
temps du composant émetteur et s'effectue à travers le réseau
d'interconnexion qui effectue le routage des paquets.

La partie pratique décrit l'implémentation de cette méthode avec la
bibliothèque SystemC. Plusieurs plates-formes ont été testées : de la plus
simple permettant de valider le principe global à la plus complexe
incluant trente processeurs et autant de cibles. Pour chacune, de
nombreuses mesures de performance ont été réalisées. L'impact de la
modélisation utilisée pour représenter le tampon d'écritures postées du
cache a notamment fait l'objet d'un soin attentif.

Cordialement,
Emmanuel Viaud

Soutenance de thèse sur les interblocages dans les NoC le vendredi 30 janvier à 14h

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Détection des interblocages dans les réseaux sur puce", ainsi qu'au pot
qui suivra.

Date et Lieu :
La soutenance aura lieu le vendredi 30 janvier à 14h00 dans
l'amphithéâtre Herpin situé dans le bâtiment Esclangon sur le campus de
Jussieu.
Plan d'accès:
http://www.upmc.fr/fr/universite/campus/a_paris_et_en_idf/campus_jussieu2.html

Composition du Jury :
Dominique Borrione, professeur à l'Université Joseph Fourier à Grenoble,
Rapporteur
Patrice Quinton, professeur à l'ENS Cachan antenne de Rennes, Rapporteur
Fabien Clermidy, CEA Leti à Grenoble, Examinateur
Paul Feautrier, professeur à l'ENS Lyon, Examinateur
Alain Greiner, professeur à l'UPMC, Examinateur
Emmanuelle Encrenaz, maître de conférences à l'UPMC, Directrice de thèse

Résumé :
La complexité grandissante des systèmes sur puce nécessite de disposer
d'un moyen de communication efficace entre les éléments composant le
système.
Les réseaux sur puces offrent une large bande passante et supportent
naturellement ce passage à l'échelle.
Ils sont apparus comme une réponse à ces problèmes et sont devenus un
élément essentiel des systèmes sur puce.
Cependant, un des inconvénients des réseaux sur puce est leur
sensibilité aux interblocages: plusieurs messages circulant dans un
micro-réseau peuvent se bloquer les uns les autres.
Différents travaux ont porté sur des méthodes de conception de fonctions
de routage sans interblocage, mais aucun n'a permis d'obtenir une
méthode de détection d'interblocages efficace.

Il existe par ailleurs des dépendances entre messages, externes au
réseau, également susceptibles de produire des interblocages.
Les solutions proposées pour résoudre ce type d'interblocage impliquent
soit la duplication du réseau, soit l'ajout de matériels nécessaires à
la détection et à la résolution des interblocages.

Dans cette thèse, nous proposons une méthode innovante permettant de
déterminer en temps polynomial si un réseau d'interconnexion est sans
interblocage.
Une nouvelle solution est proposée pour éviter les interblocages dus aux
dépendances externes au réseau.
Contrairement à la méthode de duplication du réseau, elle permet un
meilleur partage des ressources sans augmenter la complexité du réseau.

Ces résultats ont été implémentés dans l'outil ODI et expérimentés sur
des réseaux de grande taille possédant des fonctions de routage complex
es.

Cordialement,
Sami Taktak

Soutenance de thèse de Fei YIN (LIP6=?iso-8859-1?Q?= 2C_Mardi_20_Janvier_17h00=2C_Salle_550?=)

Bonjour,

It is my pleasure to invite you to attend my oral defense of dissertation
entitled "Performance evaluation and optimization in IEEE 802.16
networks", and the successive party.

Date and Place:
The oral defense will be presented at 17:00 on Tuesday 20th January 2009,
in Room 550 (5th floor) of Laboratoire d'Informatique de Paris 6 (LIP6),
104 avenue du Président Kennedy, 75016 Paris
Access Map: http://www.lip6.fr/fr/informations/comment.php

Members of Jury:
M. Guy PUJOLLE, Professor of Université Pierre et Marie Curie (Advisor)
Mrs. Monique BECKER, Professor of TELECOM SudParis (Reviewer)
M. André-Luc BEYLOT, Professor of ENSEEIHT (Reviewer)
M. Serge FDIDA, Professor of Université Pierre et Marie Curie (Examinator)
M. Ye-Qiong SONG, Professor of INPL (Examinator)
M. Pierre EISENMANN, Chief Operating Officer of N2NSOFT (Examinator)

Abstract:
IEEE 802.16 is a suite of emerging standards that bring the wireless and
broadband access together to fulfil the demand of broadband service
anytime and anywhere. IEEE 802.16 standards suit defines a
reservation-based bandwidth allocation mechanism. In the mechanism, two
main polling modes, the unicast polling mode and the contention-based
polling mode, are defined. The different adoption schemes of the polling
modes result in different configuration of PHY frame structure and then
deeply affect the performance. There should be an optimum scheme to adopt
these two polling modes to optimize the performance. The IEEE 802.16
standards do not specify exactly such a scheme. We investigate the polling
modes in IEEE 802.16 networks, and propose a simple but efficient polling
mechanism to adopt these two polling modes efficiently and fairly and then
optimize the performance.

In IEEE 802.16 networks, the contention-based polling mode is used by the
contention-based and delay-tolerant applications such as nrtPS and BE to
competitively request uplink bandwidth. The amount of bandwidth allocated
for contention-based request will significantly influence the performance.
We analyse and develop a simple mathematical model to evaluate the
performance in IEEE 802.16 networks. An optimal contention-request period
in the frame is presented. This optimal size is also influenced by the
number of terminals in the network, which is also analyzed in the latter.
The simulation results verify that our proposed optimal polling scheme can
allocate bandwidth more efficient and achieve better performance.

Best regards,
Fei YIN