|
|
Colloque Francophone sur l'Ingénierie des Protocoles |
|
ProgrammeLa plaquette du programme de CFIP 2006. 
Le programme social est disponible ! et diverses propositions vous sont faites. La liste n'est pas exhaustive... Les inscriptions se feront à Tozeur, auprès de Fun Travel et de Adel.
Tutoriel I : Réseaux Maillés Sans Fil : Principes, Défis, Solutions et ExpérimentationLuigi Iannone et Marcelo Dias de AmorimLaboratoire dInformatique de Paris 6 (LIP6/CNRS) Université Pierre et Marie Curie Paris VI Méls : {iannone,amorim}@rp.lip6.fr RésuméLa révolution sans fil déclenchée par le succès de la norme IEEE 802.11 a poussé la communauté de recherche dans la conception, lanalyse, le développement, et le déploiement de nouvelles solutions sans fil. En particulier, les Réseaux Maillés Sans fil (Wireless Mesh Networks WMN), dont larchitecture est basée sur les Routeur Sans fil Maillés (Wireless Mesh Routers WMR), ont capturé lintért de la recherche universitaire et de lindustrie, en raison de leur capacité à satisfaire à la fois les exigences des Fournisseurs dAccès à Internet (FAI) sans fil et des utilisateurs.Les réseaux maillés sans fil forment une architecture émergeante à deux niveaux et basée sur la technologie multi sauts. Les WMNs ont deux objectifs principaux : a) offrir la connectivité aux utilisateurs ; b) former un réseau fédérateur sans fil auto organisé (backhaul maillé). Ces deux objectifs rendent les WMNs différents des réseaux ad hoc et des autres réseaux dinfrastructure. Ce tutoriel aura la préoccupation de présenter des aspects à la fois théorique et pratiques concernant le déploiement des réseaux sans fil maillés. Nous allons aborder principalement des aspects liés à lauto-organisation, le routage, ladressage, la localisation et le déploiement. BiographiesLuigi Iannone est actuellement post-doc dans le Laboratoire dInformatique de Paris 6 (LIP6) de lUniversité Pierre et Marie Curie (Paris VI). En 2001 il a obtenu son diplme dingénieur en informatique dans Università agli studi di Pisa en Italie. Il a obtenu son doctorat en informatique dans luniversité Pierre et Marie Curie Paris VI en mars 2006, travaillant sur le routage et la gestion de la mobilité dans les réseaux maillés sans fil. Ses recherches portent principalement sur réseaux sans fil multi sauts.Marcelo Dias de Amorim est chargé de recherche au CNRS dans le Laboratoire dInformatique de Paris 6 de luniversité Pierre et Marie Curie Paris VI. Il a reçu le diplme cum laude en génie électronique en 1996 ainsi que le master of science en génie électrique en 1998, tous les deux de l'université Fédérale de Rio de Janeiro. En 2001, il a obtenu son doctorat en informatique de l'université de Versailles. Il a passé un an comme chercheur du Laboratoire de Recherche en Informatique (LRI) de l'université de Paris Sud. Ses recherches actuelles portent sur lauto-organisation des réseaux spontanés. Tutoriel II : L'approche "détecteur de fautes" pour la tolérance aux fautes dans les systèmes répartis asynchronesMichel RaynalIRISA RésuméLa plupart des applications réparties qui tournent sur des systèmes asynchrones utilisent des services fournis par une couche logicielle sous-jacente (parfois appelée "intergiciel" ou "middleware"). Les primitives offertes par cette couche sont définies par une spécification précise indépendamment de la façon dont elles peuvent tre mises en oeuvre.Le tutoriel se place dans le cadre de la réalisation de ces primitives lorsque le système asynchrone est sujet au crash des sites. Il est centré autour de la notion de "détecteur de fautes", introduite par Chandra and Toueg in 1991 pour formaliser les informations sur les fautes qui ont besoin d'tre connues par les processus (ou sites du réseau) afin que les problèmes fondamentaux tels que le consensus, la diffusion fiable uniforme, la validation atomique, la diffusion atomique puissent tre résolus. Depuis leur article fondateur intitulé "Unreliable failure detectors for reliable distributed systems'' paru en 1996 dans le Journal de l'ACM (Volume 43(2), pages 225-267), ce concept a été très \'etudié, tant en théorie qu'en pratique. Ceci n'est pas étonnant, la difficulté essentielle venant de l'effet combiné produit par les fautes et l'asynchronisme des sites et du réseau sous-jacent. La détection des fautes est ainsi un problème central dans la conception, l'analyse, et la mise en oeuvre d'un grand nombre de protocoles qui sont au coeur des systèmes et applications réparties. La littérature sur ce sujet est essentiellement tr\`es technique (et parfois ... ardue). Jusqu'à e jour elle est apparue principalement dans les journaux et conférences scientifiques (avec un coté théorique marqué). Le but de ce tutoriel est d'offir une présentation synthétique du concept de d\'etecteur de fautes, de ses applications et de ses implémentations dans divers contextes de répartition. Le tutoriel permettra au public d'acquérir une solide connaissance sur la tolérance aux défaillances et les détecteurs de fautes : ce qu'ils sont, ce qu'ils permettent de faire, ce qu'ils ne permettent pas de faire, quand et comment peuvent-ils tre implémentés, etc. L' apophtegme suivant (décliné ici par rapport aux algorithmes et aux protocoles) semble fondamental pour la transmission de connaissances : ``Lorqu'un protocole fonctionne on doit savoir pourquoi il fonctionne. Lorqu'un protocole ne fonctionne pas on doit savoir pourquoi il ne fonctionne pas.'' Le tutoriel aidera le public à rendre vraie cette maxime, lorqu'il est confronté aux problèmes posés par les défaillances dans un contexte de système r\'eparti asynchrone. BiographieMichel Raynal est professeur dinformatique depuis 1981. lIRISA (laboratoire dinformatique commun au CNRS, lINRIA et lUniversité de Rennes), il a fondé en 1983 un groupe de recherche sur lAlgorithmique Répartie. Ses recherches portent notamment sur lalgorithmique répartie, les systèmes informatiques répartis et la sreté de fonctionnement. Son sujet de recherche favori concerne les principes fondamentaux à la base de la conception des systèmes et des applications informatiques répartis. Michel Raynal a été responsable de plusieurs projets de recherche dans ces domaines, et a donné des séminaires invités sur les algorithmes répartis dans de nombreuses universités en Europe, Amérique du Nord, Amérique du Sud, Asie et Afrique. Il est membre du comité éditorial de plusieurs journaux scientifiques internationaux, notamment la revue JPDC.Michel Raynal est un expert mondialment reconnu dans le domaine des algorithmes répartis. Il a publié plus de 95 articles dans des journaux (Journal of the ACM, Acta Informatica, Distributed Computing, Comm. of the ACM, Information and Computation, Journal of Computer and System Sciences, JPDC, IEEE Transactions on Computers, IEEE Transactions on SD, IEEE Transactions on KDE, IEEE Transactions on TPDS, IEEE Transactions on Dependable and Secure Computing), IEEE Computer, IEEE Software, IPL, PPL, Theoretical Computer Science, Real-Time Systems Journal, The Computer Journal, etc.), et plus de 200 articles dans des conférences internationales (ACM STOC, ACM PODC, ACM SPAA, IEEE ICDS, IEEE/IFIP DSN, DISC, IEEE IPDPS, Europar, FST&TCS, IEEE SRDS, etc.). Michel Raynal a écrit 7 livres sur le parallélisme, lalgorithmique répartie et les systèmes répartis (MIT Press et Wiley). Il a participé aux comités de programme de plus de 80 congrès internationaux (dont ACM PODC, DISC, ICDCS, DSN, SRDS, etc.) et a présidé les comités de programme ou l'organisation de plus de 20 congrès internationaux (dont DISC deux fois, et IEEE ICDCS). Il a été président du comité de pilotage des congrès DISC. Michel Raynal a reçu le prix de la meilleure communication au congrès IEEE ICDCS pendant trois années consécutives : 1999, 2000 et 2001.
Exoposé d'ouverture |
Programme