Invitation à la soutenance de thèse de Sylvain Dekoker

Bonjour,


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

"Alma : un langage de programmation d'agents cognitifs"

Vous êtes également conviés au pot qui suivra.


============
Date et lieu
============
La soutenance se déroulera lundi 14 mai 2012 à 10h au LIP6, salle 105,
couloir 25-26 (1er étage).


======
Résumé
======
Cette thèse s'intéresse à la programmation d'agents cognitifs. Devant
les grandes difficultés que l'on rencontre pour concevoir, réaliser et
maintenir des systèmes informatiques de plus en plus complexes, nous
pensons que ce paradigme peut apporter des réponses. Grâce à des
concepts proches de notre manière de penser, cela ouvre la porte à de
nouvelles solutions. L'état d'esprit dans lequel les systèmes
multi-agents nous plongent, nous guide vers une modularité différente
: plus explicite, plus déclarative, mieux adaptable et plus robuste.
Nous pensons que ce paradigme ne se développera pas à sa juste valeur
tant qu'un langage de programmation l'incarnant n'aura pas réussi à
s'imposer. Et c'est pour aller dans ce sens que ce travail a été
accompli.

Il nous semble indispensable pour des agents cognitifs de pouvoir
raisonner à partir d'informations incomplètes, de gérer des
contradictions, et de raisonner sur les actions possibles dans ce
contexte. Nous avons conçu une solution basée sur du raisonnement
hypothétique. Nous montrerons dans cette thèse les impacts de ce choix
sur les différents composants des agents : la révision de leurs
croyances, l'écriture et génération automatique de leurs plans, la
gestion des plans en cours d'exécution, et le rétablissement d'un
comportement cohérent de l'agent. La contribution de cette thèse est
le langage de programmation d'agents ALMA qui intègre ces différents
aspects.


====
Jury
====
Laurent VERCOUTER, rapporteur, INSA de Rouen
Jean-Paul SANSONNET, rapporteur, Université Paris sud
Philippe DAGUE, examinateur, Université Paris sud
René MANDIAU, examinateur, Université de Valencienne
Nicolas SABOURET, examinateur, UPMC
Amal EL FALLAH SEGHROUCHNI, directrice de thèse, UPMC
Patrick TAILLIBERT, encadrant, Thales


=====
Accès
=====
LIP6 : 4 Place Jussieu 75005 Paris
Plan d'accès : http://www.lip6.fr/informations/comment.php


Cordialement,
Sylvain Dekoker

Invitation à la soutenance de thèse de Sinh Chung NGUYEN

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse de
doctorat intitulée "Gestion de multi-homing au niveau transport pour
les terminaux mobiles multi-interfaces".


==========

Date et lieu

==========

La soutenance aura lieu le 10 Mai à 10h en salle 203/205 Bâtiment 41
(2ème étage) à l'Université Paris 6, 4 Place Jussieu, 75005 Paris.

Plan d'accès :
http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.html


Vous êtes également conviés au pot qui suivra en salle 313 Bâtiment 41
(3ème étage).


===========

Jury de thèse

===========

M. Guy PUJOLLE Directeur de thèse Université Pierre
et Marie Curie
Mme. Thi-Mai-Trang NGUYEN Encadrant Université Pierre
et Marie Curie
M. Stefano SECCI Co-Encadrant Université Pierre
et Marie Curie
M. Yacine GHAMRI-DOUDANE Rapporteur Université
Paris-Est Marne-la-Vallée
M. Fabio MARTIGNON Rapporteur Université Paris-Sud
M. Philippe BERTIN Examinateur Orange Labs
M. Erick BIZOUARN Examinateur Bell Labs
Mme. Bénédicte LE GRAND Examinateur Université Pierre
et Marie Curie

======

Résumé

======

Avec l'évolution des technologies d'accès, des terminaux sont souvent
équipés de plusieurs interfaces réseaux. Les terminaux multi-homés
permettent aux utilisateurs d'utiliser simultanément différents
réseaux d'accès, via plusieurs interfaces, et d'avoir un accès
ubiquitaire aux services. Le multi-homing pourrait fournir une
meilleure couverture radio grâce à l'utilisation simultanée des
différentes technologies sans-fil, améliorer le débit des applications
en se basant sur l'agrégation de bande passante, et augmenter la
fiabilité de la connexion.

Dans cette thèse, nous nous concentrons sur la gestion du multi-homing
au niveau transport; nous étudions deux protocoles de transport qui
supportent le multi-homing: Stream Control Transmission Protocol
(SCTP) et Multipath TCP (MPTCP).

Tout d'abord, nous présentons une solution pour améliorer les
performances de Mobile SCTP (mSCTP) en cas de handover dans un
environnement hétérogène. Nous proposons un mécanisme de mise à jour
des paramètres de contrôle de congestion, combiné avec un mécanisme de
retransmission de données non-acquittées pendant la période de
handover. Cette première contribution est validée par les simulations
avec NS-2.

L'utilisation des fonctionnalités multi-homées de SCTP implique la
modification des applications actuelles dont la plupart se basent sur
Transmission Control Protocol (TCP). MPTCP, une extension récente du
protocole TCP est donc proposée, ce qui permet la transmission
simultanée de données sur de multiples chemins. Afin de savoir si
MPTCP peut atteindre ses objectifs en terme de performance, nous
effectuons des expérimentations en utilisant l'implémentation de MPTCP
dans le noyau Linux. L'objectif de cette deuxième contribution est
d'évaluer la performance de MPTCP en termes de partage de charge et
d'optimisation du débit dans un environnement hétérogène. Les
résultats montrent un grand impact sur le débit de MPTCP et suggèrent
la nécessité d'avoir un algorithme intelligent de sélection d'interface.

MPTCP envoie par défaut des trafics à toutes les interfaces
indépendamment du coût. Pour pallier ce défaut, nous proposons enfin
un mécanisme de partage de charge associé à MPTCP en utilisant la
théorie des jeux. La communication entre deux terminaux multi-homés
est modélisée sous la forme d'un jeu non-coopératif multi-critère qui
prend en compte le coût de connexion et le délai du chemin. Un
coefficient, qui représente le compromis "coût-performance", a été
défini, pour pondérer l'importance de chaque critère sur la stratégie
de sélection de chemin et de partage de charge. Le taux de partage de
charge est calculé en fonction du potentiel associé à chaque
stratégie. Nous montrons qu'il est possible de tenir compte des
préférences de l'utilisateur pour optimiser le coût et la performance
d'une communication MPTCP, et qu'il est également possible de les
inclure dans l'algorithme de partage de charge.



=======

Abstract

=======

With the ubiquitous availability of various access technologies,
current mobile terminals are often equipped with several network
interfaces. Users not only have access to services anywhere at any
time from any network, but also envisage using different network
accesses simultaneously through several interfaces. Such multi-homing
environment should ensure the wider radio coverage thanks to the
simultaneous use of different wireless technologies, the enhancement
of network application performances taking advantage of bandwidth
aggregation and the increase of reliability by using any of the
available technologies.

In this thesis, we concentrate on multi-homing management at transport
layer and study two protocols of transport which support the
multi-homing: Stream Control Transmission Protocol (SCTP) and
Multipath TCP (MPTCP).

Handling mobility at the transport layer is an interesting approach to
attain seamless handover in the context of heterogeneous access
networks. To support terminal mobility, an extension of SCTP called
SCTP-DAR (SCTP Dynamic Address Reconfiguration) (a.k.a. mobile SCTP)
has been defined allowing SCTP endpoints to update IP address and
inform the remote peer about primary address change. However, mobile
SCTP suffers from performance degradation during handover. In this
first contribution, we deal with two handover-related issues:
reduction of data rate immediately after handover and packet
reordering. We propose to use a combination of two mechanisms,
congestion control parameter update and buffer retransmission. The
simulation results on NS-2 show the SCTP performance improvement
during handover.

Multipath TCP (MPTCP) is a modified version of Transmission Control
Protocol (TCP) which allows using simultaneously multiple paths for
data transmission. It aims to improve the throughput of TCP connection
in a manner that a MPTCP connection over multiple paths should achieve
at least a no worse throughput than a single TCP connection over the
best constituent path. In order to know if MPTCP could fulfill its
performance goals, we carry out experimentations by using Linux
implementation of MPTCP. The objective of this second is to evaluate
MPTCP performance in terms of throughput optimization and load sharing
in heterogeneous environment. The measurements show a great impact of
this network context on MPTCP performance and reveal the need of an
intelligent algorithm for interface selection.


Finally, a strategic load-balancing mechanism for MPTCP is proposed by
using game theory. We model the communication between multi-homed
terminals as a multi-criteria non-cooperative game so as to achieve
performance-cost decision frontiers. A trade-off coefficient is
defined to weight each criterion impact on the game. The resulting
game always allows selecting multiple equilibria, which correspond to
a strategic load-balancing distribution over the available interfaces.
Our proposal is validated by simulations on NS-2. We show that it is
possible to take into account user preferences in load-balancing
algorithm.




Cordialement,

Sinh Chung NGUYEN

Invitation à la soutenance de thèse de Xiaofei ZHANG

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée:
"Multipath Transmission Control and Mobility Management for
Multihoming Transport Protocols".

Devant le jury composé de:
• M. Ken CHEN Rapporteur
Professeur à Université Paris 13
• Mme. Véronique VÈQUE Rapporteur
Professeur à Université Paris 11
• M. Oliver MARCÉ Examinateur Chef
de projet à Alcatel-Lucent Bell Labs France
• M. Pierre EISENMANN Examinateur
Directeur ZTE France division sans fil
• Mme. Nadia BOUKHATEM Examinateur
Maître de Conférences à TELECOM-ParisTech (HDR)
• Mme. Clémence MAGNIEN Examinateur
Chargée de recherche à LIP6-CNRS (HDR)
• M. Guy PUJOLLE Directeur
Professeur à UPMC-Sorbonne Universités
• Mme. Thi Mai Trang NGUYEN Co-directeur
Maître de Conférences à UPMC-Sorbonne Universités

La soutenance aura lieu le Jeudi 10 Mai à 14h en salle 101 couloir
25-26 (1er étage) au Laboratoire d'Informatique de Paris 6 (LIP6), 4
Place Jussieu, 75005 Paris.

Plan d'accès :
http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.html
http://www.lip6.fr/informations/comment.php

Vous êtes également coviés au pot qui suivra en salle 101 couloir
26-00 (1er étage).


Cordialement,


Xiaofei Zhang


============= Résumé en français ===================

Avec la baisse des prix des périphériques réseaux, il est de plus en
plus commun un terminal mobile d'aujourd'hui équipant plusieurs
interfaces des réseaux. Par exemple, les téléphones cellulaires ou les
ordinateurs portables sont équipés les interfaces WiFi, UMTS et WiMAX.
Ces interfaces pourraient être connectées aux différents fournisseurs
de réseaux et obtenir plusieurs adresses IP. Il transmet les données
sur ces interfaces et sur les multi-chemins. L'utilisation de
plusieurs interfaces disponibles en parallèle peut grandement
bénéficier de la fiabilité de connexion, la tolérance aux pannes, le
partage de charge, l'augmentation de la bande passante disponible etc.
Elle est aussi utile pour le handover et peut fournir une gestion
efficace de la mobilité.

Pour les protocoles de transport, tels que TCP et SCTP protocols, les
paquets sont envoyés un par un de l'expéditeur et mise en ordre à la
destination. les paquets en désordre indiquent possible perte de
données. Toutefois, lorsqu'un terminal transfère simultanément les
données sur plusieurs interfaces dans le cadre de de multihoming, ce
principe n'est plus valable. En raison des caractéristiques
différentes des chemins, comme le délai et la perte, il est très
probable que les paquets sont envoyés plus tôt mais préalablement
arrivés plus tard. Ceci cause le problème du blocage de tampon. Par
conséquence, le transfert simultané de données peuvent souffrir de
mauvaises performances, si les conditions des chemins différents ne
sont pas soigneusement étudié en particulier lorsque plusieurs chemins
passent par des réseaux sans fil hétérogènes.

Dans cette thèse, nous étudions les problèmes multihoming à la couche
de transport pour améliorer la performance de bout en bout dans les
réseaux sans fil. En outre, la coordination entre les multihoming et
gestion de la mobilité est étudiée ce qui nous permet de proposer une
gestion de la mobilité coopérative dans le contexte de multihoming
pour un environnement Post-IP.

Tout d'abord, nous proposons une solution multi-couche (cross-layer)
pour l'optimisation des performances avec le CMT (Concurrent Multipath
Transfer) extension de SCTP dans les réseaux sans fil. Deux
paramètres, FER (Frame Error Rate) à la couche de liaison et RTT à la
couche de transport sont utilisés pour évaluer les conditions des
chemins. Les résultats de la simulation sous NS-2 montrent que notre
proposition améliore les performances et réduit la réception des
paquets en désordre.

Deuxièmement, nous nous concentrons sur les liens hétérogènes sans
fil. En raison de manque de fiabilité des liaisons sans fil, nous
avons besoin d'une bonne description des caractéristiques du chemin.
Nous choisissons le filtre de Kalman puisqu'il est une méthode
efficace récursive qui non seulement estime et corrige les états
actuels du système, mais aussi prédit même les états futurs sur la
base du dernier état. Les résultats des simulations ont montré que
notre proposition avec le filtre de Kalman réduit le degré désordre et
améliore modèle de croissance de la congestion fenêtre. En
conséquence, le débit total augmente.

Enfin, une architecture de la gestion de la mobilité coopérative est
proposé comme une solution pour le Post-IP. Caractéristiques de
multihoming sont analysés afin de présenter la proposition de la MCMM
(Multihoming-based Cooperative Mobility Management). La gestion de la
mobilité coopérative optimise le délai de transfert dans les réseaux
d'accès hétérogènes. Lorsque la mobilité se produit, les messages de
mise à jour sont envoyées sur l'interface avec le plus petit retard
plutôt que sur l'interface qui déclenche la mobilité. Le MCMM est
implémenté en C++ sous Linux avec un test-bed. Les résultats
expérimentaux montrent que le retard de transfert peut être réduite
par l'envoi de messages de mise à jour via l'interface de la voie la
plus rapide.

==================== Abstract in English ============================

With the decreasing price of network peripherals, most of mobile
devices today are equipped with multiple network interfaces that could
be connected to different network providers and obtain multiple IP
addresses. For example, cell phones or laptops are equipped with WiFi,
UMTS and WiMAX interfaces. It is widely agreed that full utilization
of multihoming by simultaneous data transmission over multiple
available paths can greatly benefit from connection reliability, fault
tolerance, load sharing, load balancing, etc. Moreover, using several
interfaces at the same time can also increase the available bandwidth.
The full utilization of multihoming can also provide an efficient
mobility management.

For reliable transport protocols such as TCP and standard SCTP,
packets are sent one by one at sender and put in order at destination.
Out-of-order packets indicate possible data loss. However, when a
terminal simultaneously transfers data over multiple interfaces in the
context of multihoming, this principle is no longer valid. Because of
the different characteristics of different paths, such as delay and
loss, it is very likely that packets sent more previously arrive
later. This causes the head-of-line blocking problem. Hence,
simultaneous data transfer can suffer poor performances if the
conditions of different paths are not carefully considered especially
when multiple paths go through heterogeneous wireless networks.

In this dissertation, we investigate the multihoming problems at
transport layer to improve the end-to-end performance in wireless
networks. Moreover, the coordination between multihoming and mobility
management is studied which permit us to propose a cooperative
mobility management in the context of multihoming for an environment
Post-IP.

Firstly, we propose a cross-layer solution for performance
optimization with the CMT (Concurrent Multipath Transfer) extension of
SCTP in wireless networks. Two parameters, FER (Frame Error Rate) at
the link layer and RTT at the transport layer are used to evaluate the
path conditions. The simulation results by using ns-2 show that our
proposal improves the performance and reduces the out-of-order data
reception.

Secondly, we focus on the heterogeneous wireless links. Because of
unreliable wireless links, we need a good description of link
characteristics. We chose Kalman filter because it is an efficient
recursive method which not only estimates and corrects the current
system states but also predicts even the future states based on the
latest state. The simulation results showed that our proposal with
Kalman filter reduces the reordering degree and improves congestion
window growth pattern. As a result, the total goodput increases.

Finally, a cooperative mobility management architecture is proposed as
a solution for Post-IP. Multihoming and end-to-end features are
analyzed to present the proposal of MCMM (Multihoming-based
Cooperative Mobility Management). The cooperative mobility management
optimizes the handover delay in the heterogeneous access networks.
When mobility occurs, update messages are sent over the interface with
the smallest delay rather than over the interface which triggers the
mobility. The MCMM is implemented in C++ under Linux with a test-bed.
The experimental results show that the handover delay can be reduced
by sending update messages over the interface of the fastest path.

===============================================================


***************************************************************
Xiaofei ZHANG
PhD Student - Team PHARE
Laboratory of Computer Science of Paris 6 (LIP6)
University of Pierre and Marie Curie (UPMC - Paris 6)
4 place Jussieu
75005 Paris, France
Tel : +33 1 44 27 88 79
***************************************************************