Marie-Emilie Voge

Marie-Emilie Voge
Post Doctorante - INRIA Lille Nord-Europe
Equipe Projet POPS
IRCICA/LIFL, Univ. Lille 1, CNRS UMR 8022, INRIA Lille Nord-Europe
IRCICA - POPS
Parc scientifique de la haute borne
50, avenue Halley
59650 Villeneuve d’Ascq
Tél : 03 62 53 15 61
Mail : [email protected]
Table des matières
Résumé . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Formation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Activités pédagogiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Activités de recherches . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Publications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Résumé
Curriculum Vitæ
Fonctions actuelles
Post Doctorante INRIA, Equipe Projet POPS
Titres et Diplômes
Doctorat en sciences, mention informatique, directeur : Jean-Claude Bermond,
projet MASCOTTE I3S(CNRS/UNSA)/INRIA
DEA Recherche Opérationnelle et Optimisation Combinatoire, Grenoble
Ingénieur en Télécommunications, INP Grenoble
Licence de Mathématiques, Université Joseph Fourier, Grenoble
Enseignement : 301 h. eq. TD
IUT A, Université des Sciences et Technologies de Lille
2007 - 2008 vacations : responsabilité cours, TD, TP : 34 h. eq. TD
Département Informatique, Université de Nice Sophia Antipolis
2006 - 2007 1/2 ATER : TD, TP : 98 h. eq. TD
2003 - 2005 vacations : TP : 93 h. eq. TD
IUT, Université de Nice - Sophia Antipolis
2004 - 2006 vacations : cours-TD : 76 h. eq. TD
Recherche
Contexte technologique
Réseaux de télécom, IP/MPLS/WDM, Wireless Mesh Networks
Groupes de risque
Domaine théorique
Collaborations
Publications
Algorithmique, Programmation Linéaire
Complexité / Approximabilité
Optimisation Combinatoire
Théorie des Graphes
ARC CARMA : capacité des réseaux radio maillés
ACI Sécurité Informatique PRESTO : avec le LIMOS et l’ENST
CRC CORSO : avec France Télécom R& D
1 revue internationale avec comité de lecture
4 conférences internationales avec comité de lecture et actes
3 conférences nationales avec comité de lecture et actes
Formation
Curriculum vitæ
Marie-Emilie VOGE
Mail : [email protected]
Née le 21 Mars 1980 à Valence (26)
Nationalité française
Célibataire sans enfant
Cursus Universitaire
2003 - 2006
2002 - 2003
2000 - 2003
2001 - 2002
1998 - 2000
1997 - 1998
Doctorat en informatique. U NIVERSITÉ DE N ICE -S OPHIA A NTIPOLIS , ÉQUIPE
I 3 S ( UNSA - CNRS )- INRIA M ASCOTTE .
Titre : Optimisation des réseaux de télécommunications : Réseaux multiniveaux,
Tolérance aux pannes et Surveillance du trafic
Thèse soutenue le 17 novembre 2006 à Sophia Antipolis, Mention Très Honorable.
Président du jury
: Michel Cosnard
Directeur de thèse : Jean-Claude Bermond
Rapporteurs
: Claudia Linhares-Sales
: Jean-Claude König
: Philippe Mahey
Examinateurs
: Myriam Preissmann
: David Coudert
DEA, G RENOBLE .
Recherche Opérationnelle et Optimisation Combinatoire, Mention Bien
Stage au laboratoire Leibniz (Grenoble) sous la direction de M. Burlet et A. Laugier
Ingénieur en Télécommunications, INP G RENOBLE .
Mention Bien
Licence de Mathématiques, U NIVERSITÉ J OSEPH F OURIER , G RENOBLE .
Classe préparatoire, VALENCE , LYCÉE C AMILLE V ERNET .
Baccalauréat Scientifique, VALENCE .
Spécialité Mathématiques, Mention Bien
Langage de programmation
Java, C, Ada, Tcl/Tk, scheme, Pascal, assembleur
Expérience professionnelle
2006 - 2007
2003
2002
2001
1/2 ATER AU DÉPT INFO , UFR S CIENCES , U NIV. N ICE - S OPHIA A NTIPOLIS .
ACET ÉQUIPE I 3 S ( UNSA - CNRS )- INRIA M ASCOTTE .
S TAGE DEA ET INGÉNIEUR .
Directeurs : M. Burlet et A. Laugier, Laboratoire Leibniz, Grenoble
Conception de réseaux SDH en anneaux de coût minimum, 4 mois
S TAGE 2e ANNÉE INGÉNIEUR , A LCATEL S PACE I NDUSTRY, VALENCE .
Outils de test pour logiciels embarqués, étude et développement, 3 mois
S TAGE 1ere ANNÉE INGÉNIEUR , F RANCE T ÉLÉCOM C ÂBLE AVIGNON .
Conception et extension d’un réseau câblé, 1 mois
Activités pédagogiques
Au cours de mon doctorat, j’ai effectué des vacations aux Départements Informatique de l’UFR Sciences
ainsi que de l’IUT de l’Université de Nice - Sophia Antipolis. J’ai ensuite effectué un demi-service d’ATER
à l’UFR Sciences de l’Université de Nice - Sophia Antipolis au Département Informatique.
Au cours de ces enseignements j’ai eu l’occasion de participer à la rédaction de sujets et de corrections
de TP/TD ou d’examen, de corriger des examens mais aussi de préparer quelques cours magistraux.
Ce semestre je suis responsable du module ASR 1 (Architecture des Ordinateurs) en première année de
DUT Informatique à l’IUT A de l’Université Lille 1.
Intitulé
Année
Architecture (68000)
07-08
Programmation (Java)
06-07
Programmation (Pascal)
03-04
06-07
Algorithmique et Calcul Formel
Algorithmique et
04-05
Informatique Théorique
06-07
Compilation
03-04
Utilisation Unix
06-07
Programmation linéaire et
04-05
Optimisation Combinatoire
05-06
Sous Totaux
Total
Effectifs
45
15
2×15
30
2×15
2×15
2×15
2×15
40
2×20
Niveaux bac +
1
2
3
X
X
X
X
-
X
-
X
-
X
-
-
-
X
Volume horaire eq. TD
C-TD TD
TP
10
16
8
16
21
18
32
32
40
32
25
51
86
74
141
301
Ces expériences m’ont donné l’opportunité d’expérimenter différentes situations d’enseignements : TD,
TP et cours impliquant un type de travail spécifique et un nombre d’étudiants donné, mais aussi à des groupes
d’étudiants variés par leurs objectifs, leurs motivations, leurs attentes et leurs attitudes.
J’ai pu constater ces différences non seulement entre les étudiants de l’UFR Sciences et les étudiants
en formation professionnelle (IUT et école d’ingénieur où j’ai effectué un remplacement pour un TP en
système), mais aussi entre deux filières universitaires et entre les trois niveaux de licence.
IUT A, Universié des Sciences et Technologie de Lille, Vacations
2007–2008
Architecture des Ordinateurs - ASR1
Cours, TD et TP
. 34h. eq. TD, 45 étudiants en Cours, 20 en TD
. DUT Informatique 1
. Codages binaire, notion de circuits logiques, processeur et programmation en assembleur 68000
. Responsable, page du cours : http ://www2.lifl.fr/ voge/ASR1/cours.html
. Responsable :
UFR Science, Université de Nice - Sophia Antipolis, Demi-service d’ATER
2006–2007
Introduction à la programmation (Java)
. 16h. eq. TD, 15 étudiants
. Licence Mathématiques - Informatique 1
. Base de l’algorithmique et de la programmation objet
. Préparation de sujets et corrections d’examens
. Responsable : Frédéric Mallet ([email protected])
TP
Algorithmique et informatique théorique
TP de type TD
. 32h. eq. TD
. Licence Mathématiques Appliquées et Sciences Sociales 2
. Ensembles et ordres, automates, notions de base d’algorithmique, preuve formelle d’algorithmes,
complexité d’un algorithme
. Correction d’examens, rédaction des corrigés des feuilles de TP disponibles à l’adresse :
http ://www.i3s.unice.fr/∼verel/TEACHING/ait-MASS2/cours.html#plan
. Responsable : Sébastien Verel ([email protected])
Algorithmique et calcul formel
TD
. 18h. eq. TD
. Licence Mathématiques Appliquées et Sciences Sociales 1
. Bases de l’algorithmique
. Correction d’examens, rédaction des corrigés des feuilles de TD disponibles à l’adresse :
http ://www.i3s.unice.fr/∼verel/TEACHING/acf-MASS1/cours.html#plan
. Responsable : Sébastien Verel ([email protected])
Algorithmique et calcul formel
Cours
. 1h30 - remplacement
. Licence Mathématiques Appliquées et Sciences Sociales 1
. Algorithmes récursifs
. Préparation du cours, support disponible à l’adresse :
http ://www.i3s.unice.fr/∼verel/TEACHING/acf-MASS1/cours.html#plan
. Responsable : Sébastien Verel ([email protected])
Systèmes informatiques
TP
. 32h. eq. TD
. Licence Mathématiques - Informatique 1
. Notions de fichiers, répertoires, réseaux, adresses, protocoles, courrier, shell, Emacs, outils de
bureau et outils graphiques
. Participation à la révision des sujets de TP et la rédaction des sujets d’examens
. Responsable : Olivier Lecarme ([email protected])
IUT, Université de Nice - Sophia Antipolis, Vacations
2004–2006
Introduction à la programmation linéaire et à l’optimisation combinatoire
Cours-TD
. 76h. eq. TD, 40 + 2×20 étudiants
. Licence Professionnelle des Systèmes Informatiques et Logiciels (LPSIL)
. Modélisation de problèmes d’optimisation par la programmation linéaire, algorithme du simplexe, dualité, utilisation de lpsolve
. Participation au support de cours, préparation et correction d’examens
. Responsable : Michel Syska ([email protected])
UFR Sciences, Université de Nice - Sophia Antipolis, Vacations
2003–2004
Compilation
TD sur machine
. 40h. eq. TD,2×15 étudiants
. Licence Informatique 3
. Utilisation de Flex et Bison pour la programmation d’un compilateur, automates, analyses lexicale et syntaxique
. Responsable : Olivier Lecarme ([email protected])
Introduction à la programmation (Pascal)
TP
. 21h. eq. TD, 2×15 étudiants
. DEUG Mathématiques-Informatique 1
. Notions de base d’algorithmique et de structure de données, complexité d’un algorithme, notions
de base du langage Pascal et de programmation
. Préparation d’un sujet de TP
. Responsable : Olivier Lecarme ([email protected])
2004–2005
Algorithmique et informatique théorique
TP de type TD
. 32h. eq. TD, 2×15 étudiants
. Licence Mathématiques Appliquées et Sciences Sociales 2
. Ensembles et ordres, automates, notions de base d’algorithmique, preuve formelle d’algorithmes,
complexité d’un algorithme
. Proposition d’exercices, correction d’examens et de devoirs à la maison
. Responsable : Philippe Audebaud ([email protected])
Activités de Recherches
1
Domaine : Algorithmique, Optimisation et Complexité
J’étudie deux aspects complémentaires des problèmes d’optimisation. L’un consiste à trouver des méthodes de résolution : algorithmes exacts, approchés ou heuristiques, formulation en programmes linéaires
mixtes (MILP). L’autre concerne l’existence et les limites théoriques de ces méthodes de résolution : les
propriétés de compléxité et d’approximabilité des problèmes.
2
2.1
Travaux de Thèse & ATER
Contexte technologique : Réseaux de télécommunication
Pour des raisons historiques, les réseaux de télécommunication sont composés d’un empilement de niveaux technologiques assurant chacun des fonctions spécifiques rendant la gestion du réseau très complexe.
Les technologies récentes permettent de simplifier cet empilement et de converger vers un modèle
IP / WDM dans lequel l’architecture MPLS (Multi Protocol Label Switching), ou son extension GMPLS (Generalized-MPLS ), est de plus en plus employée. C’est ce modèle restreint à deux niveaux que je considère. Ces
réseaux multiniveaux comportent donc un niveau physique (ou inférieur) et un seul niveau virtuel (ou supérieur) dont les liens sont des routes pré-établies du niveau physique et sur lequel est routé un ensemble de
requêtes provenant des utilisateurs du réseau.
Dans ces réseaux nous étudions des problèmes d’optimisation indépendants des choix protocolaires et
prennant pour hypothèse uniquement les grands principes du routage et de l’acheminement des données. Par
conséquent, nos travaux pourraient s’appliquer à d’autres réseaux présentant des caractéristiques semblables
pour l’acheminement, comme les réseaux de transport de voyageurs ou de marchandises.
2.2
Surveillance du trafic
La surveillance du trafic est un outil important pour un opérateur qui lui permet à la fois de connaître
et de gérer son réseau. Mesurer le trafic posséde en effet de nombreuses applications importantes, dont
la détection des pannes qui est une étape incontournable à la mise en place de solutions de secours. Il
existe deux méthodes de surveillance complémentaires, la surveillance passive et la surveillance active.
La surveillance passive permet entre autres de mesurer les volumes des trafics de différents types, ce qui
permet un dimensionnement correcte des ressources de secours à réserver. La surveillance active intervient
directement dans la détection de panne et permet également de mesurer les performances du réseau du
point de vue des utilisateurs. La surveillance du trafic, qu’elle soit active ou passive, nécessite l’installation
d’équipements spécifiques dans le réseau. Ces équipements étant assez coûteux, il n’est pas envisageable
pour un opérateur d’en installer sur chaque lien physique pour la surveillance passive ou sur chaque nœud
pour la surveillance active.
Minimiser le nombre d’instruments de mesure à installer et déterminer leurs emplacements constituent
donc des enjeux économiques importants pour un opérateur. J’ai étudié avec C. Chaudet and E. Fleury and
I. Guérin-Lassous et H. Rivano les problèmes de placement des équipements pour la surveillance aussi bien
active que passive du trafic [7, 3]. Nous avons montré que le problème du placement d’appareils de mesures
passives était équivalent au problème classique Minimum Partial Cover. Nous avons également proposé
une formulation en MILP améliorant celles de la littérature. De plus pour les mesures actives, nous avons
amélioré l’algorithme de placement de la littérature.
2.3
Groupage
La conception du niveau virtuel d’un réseau multiniveaux est un problème complexe au cœur duquel
se trouve le problème du groupage. Le groupage consiste d’une manière générale à agréger plusieurs flux
empruntant une route commune dans le réseau physique en un flux de plus haut débit ou tube. Les flux ne
peuvant entrer/être extraits d’un tube qu’à ses extrémités, les tubes constituent un niveau virtuel du réseau.
J’ai étudié un problème particulier de groupage avec S. Petat [8]. Le réseau physique que nous considérons est un chemin orienté de capacité infinie. Tous les tubes sont de même capacité, ou facteur de groupage.
Notre objectif est de définir un ensemble de tubes minimum permettant de router un ensemble de requêtes
unitaires et simples quelconque.
Malgré ces hypothèses restrictives, le groupage reste difficile. Nous avons donc proposé deux heuristiques dont nous avons comparé les performances aux solutions optimales fournies par une formulation en
MILP du problème. Étant donné que pour des instances de taille moyenne les temps de calcul des solveurs
sont déjà de l’ordre de plusieurs heures, nous avons étudié les propriétés d’ensembles de requêtes pour lesquels un groupage optimal est connu. Ces graphes de requêtes nous permettrons de tester les heuristiques
sur des instances de grande taille et de confirmer la qualité des heuristiques.
2.4
Tolérance aux pannes
L’existence d’un réseau virtuel implique l’existence de groupes de risque, c’est à dire un ensemble de
ressources affectées simultanément par une panne. En effet, chaque ressource physique est à l’origine d’un
groupe de risque contenant tous les liens virtuels routés sur cette ressource. Si elle tombe en panne, tous les
liens virtuels du groupe associé sont coupés simultanément : ils sont soumis au même risque de panne. Je
me suis donc intéressée avec D. Coudert, P. Datta, S. Pérennes et H. Rivano aux problèmes de routage et de
tolérance aux pannes dans un réseau virtuel en présence de groupes de risque.
Nous avons adopté la modélisation des réseaux multiniveaux par des graphes colorés. Un graphe coloré
est un graphe représentant le niveau virtuel d’un réseau multiniveaux. L’ensemble des arêtes est partitionné
en couleurs représentant les groupes de risque. Deux arêtes de la même couleur correspondent à deux liens
virtuels appartenant au même groupe.
Dans les graphes colorés nous étudions des problèmes fondamentaux liés à la connexité (existence
d’ensembles de chemins particuliers, arbre) du réseau représenté ainsi qu’à sa vulnérabilité aux pannes
(coupes). La mesure n’est plus le nombre d’arêtes utilisées comme dans les graphes classiques, mais le
nombre de couleurs.
Avec cette nouvelle mesure, les problèmes classiques polynomiaux deviennent difficiles et mal approximables. De plus, nous avons montré que les relations essentielles qui constituent les éléments de base des
méthodes de résolution de nombreuses questions de tolérance aux pannes dans les réseaux à un niveau, ne
sont plus vraies dans les graphes colorés. C’est le cas de la relation flot max-coupe min par exemple.
Nous avons mis en évidence un paramètre incontournable de la complexité des problèmes de trouver
un st-chemin ou une st-coupe utilisant un nombre minimum de couleurs : le span, c’est le nombre de
composantes connexes induites par les arêtes d’une couleur donnée. En effet, lorsque les couleurs sont
de span borné par une constante k, ces deux problèmes sont approximables à un facteur k près et non
approximables à un facteur k ε pour une constante ε > 0 particulière. Pour k = 1 ces problèmes sont
polynomiaux alors qu’en l’absence d’hypothèses sur le span ils sont difficiles à approximer à un facteur
1−δ
1
3
|C| 2
1
avec δ = (log log |C| 2 )−ε et |C| est le nombre de couleur, pour tout ε < 1/2 sauf si P = N P .
En revanche, le span ne semble avoir aucune influence (ou peu) sur les problèmes de chemins couleurdisjoints et d’arbre couvrant coloré minimum. Si le problème de l’arbre possède les mêmes propriétés que
Minimum Set Cover, nous avons montré que trouver un nombre maximum de chemins couleur-disjoints
1
n’est pas approximable à un facteur O(n 4 −ε ) pour tout ε > 0 sauf si P = N P .
Suite au constat de l’importance du span pour certains problèmes, la question de la transformation
d’un réseau multiniveaux en graphe coloré prend tout son intérêt. En effet, de cette transformation dépend
dans une certaine mesure le span des couleurs, et donc la complexité des problèmes précédents. Nous avons
montré que décider si un réseau peut être transformé en un graphe coloré de span maximum 1 est polynomial
mais qu’il est NP-difficile de maximiser le nombre de couleurs de span 1.
Après avoir étudié les problèmes fondamentaux dans les graphes colorés, nous avons abordé la question
pratique du routage d’un ensemble de requêtes dans un réseau en présence de groupes de risque avec D.
Coudert, F. Huc et F. Peix. Contrairement aux autres travaux sur ce sujet nous avons pris en compte des
contraintes de capacité, notre objectif étant la minimisation de la combinaison convexe du coût traditionnel
linéaire du routage et du nombre moyen de risques auxquels sont soumis les chemins empruntés. Nous avons
proposé des preuves d’inapproximabilités pour ce problème dans les cas ou le chemin le moins coloré est
polynomial, montrant que la difficulté réside dans la combinaison des coûts linéaires et non linéaires dus
aux groupes de risque. Nous avons ensuite évalué les performances de la technique de génération de colonne
pour résoudre des instances issues de la littérature.
Ces travaux sur les graphes colorés ont fait l’objet de plusieurs publications [2, 5, 9, 6, 4].
2log
Travaux de Post-Doctorat
Mon sujet de post doctorat porte sur la capacité des réseaux radio maillés dans le cadre de l’ARC
INRIA CARMA qui regroupe les équipes ARES ( INSA Lyon- INRIA Rhône Alpes), Drakkar ( LIG UMR 5217),
MASCOTTE ( I 3 S ( CNRS - UNSA )- INRIA Sophia Antipolis) et POPS dont je fais partie.
3.1
Context technologique : Réseaux Radio Maillés
Les réseaux radio maillés (WMN pour Wireless Mesh Network), composés d’une infrastructure fixe
de routeurs sans fils, apparaissent de plus en plus comme une alternative aux réseaux filaires classiques.
Ils sont en effet moins coûteux et plus rapides à mettre en oeuvre car ils ne nécessitent pas (ou peu) de
travaux de génie civil pour installer des kilomètres de fibre optique. La technologie WiMax déjà utilisée
depuis quelques années a ainsi amené l’Internet haut débit dans des secteurs ruraux où une installation
filaire n’était pas économiquement envisageable.
Dans les zones urbaines également, les réseaux radios vont prendre une importance considérable avec
l’avènement de l’informatique ubiquitaire. Accessibles de partout à travers une multitude d’applications, ils
devront être en mesure de véhiculer de plus en plus de données de types aussi variés que vidéo, son, voix
etc. Disposer de réseaux radio performants est donc une condition sine qua none au développement à long
terme de toutes ces nouvelles applications.
Les performances d’un réseau radio peuvent se mesurer à travers la notion de capacité définie comme
étant la quantité maximale de trafic que peut écouler une topologie. La capacité est connue pour décroître
lorsque le nombre de nœuds du réseau croît, principalement à cause des interférences produites par les
transmissions radio.
La limitation des interférences est donc un axe de recherche important pour l’évolution et la pérénnité
des réseaux radio maillés, que ce soit au niveau matériel (antennes directionnelles, codes ou fréquences
orthogonaux), ou au niveau protocolaire comme dans 802.11 par l’écoute du canal ou comme dans 802.16
en mode mesh où une station de base autorise les accès au canal.
3.2
Influence des acquittements sur la capacité
Dans le cadre de l’ARC INRIA CARMA, nous avons étudié avec C. Molle (Doctorante MASCOTTE)
l’influence de la présence d’aquittements au niveau MAC sur la capacité d’un réseau radio maillé.
Ce travail se base sur le problème connu dans la littérature sous le nom de round weighting où chaque
sous-ensemble de communications n’interfèrant pas entre elles, i.e. round, reçoit un temps d’activation,
l’objectif étant de minimiser la somme des temps d’activation des rounds. En régime permanent, on obtient
un ordonnancement périodique des communications permettant le routage de requêtes dans le réseau.
Une première formulation de ce problème a été étudiée par C. Molle, avec un modèle d’interférences
symétriques prenant en compte les acquittements au niveau de la couche MAC du réseau. L’objectif de notre
travail est l’évaluation du gain en capacité induit par la suppression de ces acquittements et leur report au
niveau transport par rapport à cette première formulation.
Nous avons donc comparé les solutions obtenues par génération de colonne pour les deux modèles. Les
résultats ont montrés que sur des topologies régulières (grilles) le gain allait de 20 à 50%, alors que dans des
topologies aléatoires il était le plus souvent inférieur à 20%. Nous avons aussi mis en évidence une meilleure
répartition de la charge entre les routeurs dans le modèle sans acquittements au niveau MAC.
Ce travail a été soumis à Algotel 2008 [11].
4
4.1
Travaux en cours
Couche MAC moléculaire
Pour limiter les interférences dans un réseau radio maillé, une solution proposée dans la littérature
est d’établir une topologie de communication moléculaire au niveau MAC. Les nœuds sont partitionnés en
noyaux et éléctrons et un canal de communication est attribué à chaque noyaux. Les communications peuvent
avoir lieux uniquement entre un noyaux et un éléctron et à l’initiative seule de l’éléctron. Un noyaux (resp.
éléctron) peut communiquer avec tous les éléctrons (resp. noyaux) à sa portée. Naturellement les cannaux
utilisés par des noyaux ayant des éléctrons communs doivent être distincts. Le problème sous-jacent est
connu dans la littérature sous le nom de Weakly Connected Dominating Set.
L’objectif que nous nous sommes fixé avec N. Mitton (POPS), F. Theoleyre (Drakkar LIG) et C. Gomes
(MASCOTTE) est de proposer un algorithme distribué auto-stabilisant permettant d’établir une telle topologie dans un réseau plus efficacement que les algorithmes existants déjà dans la littérature. Nous souhaitons
valider nos propositions d’une part par une étude analytique de leurs fonctionnement, d’autre part par des
simulations à l’aide de WSNet.
4.2
Ensembles indépendants sommet-colorés
Je m’intéresse à l’approximation des problèmes d’ensembles indépendants dans les graphes sommetcolorés que m’a présenté J. Monnot (LAMSADE Paris Dauphine) et pour lesquels il a déjà obtenus des
résultats. En particulier il a montré que le problème Minimum Labeled Independant Dominating Set (MinLIDS) consistant à trouver un ensemble independant maximal utilisant un nombre minimum de couleur est
aussi difficile à approximer dans les arbres que le problème Minimum Set Cover.
Nous travaillons sur l’approximation du problème MinLIDS dans les arbres à partir de l’algorithme
d’approximation glouton connu pour Minimum Set Cover, dans un premier temps lorsque le nombre de
sommets d’une même couleur est borné par une constante r.
4.3
Graphes colorés : cas polynomiaux
Nous poursuivons avec D. Coudert et S. Perennes (MASCOTTE) notre travail sur les graphes colorés par
la rédaction d’un article sur le thème des cas polynomiaux et des transformations de réseaux multiniveaux en
graphes colorés. Nous envisageons le soumettre à IEEE Transaction on Networking avant la fin de l’année.
4.4
Problème du Round Weighting
J’ai commencé à travailler sur l’approximation par un algorithme combinatoire du problème du Round
Weighting évoqué en section 3.2. N. Morales et S. Perennes ont montré que ce problème était ρ-approximable
pour une classe d’instance donnée dès lors que le Maximum Independant Set était lui aussi ρ-approximable
pour cette classe. Cette preuve utilise un résultat de C. Jansen basé sur la méthode de l’ellipsoide mais n’offre
pas d’algorithme simple à mettre en oeuvre résolvant directement le problème primal. Mes recherches sur
ce sujet sont pour le moment guidées par le travail de S. Plotkin, D. Shmoys et E. Tardos sur les problèmes
de packing et covering déjà appliqué avec succès à des problèmes de multiflot dans la littérature.
5
Collaborations
• Collaboration en cours dans le cadre de l’ARC INRIA CARMA1 avec C. Molle et C. Gomes (MASCOTTE
I 3 S ( CNRS - UNSA )- INRIA Sophia Antipolis), F. Theoleyre (Drakkar LIG ) et F. Valois ( ARES INSA LyonINRIA Rhône Alpes) autour des réseaux radio maillés et du simulateur WSN et.
• Début de collaboration avec Jérôme Monnot (LAMSADE Paris Dauphine) sur les problèmes d’ensembles
indépendants dans les graphes sommet-colorés depuis décembre 2007.
• Début de collaboration avec Benoît Darties, Sylvain Durand et Jérôme Palaysi (APR LIRMM). Lors de ma
visite au LIRMM (novembre 2007) nous avons évoqué plusieurs problèmes d’optimisation des réseaux radio.
• Collaboration avec Philippe Mahey, Brunot Bachelet et Jérôme Truffot du LIMOS de Clermont-Ferrand,
ainsi que Yannick Bréhon de l’ENST dans le cadre de l’ACI Sécurité Informatique PRESTO2 traitant de la
tolérance aux pannes des réseaux multiniveaux. Cette collaboration a permis l’élaboration d’un modèle de
réseaux multiniveaux à partir duquel nous avons pu aborder la tolérance aux pannes. Au cours de cette
collaboration, j’ai également participé à la rédaction des compte-rendus de réunion.
• Collaboration avec Alexandre Laugier de France Télécom R&D dans le cadre du Contrat de Recherche
Collaborative CORSO3 entre l’INRIA et France Télécom. Nous avons étudier des problèmes liés au routage et
à la conception de réseaux virtuels dans les réseaux multiniveaux, ce qui nous a amené à rencontrer Michel
Burlet au laboratoire Leibniz (Grenoble) en février 2004.
1
http ://golgoth.inria.fr/wiki/Contrats/ARCINRIACARMA
http ://www-sop.inria.fr/mascotte/PRESTO/
3
http ://perso.rd.francetelecom.fr/galtier/corso/
2
Participation à des écoles, séminaires et conférences
– IEEE ICTON/COST 293 GRAAL : conférence annuelle sur les graphes et algorithmes dans les
réseaux, juin 2006, Nottingham.
– Roadef, février 2005, Tours.
– AlgoTel (Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications), en
2005 et 2006.
– ÉcoTel (École d’hiver des télécommunications de Sophia Antipolis), décembre 2004, Tunisie.
– WASC First Bertinoro Workshop on Algorithms for Scheduling and Communication, juin 2004,
Bertinoro, Italie.
– JDIR 2008 : 9e Journées Doctorales en Informatique et Réseaux, janvier 2008, Villeneuve d’Ascq.
– Deuxième Journée Optimisation des Réseaux du GDR RO, octobre 2007, Paris.
– Réunions de l’ACI Sécurité Informatique P RESTO, novembre 2003, octobre 2004, mars 2005, septembre 2006.
– Réunions ResCom GDR ASR CNRS, printemps 2006 Lille.
– Réunions TAROT (Techniques Algorithmiques, Réseaux et d’Optimisation pour les Télécommunications), automne 2004, Lyon.
– Séminaire d’Optimisation de France Télécom R&D, printemps 2004, Sophia Antipolis.
– Premières journées de l’ACI Sécurité Informatique, décembre 2003, Rennes.
Communications orales
– IEEE ICTON/COST 293 GRAAL : How to transform a multilayer network into a colored graph
[6].
– Algotel, mai 2006 : Graphes Colorés - Arbre Couvrant Coloré [9].
– Algotel, mai 2005 : Groupage sur un chemin orienté [8].
– Algotel, mai 2005 : Surveillance passive dans l’Internet [7].
–
–
–
–
–
–
–
–
–
–
–
Réunion ResCom GDR ASR CNRS, printemps 2008, Marne-la-Vallée.
Séminaire au LRI, Paris, mars 2007.
Réunion ResCom GDR ASR CNRS, printemps 2007, Paris.
Réunions de l’ACI Sécurité Informatique P RESTO, septembre 2006, INRIA Sophia Antipolis.
Séminaire au LIRMM, Montpellier, avril 2006.
Séminaire au LIFO, Orléans, avril 2006.
Séminaire au laboratoire Leibniz, Grenoble, mars 2006.
Réunion ResCom GDR ASR CNRS, automne 2005, Nice.
Réunion TAROT, printemps 2005, Paris.
Réunion de l’ACI Sécurité Informatique P RESTO, octobre 2004, LIMOS Clermont Ferrand.
Plusieurs interventions dans le séminaire du projet MASCOTTE.
Charges collectives
– 40 de l’INRIA, décembre 2007, Lille : participation à la présentation RFID et super marché du futur.
– Fête de la science, octobre 2007, Villeneuve d’Ascq : participation à la présentation des démonstrations Réseaux de capteurs et RFID et super marché du futur.
– AEOLUS Workshop on Scheduling, Nice, 8-9 mars 2007 : participation à l’organisation.
– ACI Sécurité Informatique PRESTO : participation à la rédaction des compte rendus de réunion.
Liste de Publications
Thèse
[1]
M.-E. Voge. Optimisation des réseaux de télécommunication : Réseaux multiniveaux, Tolérance aux pannes et
Surveillance du trafic. PhD thesis, Ecole doctorale STIC, Université de Nice-Sophia Antipolis, novembre 2006.
Revues internationales avec comité de lecture
[2]
D. Coudert, P. Datta, S. Pérennes, H. Rivano, and M-E. Voge. Shared risk resource group : Complexity and
approximability issues. Parallel Processing Letters, 2006. To appear.
Conférences internationales avec comité de lecture et actes
[3]
[4]
[5]
[6]
C. Chaudet, E. Fleury, I. Guérin-Lassous, H. Rivano, and M.-E. Voge. Optimal positioning of active and passive
monitoring devices. In CoNEXT 2005, Toulouse, France, October 2005.
D. Coudert, F. Huc, F. Peix, and M-E. Voge. On minimizing the average reliability of connections in multilayer
networks under shared risk groups and costs constraints. In IEEE International Conference on Communications
2008 (ICC’08), May 2008.
D. Coudert, S. Perennes, H. Rivano, and M-E. Voge. Shared risk resource groups and survivability in multilayer
networks. In IEEE-LEOS ICTON / COST 293 GRAAL, volume 3, pages 235–238, June 2006. Invited Paper.
M.-E. Voge. How to transform a multilayer network into a colored graph. In IEEE-LEOS ICTON / COST 293
GRAAL, volume 3, pages 116–119, June 2006.
Conférences nationales avec comité de lecture et actes
[7]
[8]
[9]
C. Chaudet, E. Fleury, I. Guérin-Lassous, H. Rivano, and M.-E. Voge. Surveillance passive dans l’internet.
In Septièmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel’05),
pages 121–124, Presqu’île de Giens, May 2005.
S. Petat and M.-E. Voge. Groupage sur un chemin orienté. In Septièmes Rencontres Francophones sur les
Aspects Algorithmiques des Télécommunications (AlgoTel’05), pages 21–24, Presqu’île de Giens, May 2005.
M.-E. Voge. Graphes colorés - arbre couvrant coloré. In Huitièmes Rencontres Francophones sur les Aspects
Algorithmiques des Télécommunications (AlgoTel’06), pages 41–44, Trégastel, May 2006.
Rapports de recherche récents
[10] D. Coudert, S. Perennes, H. Rivano, and M-E. Voge. Shared risk resource groups and colored graph : Polynomial
cases and transformation issues. Technical Report inria-00175143, HAL, September 2007.
Soumission
[11] C. Molle and M-E.Voge. Influence des acquittements sur la capacité des réseaux radio maillés. soumis à Algotel
2008.
Les auteurs sont indiqués par ordre alphabétique.
Tous ces documents sont accessibles par la page : http://www.lifl.fr/~voge.