Bonjour,
Nous avons le plaisir de vous inviter à la soutenance de thèse de
Marcos Almeida intitulée «
Détection et Traitement des Déviations dans les Environnements de
développement logiciel centrés procédés » le lundi 25 juin, 10 h 30, au
Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie
Curie, Tour 26, couloir 26-00, 1er étage, Salle 105. Vous êtes cordialement
invités ainsi qu'au pot qui suivra dans la salle 101.
Comment venir: http://www.lip6.fr/informations/comment.php
==========
Jury
==========
GERVAIS Marie-Pierre Professeur, Université Paris Ouest Nanterre La Défense,
directrice de thèse BENDRAOU Reda Maître de Conférence, Université Pierre et
Marie Curie, encadrant BLANC Xavier Professeur, Université Bordeaux 1,
co-encadrant KORDON Fabrice Professeur, Université Pierre et Marie Curie,
examinateur JEZEQUEL Jean-Marc Directeur de recherche, INRIA, examinateur
MULLER Pierre-Alain Professeur, Université de Haute-Alsace, examinateur
ESTUBLIER Jacky Directeur de recherche, CNRS, rapporteur MENS Tom
Professeur, Université de Mons, rapporteur
==========
Title
==========
Detection and Handling of Deviations in Process-centered Software
Engineering Environments
==========
Abstract
==========
Software Processes aim at improving the quality and productivity of software
development by encoding sets of well-know practices for realizing them. When
encoded in the form of Software Process Models
(SPM) they can be analyzed, improved and automated. This third activity is
the focus of this work. More specifically, we deal with a particular piece
of software that is in charge of the automatization of the execution of
SPMs: the Process-centered Software Engineering Environment (PSEE). They
consist of process-aware software development environments that allow
process agents to enact a SPM while having the conformance of their actions
to the SPM verified by the PSEE. In this work, we are interested in the
actions performed by the agents that do not conform to the SPM, we call
these actions deviations. As a starting point of this work, we evaluated the
existing PSEEs and realized that they do not provide the necessary support
for detecting and handling deviations. This work intends to provide PSEEs
the necessary support for detecting deviations and guiding process agents in
handling them. In terms of detection, our approach reduces the level of
prescriptiveness of PSEEs, by allowing them to detect deviations as early as
possible (Early Deviation Detection) and to classify deviations according
to their impact to the process objectives (Risk Assessment) In terms of
guidance, we want our approach to allow the PSEE to delay the effective
handling of deviations for as long as possible (Late Deviation Handling) and
to provide correction plans that help process agents to reduce the overall
risk represented by the detected deviations (Correction Guidance).
----------
Cordialement,
Marcos ALMEIDA
vendredi 22 juin 2012
jeudi 21 juin 2012
Soutenance de thèse de Jean-René Coffi
Voici un message de la part de Jean-René Coffi.
Bien cordialement,
Christophe
- - - - - - - - - - - - - - -
Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Adaptive complex event processing for critical infrastructure protection"
qui aura lieu le lundi 25 juin à 16h30, au Laboratoire d'Informatique de
Paris 6 (LIP6), Université Pierre et Marie Curie, dans la grande salle
de visioconférence (Bâtiment Atrium, RDC, couloir jaune, porte d'entrée
"2").
Vous y êtes cordialement invités ainsi qu'au pot qui suivra (et qui,
lui, aura lieu dans la salle 25-26-101).
Comment venir à l'UPMC : http://www.lip6.fr/informations/comment.php
puis trouver l'Atrium :
http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.html
Jury :
- Alexander Artikis, Research Associate at the Institute of Informatics
& Telecommunications National Centre for Scientific Research
"Demokritos", rapporteur
- Bernadette Bouchon-Meunier, DR CNRS, UPMC-LIP6
- Anne Laurent, Professeur, LIRMM - université de Montpellier 2
- Christophe Marsala, Maître de Conférences, UPMC-LIP6, directeur de thèse
- Nicolas Museux, Ingénieur de recherche, THALES Research & Technology,
co-encadrant de thèse
- Christel Vrain, Professeur, LIFO - université d'Orléans, rapporteur
Résumé :
Protéger des infrastructures critiques comme des aéroports, des sources
d'énergie des bâtiments administratifs ou des lignes de transport, est
un défi majeur pour les gouvernements et les autorités locales. C'est un
processus difficile impliquant, entre autres, l'identification des biens
à protéger, les cibles possibles et les vulnérabilités de ces biens, la
reconnaissance des menaces potentielles qu'elles impliquent, les
ressources disponibles et le coût de leur déploiement comparé aux
dommages potentiels en cas d'attaque. Le but de ce processus est de
prendre les bonnes décisions en fonction des activités se produisant
dans l'environnement et du contexte local.
Nous proposons d'utiliser une architecture de traitement d'évènements -
basée sur des règles réactives - pour reconnaître les attaques en cours
à partir de la combinaison de différents signaux reçus par le moteur de
règles. Une fois ces signaux traités, une alerte est envoyée au
superviseur du système pour qu'une réaction appropriée soit menée.
Malgré tout, des erreurs de détection peuvent arriver pour diverses
raisons : la source du signal peut être défectueuse; les règles
d'agrégation peuvent être mal structurées ; finalement les règles
peuvent être incorrectes sémantiquement - parce que la connaissance du
concepteur de règles est subjective ou parce que l'environnement évolue
avec le temps. Deux de ces sujets sont abordés dans cette thèse: la
solidité structurelle d'un système de CEP, et l'adaptabilité des règles
face aux changements environnementaux et aux erreurs de conception.
Tout d'abord, afin d'améliorer la robustesse structurelle, nous voulons
détecter les incohérences dans un ensemble de règles. Nous proposons
donc une structure logique pour la description d'un système basé sur des
évènements qui nous permet de raisonner sur ces systèmes et de prédire
certains comportements à l'avance. Les principaux concepts dans notre
travail sont la détection des évènements sur des intervalles et la
décomposition de règles en sous-buts. Cette méthode permet également de
détecter les incohérences dans les suites de règles et vérifier à
l'exécution si une règle est toujours actionnable. Deuxièmement, nous
traitons de l'adaptabilité du système de règles. Nous présentons une
technique d'apprentissage automatique hybride, combinant un algorithme
de recherche de règles d'associations (ARM) avec de la programmation
logique inductive (ILP), afin de créer un système plus conforme à la
réalité du terrain. Des études empiriques, basées sur des simulations de
scénarios réels, permettent de démontrer comment notre méthode peut
contribuer sur des domaines sensibles tels que la sécurité d'un lieu
public ou semi-publics.
- - - - - - - - - - - - - - -
Bien cordialement,
Christophe
- - - - - - - - - - - - - - -
Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Adaptive complex event processing for critical infrastructure protection"
qui aura lieu le lundi 25 juin à 16h30, au Laboratoire d'Informatique de
Paris 6 (LIP6), Université Pierre et Marie Curie, dans la grande salle
de visioconférence (Bâtiment Atrium, RDC, couloir jaune, porte d'entrée
"2").
Vous y êtes cordialement invités ainsi qu'au pot qui suivra (et qui,
lui, aura lieu dans la salle 25-26-101).
Comment venir à l'UPMC : http://www.lip6.fr/informations/comment.php
puis trouver l'Atrium :
http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.html
Jury :
- Alexander Artikis, Research Associate at the Institute of Informatics
& Telecommunications National Centre for Scientific Research
"Demokritos", rapporteur
- Bernadette Bouchon-Meunier, DR CNRS, UPMC-LIP6
- Anne Laurent, Professeur, LIRMM - université de Montpellier 2
- Christophe Marsala, Maître de Conférences, UPMC-LIP6, directeur de thèse
- Nicolas Museux, Ingénieur de recherche, THALES Research & Technology,
co-encadrant de thèse
- Christel Vrain, Professeur, LIFO - université d'Orléans, rapporteur
Résumé :
Protéger des infrastructures critiques comme des aéroports, des sources
d'énergie des bâtiments administratifs ou des lignes de transport, est
un défi majeur pour les gouvernements et les autorités locales. C'est un
processus difficile impliquant, entre autres, l'identification des biens
à protéger, les cibles possibles et les vulnérabilités de ces biens, la
reconnaissance des menaces potentielles qu'elles impliquent, les
ressources disponibles et le coût de leur déploiement comparé aux
dommages potentiels en cas d'attaque. Le but de ce processus est de
prendre les bonnes décisions en fonction des activités se produisant
dans l'environnement et du contexte local.
Nous proposons d'utiliser une architecture de traitement d'évènements -
basée sur des règles réactives - pour reconnaître les attaques en cours
à partir de la combinaison de différents signaux reçus par le moteur de
règles. Une fois ces signaux traités, une alerte est envoyée au
superviseur du système pour qu'une réaction appropriée soit menée.
Malgré tout, des erreurs de détection peuvent arriver pour diverses
raisons : la source du signal peut être défectueuse; les règles
d'agrégation peuvent être mal structurées ; finalement les règles
peuvent être incorrectes sémantiquement - parce que la connaissance du
concepteur de règles est subjective ou parce que l'environnement évolue
avec le temps. Deux de ces sujets sont abordés dans cette thèse: la
solidité structurelle d'un système de CEP, et l'adaptabilité des règles
face aux changements environnementaux et aux erreurs de conception.
Tout d'abord, afin d'améliorer la robustesse structurelle, nous voulons
détecter les incohérences dans un ensemble de règles. Nous proposons
donc une structure logique pour la description d'un système basé sur des
évènements qui nous permet de raisonner sur ces systèmes et de prédire
certains comportements à l'avance. Les principaux concepts dans notre
travail sont la détection des évènements sur des intervalles et la
décomposition de règles en sous-buts. Cette méthode permet également de
détecter les incohérences dans les suites de règles et vérifier à
l'exécution si une règle est toujours actionnable. Deuxièmement, nous
traitons de l'adaptabilité du système de règles. Nous présentons une
technique d'apprentissage automatique hybride, combinant un algorithme
de recherche de règles d'associations (ARM) avec de la programmation
logique inductive (ILP), afin de créer un système plus conforme à la
réalité du terrain. Des études empiriques, basées sur des simulations de
scénarios réels, permettent de démontrer comment notre méthode peut
contribuer sur des domaines sensibles tels que la sécurité d'un lieu
public ou semi-publics.
- - - - - - - - - - - - - - -
samedi 16 juin 2012
Soutenance de thèse Sheng GAO
Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée «
Latent Factor Models for Link Prediction Problems » le mardi 19 juin, 14
h, au Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et
Marie Curie, Tour 26, couloir 26-00, 1er étage, Salle 105. Vous êtes
cordialement invités ainsi qu'au pot qui suivra.
Comment venir: http://www.lip6.fr/informations/comment.php
==========
Jury
==========
Patrick GALLINARI Professeur, Université Pierre et Marie Curie, Paris,
co-directeur de thèse
Ludovic DENOYER Maître de Conférence, Université Pierre et Marie Curie,
co-directeur de thèse
Eric GAUSSIER Professeur, Université Joseph Fourier, Grenoble, rapporteur
François YVON Professeur, Université Paris-Sud, Paris, rapporteur
Mohamed NADIF Professeur, Université Paris Descartes, Paris, examinateur
Fabrice ROSSI Professeur, Université Paris 1 Panthéon-Sorbonne, examinateur
==========
Title
==========
Latent Factor Models for Link Prediction Problems
==========
Abstract
==========
With the rising of Internet as well as modern social media, relational
data has become ubiquitous, which consists of those kinds of data where
the objects are linked to each other with various relation types.
Accordingly, various relational learning techniques have been studied in a
large variety of applications with relational data, such as recommender
systems, social network analysis, Web mining or bioinformatic. Among a
wide range of tasks encompassed by relational learning, we address the
problem of link prediction in this thesis.
Link prediction has arisen as a fundamental task in relational learning,
which considers to predict the presence or absence of links between
objects in the relational data based on the topological structure of the
network and/or the attributes of objects. However, the complexity and
sparsity of network structure make this a great challenging problem. In
this thesis, we propose solutions to reduce the difficulties in learning
and fit various models into corresponding applications.
Basically, in Chapter 3 we present a unified framework of latent factor
models to address the generic link prediction problem, in which we
specifically discuss various configurations in the models from
computational perspective and probabilistic view. Then, according to the
applications addressed in this dissertation, we propose different latent
factor models for two classes of link prediction problems: (i) structural
link prediction. (ii) temporal link prediction.
In terms of structural link prediction problem, in Chapter 4 we define a
new task called Link Pattern Prediction (LPP) in multi-relational
networks. By introducing a specific latent factor for different relation
types in addition to using latent feature factors to characterize objects,
we develop a computational tensor factorization model, and the
probabilistic version with its Bayesian treatment to reveal the intrinsic
causality of interaction patterns in multi-relational networks. Moreover,
considering the complex structural patterns in relational data, in Chapter
5 we propose a novel model that simultaneously incorporates the effect of
latent feature factors and the impact from the latent cluster structures
in the network, and also develop an optimization transfer algorithm to
facilitate the model learning procedure.
In terms of temporal link prediction problem in time-evolving networks, in
Chapter 6 we propose a unified latent factor model which integrates
multiple information sources in the network, including the global network
structure, the content of objects and the graph proximity information from
the network to capture the time-evolving patterns of links. This joint
model is constructed based on matrix factorization and graph
regularization technique.
Each model proposed in this thesis achieves state-of-the-art performances,
extensive experiments are conducted on real world datasets to demonstrate
their significant improvements over baseline methods. Almost all of them
have been published in international or national peer-reviewed conference
proceedings.
----------
Cordialement,
Sheng GAO
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée «
Latent Factor Models for Link Prediction Problems » le mardi 19 juin, 14
h, au Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et
Marie Curie, Tour 26, couloir 26-00, 1er étage, Salle 105. Vous êtes
cordialement invités ainsi qu'au pot qui suivra.
Comment venir: http://www.lip6.fr/informations/comment.php
==========
Jury
==========
Patrick GALLINARI Professeur, Université Pierre et Marie Curie, Paris,
co-directeur de thèse
Ludovic DENOYER Maître de Conférence, Université Pierre et Marie Curie,
co-directeur de thèse
Eric GAUSSIER Professeur, Université Joseph Fourier, Grenoble, rapporteur
François YVON Professeur, Université Paris-Sud, Paris, rapporteur
Mohamed NADIF Professeur, Université Paris Descartes, Paris, examinateur
Fabrice ROSSI Professeur, Université Paris 1 Panthéon-Sorbonne, examinateur
==========
Title
==========
Latent Factor Models for Link Prediction Problems
==========
Abstract
==========
With the rising of Internet as well as modern social media, relational
data has become ubiquitous, which consists of those kinds of data where
the objects are linked to each other with various relation types.
Accordingly, various relational learning techniques have been studied in a
large variety of applications with relational data, such as recommender
systems, social network analysis, Web mining or bioinformatic. Among a
wide range of tasks encompassed by relational learning, we address the
problem of link prediction in this thesis.
Link prediction has arisen as a fundamental task in relational learning,
which considers to predict the presence or absence of links between
objects in the relational data based on the topological structure of the
network and/or the attributes of objects. However, the complexity and
sparsity of network structure make this a great challenging problem. In
this thesis, we propose solutions to reduce the difficulties in learning
and fit various models into corresponding applications.
Basically, in Chapter 3 we present a unified framework of latent factor
models to address the generic link prediction problem, in which we
specifically discuss various configurations in the models from
computational perspective and probabilistic view. Then, according to the
applications addressed in this dissertation, we propose different latent
factor models for two classes of link prediction problems: (i) structural
link prediction. (ii) temporal link prediction.
In terms of structural link prediction problem, in Chapter 4 we define a
new task called Link Pattern Prediction (LPP) in multi-relational
networks. By introducing a specific latent factor for different relation
types in addition to using latent feature factors to characterize objects,
we develop a computational tensor factorization model, and the
probabilistic version with its Bayesian treatment to reveal the intrinsic
causality of interaction patterns in multi-relational networks. Moreover,
considering the complex structural patterns in relational data, in Chapter
5 we propose a novel model that simultaneously incorporates the effect of
latent feature factors and the impact from the latent cluster structures
in the network, and also develop an optimization transfer algorithm to
facilitate the model learning procedure.
In terms of temporal link prediction problem in time-evolving networks, in
Chapter 6 we propose a unified latent factor model which integrates
multiple information sources in the network, including the global network
structure, the content of objects and the graph proximity information from
the network to capture the time-evolving patterns of links. This joint
model is constructed based on matrix factorization and graph
regularization technique.
Each model proposed in this thesis achieves state-of-the-art performances,
extensive experiments are conducted on real world datasets to demonstrate
their significant improvements over baseline methods. Almost all of them
have been published in international or national peer-reviewed conference
proceedings.
----------
Cordialement,
Sheng GAO
dimanche 10 juin 2012
Soutenance de thèse John Whitbeck
Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Réseaux Mobiles Opportunistes: Visualisation, Modélisation et
Application aux Transferts de Charge"
Elle aura lieu au Laboratoire d'Informatique de Paris 6 (LIP6) à
Jussieu, le lundi 18 juin 2012 à 14h00 en salle 25-16/101 et vous êtes
également chaleureusement conviés au pot qui s'en suivra dans la même salle.
==========
Jury
==========
Le jury sera composé de:
Rapporteurs :
Bertrand Ducourthial, Professeur, UTC
Chadi Barakat, Chargé de recherche, INRIA
Examinateurs :
Patrick Séanc, Professeur, ISAE
Clémence Magnien, Chargée de recherche, CNRS
Encadrants :
Marcelo Amorim, Directeur de recherche, CNRS
Vania Conan, Chercheur, Thales
==========
Résumé
==========
Les appareils communicants sans fil se fondent de plus en plus dans
notre vie quotidienne. Ceux-ci forment de nouveaux réseaux opportunistes
qui permettent à des données de circuler entre des réseaux sans fils
hétérogènes, désorganisés et souvent peu fiables. Partant de nouvelles
techniques d'analyse sur les graphes dynamiques, cette thèse propose et
développe un cas d'application prometteur des réseaux opportunistes: les
transferts de charge entre réseaux.
L'analyse des graphes de connectivité temporels se révèle difficile.
Dans cette thèse, nous développons la notion de mobilité plausible, qui
infère, a partir d'un trace de contacts donnée, une trace de mobilité
compatible. De plus, nous définissons le concept de graphes
d'accessibilité qui indiquent la connectivité spatio-temporelle.
Appliqués aux jeux de données usuels, ils montrent qu'il est impossible
d'atteindre des taux d'acheminement acceptables pour des communications
point-à-point mais que la taille de l'ensemble minimal couvrant tend à
n'être qu'une petite fraction du nombre total de noeuds.
Ainsi, nous montrons comment les réseaux opportunistes peuvent être
utilisés pour transférer de façon significative la charge de trafic dans
des situation où deux technologies radios coexistent, l'une étant
typiquement pervasive, à faible débit et chère, tandis que l'autre est à
portée plus courte mais avec des débits plus élevés et un coût moindre
voire nul. Cette dernière forme le réseau opportuniste que sera utilisé
pour disséminer la majorité du contenu, tandis que la première sert à la
fois de canal de contrôle et canal de secours pour palier aux carences
de connectivité du réseau opportuniste.
==========
Title
==========
Mobile Opportunistic Networks: Visualization, Modeling, and Application
to Data Offloading
==========
Abstract
==========
Wireless communicating devices are everywhere and increasingly blend
into our everyday lives, they form new opportunistic networks that allow
data to flow across often unreliable, unorganized, and heterogeneous
wireless networks. By developing new analysis techniques for temporal
dynamic graphs, this thesis proposes and implements a strong use-case
for opportunistic networks: data offloading.
Analyzing real-life connectivity graphs is difficult. In this thesis, we
develop the plausible mobility approach, which infers, from a given
contact trace, a compatible node mobility. Furthermore, we define
reachability graphs that capture space-time connectivity. When applied
to common contact traces, they show that acceptable delivery ratios for
point-to-point communications are often out of reach, regardless of the
DTN routing protocol, but that the size of the space-time dominating set
tends to be a small fraction of the total number of nodes.
Accordingly, we show how opportunistic networks may be used to
significantly offload broadcast traffic in situations were two radio
technologies coexist, typically a pervasive, low-bitrate, and expensive
radio, alongside a shorter-range, high-bitrate, and cheaper one. The
latter forms the opportunistic network that is used for disseminating
most of the content, whereas the former serves both as a control channel
for monitoring and as a data channel for bridging the connectivity gaps
in the opportunistic network. In this thesis we propose Push-and-Track,
a mobility-agnostic framework that leverages an opportunistic network to
reliably disseminate content to large numbers of mobile nodes, while
minimizing the load on the pervasive radio.
Cordialement,
----------
John Whitbeck
http://www-npa.lip6.fr/~whitbeck/
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Réseaux Mobiles Opportunistes: Visualisation, Modélisation et
Application aux Transferts de Charge"
Elle aura lieu au Laboratoire d'Informatique de Paris 6 (LIP6) à
Jussieu, le lundi 18 juin 2012 à 14h00 en salle 25-16/101 et vous êtes
également chaleureusement conviés au pot qui s'en suivra dans la même salle.
==========
Jury
==========
Le jury sera composé de:
Rapporteurs :
Bertrand Ducourthial, Professeur, UTC
Chadi Barakat, Chargé de recherche, INRIA
Examinateurs :
Patrick Séanc, Professeur, ISAE
Clémence Magnien, Chargée de recherche, CNRS
Encadrants :
Marcelo Amorim, Directeur de recherche, CNRS
Vania Conan, Chercheur, Thales
==========
Résumé
==========
Les appareils communicants sans fil se fondent de plus en plus dans
notre vie quotidienne. Ceux-ci forment de nouveaux réseaux opportunistes
qui permettent à des données de circuler entre des réseaux sans fils
hétérogènes, désorganisés et souvent peu fiables. Partant de nouvelles
techniques d'analyse sur les graphes dynamiques, cette thèse propose et
développe un cas d'application prometteur des réseaux opportunistes: les
transferts de charge entre réseaux.
L'analyse des graphes de connectivité temporels se révèle difficile.
Dans cette thèse, nous développons la notion de mobilité plausible, qui
infère, a partir d'un trace de contacts donnée, une trace de mobilité
compatible. De plus, nous définissons le concept de graphes
d'accessibilité qui indiquent la connectivité spatio-temporelle.
Appliqués aux jeux de données usuels, ils montrent qu'il est impossible
d'atteindre des taux d'acheminement acceptables pour des communications
point-à-point mais que la taille de l'ensemble minimal couvrant tend à
n'être qu'une petite fraction du nombre total de noeuds.
Ainsi, nous montrons comment les réseaux opportunistes peuvent être
utilisés pour transférer de façon significative la charge de trafic dans
des situation où deux technologies radios coexistent, l'une étant
typiquement pervasive, à faible débit et chère, tandis que l'autre est à
portée plus courte mais avec des débits plus élevés et un coût moindre
voire nul. Cette dernière forme le réseau opportuniste que sera utilisé
pour disséminer la majorité du contenu, tandis que la première sert à la
fois de canal de contrôle et canal de secours pour palier aux carences
de connectivité du réseau opportuniste.
==========
Title
==========
Mobile Opportunistic Networks: Visualization, Modeling, and Application
to Data Offloading
==========
Abstract
==========
Wireless communicating devices are everywhere and increasingly blend
into our everyday lives, they form new opportunistic networks that allow
data to flow across often unreliable, unorganized, and heterogeneous
wireless networks. By developing new analysis techniques for temporal
dynamic graphs, this thesis proposes and implements a strong use-case
for opportunistic networks: data offloading.
Analyzing real-life connectivity graphs is difficult. In this thesis, we
develop the plausible mobility approach, which infers, from a given
contact trace, a compatible node mobility. Furthermore, we define
reachability graphs that capture space-time connectivity. When applied
to common contact traces, they show that acceptable delivery ratios for
point-to-point communications are often out of reach, regardless of the
DTN routing protocol, but that the size of the space-time dominating set
tends to be a small fraction of the total number of nodes.
Accordingly, we show how opportunistic networks may be used to
significantly offload broadcast traffic in situations were two radio
technologies coexist, typically a pervasive, low-bitrate, and expensive
radio, alongside a shorter-range, high-bitrate, and cheaper one. The
latter forms the opportunistic network that is used for disseminating
most of the content, whereas the former serves both as a control channel
for monitoring and as a data channel for bridging the connectivity gaps
in the opportunistic network. In this thesis we propose Push-and-Track,
a mobility-agnostic framework that leverages an opportunistic network to
reliably disseminate content to large numbers of mobile nodes, while
minimizing the load on the pervasive radio.
Cordialement,
----------
John Whitbeck
http://www-npa.lip6.fr/~whitbeck/
mardi 8 mai 2012
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
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
vendredi 4 mai 2012
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
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
***************************************************************
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
***************************************************************
Inscription à :
Articles (Atom)