dimanche 29 novembre 2009

Soutenance de Thèse de Xavier Renault

Bonjour à tous,


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

"Mise en oeuvre de notations standardisées, formelles et semi-
formelles dans un processus de développement de systèmes embarqués
temps-réel répartis."

La soutenance se déroulera le 3 décembre 2009, à 14h dans les locaux
du LIP6 :

salle 549
104 avenue du Président Kennedy
75016 Paris

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

Pour les visiteurs extérieurs au LIP6, veuillez penser à vous munir
d'une pièce d'identité.

Résumé :

Dans un processus d'ingénierie dirigée par les modèles (IDM),
l'ingénieur modélise son système à l'aide d'une notation semi-
formelle, le valide puis l'implante. L'étape de validation est
cruciale pour les systèmes temps-réel répartis et embarqués (TR2E),
pour s'assurer de leur bon fonctionnement logique ou temporel.
Cependant, une démarche IDM n'est pas suffisante car elle n'indique
pas comment utiliser les modèles pour faire des analyses. Il est
nécessaire d'adopter une démarche d'Ingénierie Dirigée par les
Vérifications et les Validations (IDV2) pour s'assurer que le système
est correctement construit, et qu'il satisfait un ensemble de
propriétés spécifiées en amont dans le processus de développement.

Cette thèse propose un processus de développement, de validation et de
vérification basé sur des notations formelles, et dédié aux
applications TR2E. Le langage AADL (Architecture Analysis and Design
Language) est utilisé comme notation pivot. Le processus proposé prend
en compte les aspects comportementaux de l'application et les aspects
architecturaux de l'exécutif. Il repose sur des notations
standardisées, pour faire face aux problèmes d'interopérabilités des
outils mis en oeuvre.

Notre démarche permet d'obtenir des retours aussi bien à propos de
l'applicatif que de l'exécutif, et permet de corriger ou modifier les
modèles dans un processus de développement itératif. Au cours de
notre démarche, nous transformons les spécifications AADL vers
différentes notations standardisées : les réseaux de Petri pour la
validation de l'applicatif, la notation Z pour la vérification de
l'exécutif utilisé, PolyORB.

Jury :

Laurence Duchien Rapporteur Professeur à l'Université de Lille 1
Michel Lemoine Rapporteur Directeur de recherche à l'ONERA CMP

Béatrice Bérard Examinateur Professeur à l'Université Pierre et
Marie Curie
Peter Feiler Examinateur Senior Technical Staff - Carnegie Mellon
University, SEI
Laure Petrucci Examinateur Professeur à l'Université de Paris 13

Jérôme Hugues Encadrant Maître de Conférences à l'ISAE
Fabrice Kordon Directeur Professeur à l'Université Pierre et Marie
Curie

--
Xavier Renault
LIP6

mardi 24 novembre 2009

Soutenance de thèse de Corina IOVAN

Bonjour,

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

«Détection et caractérisation de la végétation en milieu urbain à partir
d'images aériennes haute résolution»

ainsi qu'au pot qui suivra. La soutenance aura lieu le lundi 30 novembre à
14h30 dans la salle Robert Génot de l'Institut Géographique National, à
Saint-Mandé.

Plan d'accès :

Institut Géographique National,
2-4 avenue Pasteur,
94165 Saint-Mandé
Métro ligne 1, Station Saint-Mandé

http://maps.google.fr/maps/ms?ie=UTF8&hl=fr&msa=0&msid=114865627586456036069.000479214ee2ec27f11f1&t=h&z=18

La thèse sera soutenue devant le jury composé de :

Mme. Nicole VINCENT, Professeur à l'Université Paris Descartes (Paris 5)
(Rapporteur)
Mme. Josiane ZERUBIA, Directrice de Recherche à INRIA Sophia Antipolis
(Rapporteur)
Mr. Patrick GALLINARI, Professeur à l'Université Pierre et Marie Curie
(Paris 6) (Examinateur)
Mr. Michel ROUX, Maître de Conférences à Télécom ParisTech(Examinateur)
Mr. Matthieu Cord, Professeur à l'Université Pierre et Marie
Curie(Directeur de thèse)
Mr. Didier BOLDO, Chargé de Recherches à l'Institut Géographique National
(Encadrant)


=========
Résumé
=========

La modélisation 3D des zones urbaines est un enjeu actuel important pour
de nombreuses applications liées à l'aménagement du territoire,
l'urbanisme ou la gestion de l'environnement. Un large éventail de
méthodes de traitement automatique d'images aériennes a été proposé depuis
plusieurs années pour la reconstruction 3D d'environnements urbains. Ces
approches sont aussi nombreuses que variées, tant en ce qui concerne le
type de données utilisées que sur le plan du degré d'automatisation des
méthodes. Cependant, la plupart des modélisations se limitent aux objets
créés par l'homme (bâti, route...). Or la végétation est également très
importante pour la compréhension des zones urbaines. Les modèles urbains
3D peuvent être améliorés par l'intégration de la végétation, avec une
description précise de la disposition des arbres et des espèces.

Cette thèse présente une chaine d'analyse d'images aériennes couleur et
infrarouge pour la détection et la caractérisation de la végétation en vue
de la modélisation 3D des milieux urbains.

Le premier module de ce système a pour fonction de détecter les zones de
végétation. L'approche adoptée repose sur une méthode de classification
supervisée utilisant les Séparateurs à Vaste Marge (SVM) que nous
comparons aux approches traditionnelles de télédétection. Les modules
suivants ont pour but de caractériser ces zones de végétation. La
séparation en végétation haute (arbre) et végétation basse (pelouse) est
réalisé par une analyse de la texture du modèle numérique de surface
(MNS). Ensuite, une étape d'extraction des houppiers faisant intervenir un
algorithme de croissance de régions intégrant des caractéristiques
géométriques d'arbres est présentée. Des paramètres morphologiques (la
hauteur, le diamètre de la couronne, la localisation du tronc des arbres)
sont estimés pour chaque houppier. Les différentes espèces d'arbres sont
ensuite déterminées par un système de classification supervisée. Dans ce
domaine, nous avons étudié l'apport des caractéristiques radiométriques,
de texture, ainsi que de leur fusion. L'ensemble des informations
extraites par ce système (paramètres morphologiques, type de végétation et
espèce) est utilisé pour enrichir un modèle 3D urbain avec des modèles de
végétation réalistes.

Cordialement,
Corina IOVAN

Invitation à la soutenance de thèse de Daniel FERNANDES MACEDO

Bonjour,

C'est avec le plus grand plaisir que je vous invite à ma soutenance de
thèse intitulée « Self-Configuration of Multi-Hop Wireless Networks »
ainsi qu'au pot qui suivra.

La soutenance se déroulera le 18 Décembre 2009 à 10h30, au LIP6 salle 550
- 5ème étage (Site Passy-Kennedy)
Le pot se déroulera en salle 549 - 5ème étage (Site Passy-Kennedy)


========
Accès
========

LIP6 : 104 avenue du Président Kennedy, 75016 Paris.
Plan d'accès : http://www.lip6.fr/informations/comment.php
IMPORTANT: Pour les visiteurs il faut demander un badge à l'accueil. Il
est nécessaire une pièce d'identité.

=========
Abstract
=========

This thesis was developed in the context of wireless multi-hop networks.
Those networks work by packet forwarding over wireless links (also called
hops). Due to the very high dynamics of the environment,
self-configuration approaches are used within the network protocols. In
those approaches, the parameters of applications and protocols are
automatically adjusted whenever a change in the environment occurs. Thus,
in this thesis we propose a new approach for the sharing of
self-configuration and cross-layering information, as well as two
self-configuration algorithms. The first algorithm improves routing on
wireless links having a dynamic data rate and transmission power. We
present an analytical model to support the results of our routing
extensions. The second algorithm that we propose uses control theory and
fuzzy logic to adapt the query mechanism of a peer-to-peer file sharing
application according to the load experienced on the network.

=========
Résumé
=========

Cette thèse s'insère dans le contexte des réseaux sans fil à multi-sauts.
De tels réseaux se communiquent par des liens hertziens par le relayage de
paquets (les sauts). La très haute dynamique dans cet environnement force
l'utilisation des approches d'auto-configuration, c'est-à-dire des
approches où les paramètres des terminaux sont adaptés automatiquement
face aux changements de l'environnement. Nous proposons ainsi une nouvelle
approche de partage d'informations d'auto-configuration et de cross-layer,
basée sur le concept du plan de d'information, ainsi que deux algorithmes
de auto-configuration qui les utilisent. Nous commençons la thèse avec
l'architecture et l'évaluation du logiciel du plan d'information. Ensuite
nous présentons et évaluons les deux algorithmes d'auto-configuration
proposés. Le premier algorithme améliore le routage en prenant en compte
la bande passante et la puissance de transmission des liens sans fil
hertziens. Nous présentons un modèle mathématique pour ce problème comme
support à notre proposition. Le deuxième algorithme utilise la théorie de
contrôle et la logique floue pour adapter le mécanisme d'enquêtes d'une
application pair à pair à la charge du réseau.

========
Jury
========

- M. Khaldoun AL AGHA, Professeur à l'Université d'Orsay (Rapporteur)
- M. André-Luc Beylot, Professeur à l'ENSEEIHT (Rapporteur)
- M. Mario GERLA, Professeur à l'Université de Californie, Los Angeles
(Examinateur)
- M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie
(Examinateur)
- M. José M. NOGUEIRA, Professeur à l'Université Fédérale de Minas Gerais
(Co-encadrant)
- M. Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie
(Directeur de thèse)

Cordialement,


Daniel FERNANDES MACEDO

--
Daniel Fernandes Macedo
Daniel.Macedo@rp.lip6.fr

PhD student
Université Pierre et Marie Curie
Laboratoire d'Informatique Paris VI
http://www-rp.lip6.fr/~macedo

vendredi 20 novembre 2009

Invitation à la soutenance de thèse de Michael Mathias BOC (Lundi) [23 novembre 2009 à 14h, au LiP6, salle 847]

Bonjour,
 
C'est avec le plus grand plaisir que je vous invite à ma soutenance de
thèse intitulée :
"Utilisation de profils de mobilité dans la gestion des services réseaux /
Profile of mobility: user-centric networking". Ainsi qu'au pot qui suivra.
 
La soutenance se déroulera le :

Lundi 23 Novembre 2009 à 14h00, au LIP6 salle 847 - 8ème étage (Site
Passy-Kennedy)

Le pot se déroulera en salle 552 - 5ème étage (Site Passy-Kennedy)  

 
========
Accès
========
LIP6 : 104 avenue du Président Kennedy, 75016 Paris.
Plan d'accès : http://www.lip6.fr/informations/comment.php
 
[IMPORTANT] Demander un badge visiteur à l'accueil et prévoir une pièce
d'identité.
 
 
=========
Résumé
=========

Il existe une très forte demande pour des réseaux sans-fils qui pourraient
s'établir de manière spontanée et dont la gestion serait transparente pour
leurs utilisateurs. Dans ces réseaux, tous les nœuds potentiellement
mobiles, participent à la structure de la topologie et au support des
communications. A ce jour, les services réseaux tels que la gestion de la
localisation et l'acheminement des données, fonctionnent en surcouche de
la topologie et n'intègrent pas intrinsèquement la mobilité des nœuds. Ces
services nécessitent des mécanismes de reprise sur erreur pour gérer cette
mobilité. Ces mécanismes garantissent une bonne fiabilité mais génèrent un
surcoût important en termes de signalisation. Dans cette thèse, nous nous
intéressons à la conception de nouveaux services réseaux qui utiliseraient
les informations de mobilité pour mieux fonctionner. Nous proposons, pour
ce faire, que les nœuds génèrent leur propre profil de mobilité et de les
intégrer au fonctionnement des services réseaux.

Afin de générer des profils pertinents, la première contribution de cette
thèse porte sur une analyse détaillée des mouvements routiniers de vrais
utilisateurs dans des contextes variés : mouvements de taxis, utilisateurs
Wi-Fi dans une métropole et dans un campus. De part ces analyses, nous
développons deux types de profils de mobilité qui reposent sur la forte
périodicité et persistance des comportements observés. Le premier, appelé
"agenda de positions" est basé sur la prédiction de la mobilité spatiale
et le second, "agenda de contacts" sur la prédiction des liens sans fils
qui seront susceptibles d'être créés entre des nœuds voisins. La
construction de ces agendas repose sur des algorithmes que nous avons
développés pour extraire des "patterns" de mobilité clairs, à partir de
traces brutes observées dans différents contextes.

Notre seconde contribution, appelée "Otiy", est un service de localisation
pour des réseaux sans-fils maillés. Un service de localisation basic
définit un ou plusieurs serveurs qui collectent la position de tous les
nœuds, quelque soit leur distance avec ces serveurs, et en informe ensuite
les nœuds sources qui en font la demande. Dans Otiy, les nœuds possèdent
un agenda de positions qui détermine à l'avance le ou les routeurs proches
d'eux qui seront le mieux à même de jouer le rôle de serveurs de mise à
jour de position. Grâce à la persistance des prédictions, très peu de
signalisation est nécessaire pour permettre aux autres nœuds de connaître
le(s) routeur(s) qui gèreront la position du nœud destination. La
proximité des serveurs permet par ailleurs de réduire la propagation des
messages de signalisation.

Notre troisième contribution, appelée "Price", est un service
d'acheminement de données pour des réseaux connectés de façon
intermittente. Price se base sur le fait que la position d'un nœud peut
être définie à la fois par sa mobilité géographique et par les nœuds avec
lesquels il est régulièrement en contact. Notre approche est donc une
combinaison de ces deux aspects qui se retrouve dans les agendas de
positions et de contacts. Le résultat est un service qui ne génère pas ou
très peu de signalisation pour un taux de livraison de données
particulièrement élevé. Nous montrons également que l'efficacité de Price
peut être due à un phénomène de petit monde qui existerait au niveau des
contacts mais aussi de la mobilité géographique.
 
=========
Mots-Clés : Mobilité, profils de mobilité, gestion de la localisation,
réseaux maillés sans-fil, réseaux tolérant aux déconnexions, routage.
=========
 
=========
Abstract
=========

There is a growing expectation for less expensive and self-organizing
types of mobile networks. In such networks, communications are operated
over wireless links and all nodes serve the topology and support the
communications. Network services such as location management and
forwarding are commonly built as an overlay upon the topology, which
change with nodes mobility. To assure continuity of services in an
evolving environment, they integrate fallback and mobility control
mechanisms. These mechanisms provide high reliability but results in an
important extra overhead, which limit scalability of this kind of
networks. In this thesis, we explore the design of network services that
will integrate the notion of nodes mobility in order to reduce the cost of
the extra overhead. With that purpose, we propose that each node generate
profiles of mobility their own mobility behavior and integrate directly
this knowledge into network services operations.

In order to generate pertinent profiles, our first contribution is a
thorough analysis of nodes mobility patterns reproducibility in various
contexts: movements of taxicabs, Wi-Fi users in a metropolitan city and in
a campus. Through these analyses, we develop two types of mobility
profiles, which rely on high periodicity and persistency of observed
patterns. The first profile called "agenda of positions" relies on spatial
mobility predictions and the second, "agenda of contacts", on the
predictions wireless links that would be established between nearby nodes.
The design of both agendas relies on algorithms that we developed to
extract meaningful mobility patterns and to improve predictions
reliability.

The second contribution called "Otiy", is a location management service
for wireless mesh networks. Typically, a location management service is
composed by one or several servers, which collect all nodes positions to
make them available to any request. If the server(s) are far from the
mobile node, position updates transmissions cost increase. In Otiy, the
nodes with their agendas of positions define beforehand the mesh routers
topologically close that would act as server(s) to potentially reduce the
extra overhead. The persistence of predictions reliability allows reducing
greatly the required overhead to make other nodes aware of the list of
mesh routers that will manage destination nodes positions.

The third contribution called "Price", is a forwarding scheme for
intermittently connected networks (ICMN, DTN, etc.). Price relies on the
principle that a node position can be defined in the same time by its
geographic mobility pattern and according to its acquaintances. Our
forwarding approach is a combination of these two aspects for which
agendas of positions and contacts provide enough information. The result
is a greedy forwarding service that generate very low overhead for
important delivery rate. We show that Price's efficiency could be due to
the "small world" effect that exists between nodes but also according to
their geographic patterns.
 
=========
Keywords: Mobility, profile of mobility, location management, wireless
mesh networks, disruption tolerant networks, routing.
=========
 
 
========
Jury
========
- Bertrand DUCOURTHIAL, Maître de conférences à l'Université Technologique
de Compiègne (Rapporteur)
- Fabrice VALOIS, Professeur à l'INSA de lyon(Rapporteur)

- Vania CONAN, Chercheur à Thales Communication (Examinateur)
- Tristan HENDERSON, Lecturer at the University of St Andrews, Scotland
(Examinateur)
- Pierre SENS, Professeur à l'Université Pierre et Marie Curie (Examinateur)

- Serge FDIDA, Professeur à l'Université Pierre et Marie Curie (Directeur
de thèse)
- Anne FLADENMULLER, Maître de conférences à l'Université Pierre et Marie
Curie (Encadrante)
 
 
Cordialement,


Mathias BOC
-------------------------------------
Michael, Mathias BOC - Doctorant
Université Pierre et Marie Curie, LiP6
104, Av. du Président Kennedy, 75016 Paris, France
Bureau 724

jeudi 12 novembre 2009

Invitation à la soutenance de thèse de Badis Tebbani (Demain) [13 Novembre 2009 à 14h30, au LIP6, salle 549]

Bonjour,

 

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

"Gestion des réseaux basée sur les contrats De niveau de service -SLA- -Application dans un environnement sans fil-"

 

La soutenance se déroulera le :

 

==========

Vendredi 13 Novembre 2009 à 14h30, au LIP6 salle 549 - 5ème étage (Site Passy-Kennedy)

==========

 

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

 

========

Accès

========

LIP6 : 104 avenue du Président Kennedy, 75016 Paris.

Plan d'accès : http://www.lip6.fr/informations/comment.php

 

Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.

 

 

=========

Résumé

=========

 

Le paradigme de la gestion des réseaux basée sur les contrats de niveau de service (Service Level Agreement, SLA) vise à ce que les détails techniques des configurations des équipements réseaux soient dynamiquement dictés et découlés en provenance des contrats de niveau de service et des objectifs de haut niveau, et ensuite contrôlés d'une façon qui permette d'atteindre et de maintenir ces objectifs de haut niveau. Plusieurs conditions sont nécessaires afin de réaliser une telle  approche de gestion. Celles-ci incluent d'une part la capacité de modéliser et de spécifier formellement les contrats de niveau de service et les objectifs de haut niveau, et de les mapper en des politiques de bas niveau jusqu'à atteindre les détails techniques des configurations des équipements, et d'autre part d'avoir des boucles de supervision pour contrôler le fonctionnement des équipements et s'assurer que le comportement du système correspond toujours aux objectifs initiaux de haut niveau.

 

Dans cette thèse, nous proposons d’abord un langage de spécification pour représenter les contrats de niveau de services SLA. Ensuite, nous proposons un mapping adaptatif des politiques de niveau système en configurations des équipements réseaux et des outils de contrôle et de supervision afin de pouvoir s'adapter en cas de changements de l'environnement, et d'optimiser l'utilisation des ressources du réseau. Enfin, nous proposons une mise en pratique de l'ensemble des paradigmes de la gestion des réseaux basée sur les contrats de niveau de service et les objectifs de haut niveau, à travers un cas d'utilisation réel. Nous appliquons notre architecture de gestion de la QoS basée sur les sessions utilisateurs SQoSMA, qui intègre tous les éléments de la spécification des SLAs et des politiques, afin de garantir la qualité des services VoWLANs (Voice over WLANs). Afin d'évaluer les performances de notre solution, nous procédons à une implantation complète de notre architecture SQoSMA et les éléments qui la composent. L'évaluation des performances de notre architecture démontre non seulement la faisabilité de notre solution, mais également le gain qu'elle apporte.

 

=========

Mots-Clés : Spécification des SLAs et des politiques, contrôle et supervision de la QoS, mapping des paramètres de la QoS,VoWLANs.

=========

 

=========

Abstract

=========

 

This thesis contributes to the SLA-based network management approach at different levels. First, a language for specification of the service level agreement (SLA) is proposed, which offers friendly-interfaces to model and specify the SLA and the high-level objectives, as well as a formal and comprehensible notation for target network equipments in order to configure them suitably. Then an adaptive mapping mechanism which translates system-level policies into equipment-specific configurations is proposed, with control and monitoring tools that enable adaptability against the environment changes. Finally, an actual put into practice of all the concepts related to the SLA-based network management is realised through a real use case.

 

We apply our session-based quality-of-service management architecture (SQoSMA) which integrates all the elements of the specification of SLAs and the policies, to guarantee the quality of the Voice over WLANs (VoWLANs) services. We propose and integrate two techniques in our architecture which do not require any modification of the MAC (Media Access Control) layer, in order to overcome the VoWLANs services issues, which are the low number of VoIP calls in the IEEE 802.11 Wireless LANs, and the negative effect of the new call addition when the WLAN reaches its maximum capacity. In order to measure the performance of our solution, a complete test-bed was implemented; it included all architecture 'SQoSMA' elements, VoIP tools, Resource Management (RM), SIP and integration components. Performance evaluation demonstrates the feasibility of our solution, and the benefit in terms of the number of assured VoIP sessions. Another important result is that the choice of the VoIP sessions targeted by control actions, which represents a high-level objective, is completely configurable. Although explained with 802.11b, the proposed scheme can be applied to any 802.11 network that needs to assure a number of VoIP calls within the given bandwidth allocation.

 

=========

Keywords :  Service Level Agreement and Policy Specification, QoS monitoring and control, QoS parameters mapping, VoWLANs.

=========

 

 

========

Jury

========

- Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie (Directeur de thèse)

- Ahmed KARMOUCH, Professeur à l'université d'Ottawa, Canada (Rapporteur)

- Pascal LORENZ, Professeur à l'université  de Haute-Alsace (Rapporteur)

- Prosper CHEMOUIL, Directeur de recherche, Orange Labs, France Telecom (Examinateur)

- Ahmed  MEHAOUA, Professeur à l'université de Paris-René Descartes (Examinateur)

- Pierre SENS, Professeur à l'Université Pierre et Marie Curie (Examinateur)

 

 

Cordialement,

 

Badis Tebbani

 

 

_____________________________________
 
Badis Tebbani 
Doctorant
Université Pierre et Marie Curie, LIP6
104 Av. Président Kennedy, 75016 Paris, France
Bureau 801 
Tel : 01 44 27 88 43 
Fax : 01 44 27 87 83
Page Perso : http://rp.lip6.fr/~tebbani/
_____________________________________