DESCRIPTIF DES UNITES D`ENSEIGNEMENT - dept

DESCRIPTIF DES UNITES D’ENSEIGNEMENT
délocalisées au Vietnam
Ce document est issu de la demande d’autorisation rédigée par le PUF (Pôles Universitaires
Français) pour les autorités Vietnamiennes. Les UE dont les responsables viennent de l’Université
Paris 6 sont habilitées dans le Master Informatique spécialité Réseau de Paris 6.
Tous ces enseignements ont lieu en Anglais, avec pour 6 ECTS 20h de cours et 20 de TD. Les
modalités de contrôle sont celles de l’UE correspondante dans le Master.
1) Architecture des réseaux (ARES) :
Responsable : Olivier Fourmaux MCF Université Paris 6
L'UE RES s'inscrit dans la continuité de l'UE "Introduction aux réseaux" (Réseau) de Licence. Elle a
pour but de détailler le fonctionnement d'un réseau global tel que l'Internet et d'étudier les
architectures sur lesquelles ce dernier repose. Cette UE aborde les technologies actuellement
utilisées et prépare aux évolutions telles que IPv6, la QoS ou la mobilité traitées dans les UE
"Internet nouvelle génération"(ING) et "Mobilité" (MOB).
Dans un premier temps cette UE s'intéresse aux applications de base réclamées par les
utilisateurs. Puis, le modèle, l'architecture et les protocoles fondamentaux du monde TCP/IP seront
détaillés en insistant particulièrement sur les mécanismes de contrôle de bout-en-bout, d'adressage
sans classe et de routage hiérarchique actuellement mis en œuvre. Finalement quatre architectures
supports (Ethernet, ATM, MPLS et PPP) seront étudiées avant de conclure sur une présentation
des technologies d'accès résidentielles.
Bibliographie
• Computer Networks, 4éme édition, de Andrew S. TANENBAUM (chez Prentice Hall)
• Computer Networking, 2nd édition, de James F. KUROSE et Keith W. ROSS (chez Longman
Paul)
• Internetworking with TCP/IP, 4ème édition, de Douglas COMER (chez Prentice Hall)
• High Speed Networks and Internets, 2nd édition, de William STALLINGS(chez Prentice Hall)
Programme
• Introduction
• Applications réseau
• Couche transport
• Couche réseau
• Analyse de traces TCP 2 : contrôle de congestion
• Routage
• Architectures supports - Ethernet
• Architectures supports - ATM et MPLS
• Architectures supports - Point-à-point
• Boucle locale
1
2) Réseaux de télécommunications (RTEL) :
Responsable : Guy Pujolle, PR Université Paris 6
Ce module a pour objectif de présenter les bases nécessaires pour bien comprendre les réseaux de
télécommunications. Ces réseaux sont issus du réseau téléphonique et de l'application téléphonique
et ils utilisent de la signalisation pour mettre en place un chemin. L'objectif de ce cours est donc la
succession de réseaux issus de ces technologies.
Les différentes générations de réseaux téléphoniques depuis le réseau téléphonique commuté et de
sa signalisation CCITT n 7 jusqu'aux réseaux pour la téléphonie IP et sa signalisation SIP. Les
réseaux d'accès du monde télécom: interface RNIS, ADSL et BLR. Les réseaux de signalisation
(dans la bande et hors bande) et les signalisations dans le monde IP. Les réseaux Relais de trames
ATM et MPLS. Les applications isochrones de téléphonie et de vidéo.
Bibliographie
• Cours Réseaux et Telecom, Guy Pujolle, Eyrolles
3) Internet nouvelle génération (ING) :
Responsable : Bénédicte Le Grand, MCF Université Paris 6
Ce module fait un tour d'horizon des éléments clés de la transition actuelle de l'Internet et présente
les mécanismes proposés pour les nouvelles applications reposant entre autres sur le multicast et la
qualité de service. Le problème de la sécurité des réseaux est également abordé.
• Nouvelles applications / nouveaux besoins
• sécurité
• communication de groupe (multicast)
• IPv6
• routage et ingénierie de trafic
• architectures de qualité de service
Bibliographie
• "Computer Networking a Top Down Approach Featuring the Internet" - third edition - Kurose ,
Ross
Contenu indicatif par semaine
• Nouvelles applications, nouveaux besoins
• Sécurité des réseaux (1)
• Sécurité des réseaux (2)
• Multicast - protocole IGMP (1)
• Multicast - protocoles de routage (2)
• Protocole IPv6
• Fonctionnalités avancées de TCP-IP (Cours et TME assurés par Pascal Anelli, de l'Université
de La Réunion)
• Ingénierie de trafic (Cours et TME assurés par Pascal Anelli, de l'Université de La Réunion)
• Architectures de qualité de service
• Routage inter-AS
2
4) Internet mobile et ambiant (MOB) :
Responsable : Anne Fladenmuller, MCF Université Paris 6
L'objectif de ce module est de présenter en quoi la mobilité des utilisateurs ou des terminaux affecte
les communications informatiques, au travers de l'étude de diverses technologies de transmissions
sans fils existantes ainsi que des mécanismes d'accès au support et problèmes de sécurité des
solutions. Seront mis en évidence les problèmes de routage qui en découlent, les solutions
existantes ainsi que l'impact de la mobilité sur les applications. D'autre part, ce module abordera le
domaine de l'Internet ambiant, c'est-à-dire de l'Internet accessible de partout, tout le temps et à haut
débit.
Influence des transmissions sans fils sur la qualité de la liaison Techniques d'accès au support pour
les réseaux sans fils avec l'étude des normes existantes (IEEE 802_11, Hiperlan, Bluetooth) Etude
de la sécurité dans les WLAN Impacts de la mobilité sur le routage et le transfert de bout en bout
L'Internet ambiant : définition et caractéristiques Réseau de coeur , convergence fixe mobile,
réseaux d'accès, techniques de contrôle Gestion du nomadisme et de la qualité de service.
Bibliographie
• "Mobile Communications" 2nd Edition Jochen Schiller Addison-Wesley
• "Mobile IP: Design Principles and Practices" Charles E. Perkins, Prentice Hall PTR
• "Réseaux de mobiles et réseaux sans fil" De Khaldoun Al Agha, Guy Pujolle et Guillaume
Vivier, Eyrolles
Contenu indicatif par semaine
• Introduction sur les réseaux ambiants et les technologies sans fil. Convergence fixe mobile.
• Influence du sans fils sur la qualité de la liaison.
• Techniques d'accès au support pour les réseaux sans fils
• Etude des normes existantes (IEEE 802_11)
• Etude des normes existantes (Bluetooth, Hiperlan)
• Etude de la sécurité dans les WLAN
• Impacts de la mobilité sur les mécanismes d'adressage
• Impacts de la mobilité sur les protocoles de routage
• Impact de la mobilité sur les protocoles de transport
• Impact de la mobilité sur les applications
5) Projet (PROJ) :
Encadrés par un enseignant chercheur, les étudiants travaillent en groupe sur une réalisation pratique
à finalité académique ou professionnelle selon le parcours choisi.
1) Algorithmique Avancée (AA) :
Responsable : Anne Dicky, MCF Université Bordeaux 1
Algorithmique des mots (recherche de facteurs, sous-mots maximaux)
Algorithmique des graphes, application aux problèmes de routage et dissémination de l’information.
Théorie de la calculabilité. Fonctions calculables, fonction universelle, diagonalisation, indécidabilité
du problème de l’arrêt, etc. Modèles de calcul : machines de Turing, lambda-calcul, thèse de Church.
Complexité : classes de complexité P e tNP, exemples de problèmes de la classe NP, réduction
polynomiale et notion de NP-complétude, théorème de Cook-Levin, classe de complexité PSPACE
3
2) Programmation Objet (POA) :
Responsable : Olivier Baudon, MCF Université Bordeaux 1
Cette UE devra être illustrée à l’aide d un langage objet, tel que C++ ou Java.
Notions de base de la programmation objet : types, classes, instanciation, héritage, délégation, ...
Bonnes pratiques de programmation : lisibilité, modularité, réutilisabilité...
API classiques : conteneurs, entrées/sorties, système, IHM ...
Exceptions
Modèles de conception : MVC, itérateur, décorateur, ...
3) Théorie des langages & logique (TLL) :
Responsable : Bruno Courcelle, PR Université Bordeaux 1
Langages rationnels Automates finis, déterminisation, complétude.
Reconnaissabilité, éléments de théorie des monoïdes
Eléments de logique. Logique Propositionnelle. Logique du premier ordre. Théorèmes de Gödel.
Liens automates/logique du second-ordre monadique.
4) Compilation (COMP) :
Responsable : Olivier Ly, MCF Université Bordeaux 1
Automates à Piles et langages algébriques
Analyse lexicale et syntaxique, Grammaires attribuées
Arbres de syntaxe abstraits
Outils pour la compilation (lex, yacc ...)
Architecture d’un compilateur, code intermédiaire, optimisation de code
5) Architecture logicielle (AL) :
Responsable : Olivier Baudon, MCF Université Bordeaux 1
Le but de cet enseignement est la maîtrise de la conception d’architectures logicielles, basées sur le
paradigme de la programmation objet. Nous mettons l’accent en particulier sur la réutilisabilité et
l’extensibilité. Après un rappel des différents concepts de la programmation objet et de la notation
UML (Unifed Modeling Language), le cours passe en revue les principaux modèles de conception
réutilisables (Design Pattern) qui sont expérimentés lors de séances de travaux pratiques.
4
6) Génie Logiciel et conduite de projets (GLCP) :
Responsable : Jea-Philippe Domenger, Université Bordeaux 1
Cet enseignement est divisé en deux parties : Cours et Projet. La partie Cours porte sur les
méthodes Agiles : XP, RUP. La conduite de projet sur XP est présentée complètement. A travers la
présentation de cette méthode, les grands thèmes du Génie Logiciel sont abordés de manière
générale et comparés avec la méthode XP :
- Analyse des Besoins,
- Cahier des charges,
- Planning,
- Gestion des ressources,
- QualitéduCode,
- Architecture Logicielle,
- Test,
- Taches et Roles dans le développement.
Ensuite la méthode RUP est présentée globalement et comparée avec la méthode XP. La conduite
de projet avec XP est bien adaptée à la réalisation d’un projet dans le cadre académique et elle
permet de balayer l’ensemble des parties de la conduite de projet.
Le « Projet » en même temps que les cours : les étudiants par groupe de 5 développent un projet en
utilisant la méthode XP. Ce projet est la mise en pratique immédiate des concepts présentés dans le
cours. Chaque semaine, une réunion de travail d une heure est prévu avec un enseignant qui tient
le rôle de coach au sens XP. Le rôle de chaque étudiant change à chaque itération.
A chaque itération, c’est à dire en moyenne tous les 15 jours, les étudiants rendent un document qui
est un rapport sur le rôle qu’ils ont tenu durant cette itération. Il précise leur intervention par rapport
au projet et à la conduite XP.
7) Conception Formelle (CF) :
Responsable : Alain Griffault, MCF Université Bordeaux 1
Langages logiques pour la spécification et la démonstration formelle (logique du premier ordre,
logiques temporelles, logiques de Hoare, etc)
Vérification statique (JML, Esc/Java)
Introduction au model-checking (système SMV).
Introduction à la méthode B
Assistant de preuve d’ordre supérieur (Coq).
Méthodologie de développement de logiciels critiques.
8) Techniques Avancée de programmation (TAP) :
Responsable : Philippe Narbel, MCF Université Bordeaux 1
Introduction et maîtrise du langage OCaml: langage fonctionnel, modulaire et objet.
Techniques de programmation fonctionnelle:
- Généralisations.
- Programmation orientée par les données (data-driven programming).
- Représentation de données par des fonctions.
- Contrôle de l'évaluation et paresse.
- Programmation par passage de continuations (continuation passing style).
5
8) Bases de données avancées (BDA) :
Responsable : Christian Rétoré, PR Université Bordeaux 1
Les SGBD sont construits en se fondant sur le principe d’abstraction de données à trois niveaux
(externe, logique et physique). Nous mettrons en évidence le lien existant entre les performances
d’un SGBD et les choix d’implémentation des différents algorithmes utilisés (gestion de la
concurrence, reprise sur panne, transaction…). De plus, les différentes implémentations des
opérations de base des Bases de Données comme les jointures ou les tris sont détaillées ainsi que
leurs conditions d’utilisation.
La gestion d’entrepôts de données et les différents processus d’extraction de connaissance seront
détaillées pour se familiariser avec ces domaines émergeants en montrant les compromis entre
utilisation mémoire et temps de traitement.
9) Technologies logicielles avancées (TLA) :
Responsable : Olivier Baudon, MCF Université Bordeaux 1
Il s’agit d’une UE dans laquelle les étudiants, par groupe, étudient un sujet lié à la programmation,
par exemple un nouveau concept de programmation, un outil récent (Atelier ou Bibliothèque), et
présentent le résultat de leur étude qui devra comporter une mise en œuvre.
Cette étude pourra être accompagnée par un cycle de conférences.
10) Serveur d'application (SA) :
Responsable : Jean-Philippe Domenger, MCF, Université Bordeaux 1
Il s'agit d'aborder les concepts et outils liés à la réalisation de logiciels répartis (technologies J2EE ou
.net par exemple) et les modèles de conception (design patterns) adaptés à ce type de logiciels.
11) Projet de synthèse :
Synthèse pratique autour d'un projet en groupe.
Les groupes seront formés de 2 à 5 étudiants en fonction des sujets proposés. Le choix des sujets et
la répartition des groupes se fera en début de semestre. Les sujets de projets nécessiteront une
phase d'analyse du sujet donnant lieu à un pré-rapport, suivi d'une phase d'implémentation sur
machines. Les développements se feront sur une semaine bloquée.
6