Le syllabus - Enseeiht
Le syllabus - Enseeiht
Le syllabus - Enseeiht
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
PROGRAMME DES ENSEIGNEMENTS<br />
ENSEEIHT<br />
Apprentissage informatique et réseau<br />
Niveau Bac+2<br />
Liste des enseignements<br />
Réseaux (UE-1) 3<br />
Introduction aux réseaux d’entreprise (APP1IRE ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3<br />
<strong>Le</strong>s protocoles de l’Internet (APP1LPI ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3<br />
Projet ”mise en place d’un réseau d’entreprise” (APP1MRE ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3<br />
Réseaux Longue Distance (APP2RLD ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4<br />
Réseaux des opérateurs de téléphonie (APP3ROT ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4<br />
Protocoles avancés de l’Internet (APP3PAI ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5<br />
Architecture des réseaux locaux (APP3ARL ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5<br />
Interconnexion des systèmes (APP3IDS ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />
Ingénierie des réseaux (APP4IDR ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />
Projet ”Architecture des réseaux d’entreprise” (APP4ARE ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />
Mobilité Réseaux, Multicast (APP5MRM ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7<br />
Réseaux d’opérateurs (APP5ROP ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7<br />
Réseaux d’opérateurs mobiles/sans fil (APP5ROM ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7<br />
Services (APP5SRV ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8<br />
Réseaux satellites et réseaux embarqués (APP5RES ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8<br />
Réseaux locaux avancés (APP5RLA ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9<br />
Ingénierie avancée (APP5IAV ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9<br />
Gestion de Réseaux (APP5GDR ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9<br />
Programmation et Génie Logiciel (UE-2) 10<br />
Méthodologie de la programmation (APP1MPG ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10<br />
Projet Méthodologie de la programmation (APP1PMP ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10<br />
Conception et programmation objet avec le langage JAVA (APP2POB ) . . . . . . . . . . . . . . . . . . . . . . . . . 11<br />
Génie Logiciel appliqué (APP2GLA ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11<br />
Projet Génie Logiciel (APP2PGL ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12<br />
Traduction des langages (APP5TDL ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12<br />
Gestion de projets (APP5GDP ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12<br />
Génie Logiciel Avancé (APP5GLV ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13<br />
Outils d’ingénierie (UE-3) 13<br />
Probabilités (APP1PRO ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13<br />
Graphes et RO (APP1GRO ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14<br />
Automates (APP1AUT ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14<br />
Statistiques (APP3STA ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15<br />
Logique, Preuve de Programme par Induction (APP3PPI ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15<br />
Evaluation de performances des réseaux (APP4EPR ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16<br />
Systèmes de transition, model checking (APP4STMC ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16<br />
Spécification formelle de protocoles (APP4SFP ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17<br />
Sécurité informatique et réseaux (APP5SIR ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17<br />
Simulation / bisimulation, calcul de processus (APP5SCP ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18<br />
Validation par analyse statique (APP5VAS ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19<br />
Certification industrielle (APP5CTI ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19<br />
1
Systèmes d’information (UE-4) 20<br />
Bases de données (APP3BD ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20<br />
Progiciels(ERP, CMS) (APP5WEB ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20<br />
Multimédia (APP5MME ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20<br />
Infrastructures Informatiques (UE-5) 21<br />
Architecture (APP1ARC ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21<br />
Systèmes centralisés (APP2SCN ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22<br />
Systèmes concurrents (APP3SCC ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22<br />
Intergiciels (APP4ITG ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22<br />
Projet système (APP4PSY ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23<br />
Systèmes répartis (APP4SYR ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23<br />
Systèmes temps-réel (APP5STR ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24<br />
Intergiciels adaptables (APP5IAD ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24<br />
2
Réseaux (UE-1)<br />
Introduction aux réseaux d’entreprise<br />
APP1IRE<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 1 Volume horaire : Cours : 18h- TD : 6h- TP : 6h<br />
Modules pré-requis :<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Réseaux locaux, téléphonie, ethernet, wifi<br />
Objectifs : Présentation des principes de base des réseaux de téléphonie et des réseaux locaux. Description des architectures<br />
et des niveaux de protocoles associés.<br />
Programme :<br />
– Introduction aux réseaux locaux (LAN)<br />
– Présentation de l’architecture IEEE 802<br />
– Description des différentes techniques de câblage<br />
– Description du contrôle de liaison logique (LLC)<br />
– Adressage, format de trame, encapsulation<br />
– Description des variantes d’Ethernet et de Wifi.<br />
– Introduction aux réseaux téléphoniques<br />
– Présentation de l’architecture RNIS<br />
– Introduction à la configuration d’équipements (PABX)<br />
<strong>Le</strong>s protocoles de l’Internet<br />
APP1LPI<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 1 Volume horaire : Cours : 9h - TD : 3h - TP : 3h<br />
Modules pré-requis :<br />
Méthodologie de la programmation, introduction aux réseaux d’entreprise<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
IP, TCP, UDP<br />
Introduction aux protocoles de l’Internet<br />
Programme :<br />
– Description de l’architecture réseau IP.<br />
– Introduction de la pile protocolaire.<br />
– Adressage IPv4.<br />
– Protocoles de la couche réseau (IP, ICMP, ARP).<br />
– Protocoles de la couche transport (TCP, UDP).<br />
Projet ”mise en place d’un réseau d’entreprise”<br />
APP1MRE<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
3
Semestre : 1 Volume horaire : TP : 15h<br />
Modules pré-requis :<br />
Introduction aux réseaux d’entreprise. <strong>Le</strong>s protocoles de l’Internet<br />
Type de contrôle :<br />
Rapport<br />
Mots Clés :<br />
Objectifs :<br />
Mettre en place, sur des exemples concrets, les concepts présentés dans les deux cours précédents.<br />
Programme :<br />
Définition et mise en place sur une plate-forme réelle d’un réseau d’entreprise simple.<br />
Réseaux Longue Distance<br />
APP2RLD<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 2 Volume horaire : Cours : 18h - TD : 12h<br />
Modules pré-requis :<br />
Introduction aux Réseaux d’entreprise<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Réseaux Longue Distance, X.25, Frame Relay, ATM<br />
Objectifs : Présentation des principes de base des réseaux longue distance. Description des architectures et des niveaux<br />
de protocoles associés.<br />
Programme :<br />
– Introduction aux réseaux longue distance (WAN) à commutation de paquets<br />
– Présentation de l’architecture X25<br />
– Description des protocoles de contrôle de liaison type HDLC et LAPB<br />
– Description du protocole de niveau paquet X25/3<br />
– <strong>Le</strong> relayage de Trames<br />
– Présentation de l’architecture ATM<br />
– <strong>Le</strong>s couches physiques pour l’ATM<br />
– Description de la couche ATM<br />
– Description des couches d’adaptation à l’ATM<br />
– Signalisation et bases de la QoS.<br />
Réseaux des opérateurs de téléphonie<br />
APP3ROT<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 3 Volume horaire : Cours : 24h TD : 6h<br />
Modules pré-requis :<br />
Réseaux longue distance<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Téléphonie, RTC, RNIS, SS7, SDH/PDH, GSM<br />
4
Objectifs :<br />
Présentation des principes de base des réseaux télécoms et des réseaux téléphoniques<br />
Programme :<br />
– Introduction aux réseaux d’opérateurs<br />
– le réseau d’accès RNIS<br />
– le réseau Réseaux Téléphoniques Commutés<br />
– les couches physiques pour le RTC<br />
– la signalisation téléphonique SS7<br />
– le réseau d’accès GSM<br />
Protocoles avancés de l’Internet<br />
APP3PAI<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 3 Volume horaire : Cours : 18h TD : 3h TP : 9h<br />
Modules pré-requis :<br />
<strong>Le</strong>s protocoles de l’Internet<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
Comprendre le fonctionnement d’un gros réseau de type Internet<br />
Programme :<br />
– Présentation de l’architecture (technique et administrative) de l’Internet.<br />
– Adressage IPv6<br />
– Routage inter domaine et intra domaine (RIP, OSPF, BGP).<br />
– Evolutions de TCP liées au contrôle de congestion.<br />
– Problèmes et outils d’interconnexion (filtrage, NAT, ...)<br />
Architecture des réseaux locaux<br />
APP3ARL<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 3 Volume horaire : Cours : 18h TD : 6h TP : 6h<br />
Modules pré-requis :<br />
Introduction aux réseaux d’entreprise<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
Méthodes d’accès, pont, commutateur, architecture des réseaux locaux<br />
Description approfondie de l’architecture des réseaux locaux.<br />
Programme :<br />
– Introduction à la modélisation (notions de canal, de signal, de bruit, de filtre, ...)<br />
– Description du contrôle d’accès au support d’accès (MAC) : CSMA-CD, token-ring, CSMA-CA, ...<br />
– Interconnexion les ponts/commutateurs, le spanning tree<br />
– <strong>Le</strong>s réseaux virtuels, la QoS<br />
– <strong>Le</strong>s évolutions du modèle 802.3 : MII, sous-couches RS PMA,PMD et auto négociation<br />
– Ethernet gigabit<br />
– Achitecture des réseaux sans fils (WiFi, WiMax)<br />
5
– Description des standards 802.11 et 802.16, des modulations radio à la gestion de la QoS 802.11e<br />
– Interconnexion fil/sans fil : points d’accès<br />
Interconnexion des systèmes<br />
APP3IDS<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 3 Volume horaire : Cours : 24h TP : 6h<br />
Modules pré-requis : Protocoles (avancés) de l’Internet, Réseaux longue distance, réseaux d’opérateurs de téléphonie,<br />
architecture des réseaux locaux<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
Interconnexion, Modèle OSI, Protocoles et Services, passerelles<br />
Décrire le modèle de référence OSI, Maîtriser les techniques d’interconnexion et les passerelles<br />
Programme :<br />
– Introduction : les besoins en interconnexion<br />
– <strong>Le</strong> modèle de référence OSI : vocabulaire, service, protocole, architecture<br />
– <strong>Le</strong>s solutions d’interconnexion<br />
– L’interconnexion IEEE<br />
– L’interconnexion IETF<br />
Ingénierie des réseaux<br />
APP4IDR<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 4 Volume horaire : Cours : 18h TD : 6h TP : 6h<br />
Modules pré-requis :<br />
Architecture des réseaux locaux, Protocoles avancés de l’Internet<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
Présentation des outils permettant de maîtriser un réseau<br />
Programme :<br />
– Routage à QoS (PNNI, ...)<br />
– Ingénierie de trafic : MPLS, VPN, ...<br />
– Boites à outils (ATM, DiffServ, ...) : shaping, policing, scheduling, ...<br />
Projet ”Architecture des réseaux d’entreprise”<br />
APP4ARE<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 4 Volume horaire : TP : 15h<br />
6
Modules pré-requis :<br />
Protocoles avancés de l’Internet, Interconnexion des systèmes, Ingénierie des réseaux<br />
Type de contrôle :<br />
Rapport<br />
Mots Clés :<br />
Objectifs :<br />
Projet, ingénierie, interconnexion<br />
Mettre en place, sur des exemples concrets, les concepts présentés dans les cours précédents.<br />
Programme :<br />
Définition de l’architecture et mise en place, dans un environnement réel ou partiellement émulé, d’un réseau d’entreprise.<br />
Mobilité Réseaux, Multicast<br />
APP5MRM<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 5 Volume horaire : Cours : 12h TP : 3h<br />
Modules pré-requis :<br />
protocoles avancés de l’Internet, Interconnexion de Systèmes<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
MIP, HMIP, FMIP, Multicast<br />
Décrire la mobilité vue du niveau réseau et les solutions pour le multicast<br />
Programme :<br />
– Introduction<br />
– La mobilité IP<br />
– <strong>Le</strong>s extensions : FMIP, HMIP<br />
– <strong>Le</strong>s principes du multicast, les protocoles de multicast<br />
Réseaux d’opérateurs<br />
APP5ROP<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 5 Volume horaire : Cours : 30h<br />
Modules pré-requis :<br />
Réseaux Longue Distance, Réseaux d’opérateurs téléphoniques<br />
Type de contrôle :<br />
Examen<br />
Mots Clés : ADSL, FTTH, WiMAX, boucle locale, Réseaux Métropolitains, Coeurs de Réseaux, WDM, SDHnG, Réseaux<br />
de paquets optiques<br />
Objectifs :<br />
Décrire les réseaux d’opérateurs et leurs évolutions récentes<br />
Programme :<br />
– Introduction : Réseaux d’accès, métropolitains et coeurs de réseaux<br />
– <strong>Le</strong>s réseaux d’accès sans fil, cuivre, optiques<br />
– <strong>Le</strong>s réseaux métropolitains : évolutions de la SDH, Solutions Ethernet<br />
– <strong>Le</strong>s réseaux de coeurs : SDH, WDM, ASON, Réseaux de paquets optiques<br />
7
Réseaux d’opérateurs mobiles/sans fil<br />
APP5ROM<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 5 Volume horaire : Cours : 30h<br />
Modules pré-requis :<br />
Réseaux Longue Distance, Réseaux d’opérateurs téléphoniques, Architecture des Réseaux locaux<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
GPRS, UMTS, LTE, WiMax, DVB, 4G<br />
décrire les réseaux d’opérateurs mobiles et sans fil<br />
Programme :<br />
– Introduction : positionnement des différents standards<br />
– <strong>Le</strong>s réseaux ITU-T : GPRS, EDGE, UMTS, HS(D)PA, LTE<br />
– <strong>Le</strong>s réseaux IEEE : WiMAX, 4G<br />
– Réseaux Maillés<br />
– <strong>Le</strong>s réseaux DVB<br />
Services<br />
Unité d’enseignement :<br />
APP5SRV<br />
Réseaux (UE-1)<br />
Semestre : 5 Volume horaire : Cours : 9h TP : 6h<br />
Modules pré-requis :<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
Protocoles applicatifs, VoIP, SIP, réseaux d’overlay<br />
Panorama des protocoles applicatifs ”multimédias”<br />
Programme :<br />
– Présentation de l’architecture de services IMS<br />
– Présentation des principaux protocoles applicatifs du plan de contrôle (RSVP, SDP, SIP, ...) et du plan utilisateur (RTP,<br />
RTSP, ...)<br />
– Introduction des réseaux de recouvrement<br />
Réseaux satellites et réseaux embarqués<br />
APP5RES<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 5 Volume horaire : Cours : 15h<br />
Modules pré-requis :<br />
Réseaux d’opérateurs téléphoniques, Réseaux longue distance, architecture des réseaux locaux<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Réseaux Embarqués, CAN, FIP, Réseaux satellite, DVB-S, DVB-S2, DVB-RCS<br />
8
Objectifs :<br />
Introduction aux réseaux embarqués et aux réseaux par satellite<br />
Programme :<br />
– Introduction aux réseaux embarqués<br />
– <strong>Le</strong>s standards FIP, CAN<br />
– Introduction aux réseaux satellites<br />
– <strong>Le</strong>s réseaux DVB-S, DVB-S2 et DVB-RCS<br />
Réseaux locaux avancés<br />
APP5RLA<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 5 Volume horaire : Cours : 12h TP : 3h<br />
Modules pré-requis :<br />
architecture des réseaux locaux<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
WLAN, WPAN, Zigbee, UWB, CPL<br />
Décrire les nouveaux standards pour les réseaux locaux<br />
Programme :<br />
– WPAN : Zigbee et UWB<br />
– WLAN : les nouveaux standards 802.11<br />
– Courants Porteurs en ligne (CPL)<br />
Ingénierie avancée<br />
APP5IAV<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 5 Volume horaire : Cours : 15h<br />
Modules pré-requis :<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
Ingénierie de trafic, qualité de service, RSVP-TE, MPLS-TE, OSPF-TE, QBGP<br />
Présenter les outils les plus avancés d’ingénierie de trafic.<br />
Programme :<br />
– Prise en compte explicite de contraintes d’ingénierie de trafic et de qualité de service dans le routage et l’acheminement<br />
des glots.<br />
– Reroutage rapide<br />
– Distribution des labels sur un LSP en fonction de critères de QoS<br />
– Extensions des protocoles de routage pour la QoS<br />
9
Gestion de Réseaux<br />
APP5GDR<br />
Unité d’enseignement :<br />
Réseaux (UE-1)<br />
Semestre : 5 Volume horaire : Cours : 9h TP : 6h<br />
Modules pré-requis :<br />
téléphonie<br />
Protocoles avancés de l’Internet, Architecture des réseaux locaux, Réseaux des opérateurs de<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
Gestion de Réseaux, SNMP, MIB, outils de gestion de réseaux<br />
Sensibilisation à la gestion de réseaux, au protocole SNMP et aux outils de gestion<br />
Programme :<br />
– Introduction<br />
– la gestion des réseaux informatiques<br />
– la gestion des réseaux de télécommunications<br />
– les outils de gestion de réseaux<br />
Programmation et Génie Logiciel (UE-2)<br />
Méthodologie de la programmation<br />
APP1MPG<br />
Unité d’enseignement :<br />
Programmation et Génie Logiciel (UE-2)<br />
Semestre : 1 Volume horaire : Cours-TD : 30h - TP : 30h<br />
Modules pré-requis :<br />
Type de contrôle :<br />
Examen<br />
Mots Clés : Algorithmique - Programmation - C -<br />
Objectifs :<br />
langage C.<br />
Maîtriser les techniques de conception et de programmation structurée et modulaire à travers l’étude du<br />
Programme :<br />
– Rappels d’algorithmique : notion d’algorithme, structures de contrôle, récursivité, principe de l’allocation mémoire.<br />
– Conception descendante par affinages successifs et par analyse récursive.<br />
– Programmation par contrat et assertions avec le langage C comme support.<br />
– Propriétés des algorithmes : complexité, terminaison, vérification, tests.<br />
– Types abstraits de données : structures de listes, piles, files, arbres, graphes,. . ., algorithmique itérative et récursive sur<br />
ces structures.<br />
– Conception modulaire.<br />
– Cycle de vie d’un logiciel.<br />
Projet Méthodologie de la programmation<br />
APP1PMP<br />
Unité d’enseignement :<br />
Programmation et Génie Logiciel (UE-2)<br />
10
Semestre : 1 Volume horaire : 30h sur une semaine<br />
Modules pré-requis :<br />
Méthodologie de la programmation<br />
Type de contrôle :<br />
Projet<br />
Mots Clés : Algorithmique - Programmation - C -<br />
Objectifs :<br />
Mise en pratique des concepts vus dans le cours Méthodologie de la programmation<br />
Programme :<br />
Conception et développement d’algorithmes sur les structures de donnée classiques (arbre, pile, file, . . .).<br />
Conception et programmation objet avec le langage JAVA<br />
APP2POB<br />
Unité d’enseignement :<br />
Programmation et Génie Logiciel (UE-2)<br />
Semestre : 2 Volume horaire : Cours - TD : 40h - TP : 20h<br />
Modules pré-requis :<br />
Méthodologie de la programmation<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
de conception.<br />
Classe, Objet, Héritage, Liaison tardive, Polymorphisme, Interface<br />
Maitriser les techniques de conception et de programmation objet à travers l’étude de Java, UML et les patrons<br />
Programme :<br />
– Concepts objets de base (classes, méthodes, attributs)<br />
– Concepts objets avancés (héritage, liaison tardive, polymorphisme, interface, classe abstraite)<br />
– Définition des principes de UML (diagrammes de classes, etc)<br />
– Présentation de quelques patrons de conception(visiteur, observateur, ...)<br />
– Application au développement de logiciels en utilisant UML,les patrons de conception et JAVA.<br />
Génie Logiciel appliqué<br />
APP2GLA<br />
Unité d’enseignement :<br />
Programmation et Génie Logiciel (UE-2)<br />
Semestre : 2 Volume horaire : TP : 15h<br />
Modules pré-requis :<br />
Conception et programmation objet avec le langage JAVA<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
Make, Ant, Junit, Eclipse<br />
Maitriser les outils d’aide à la programmation objet<br />
Programme :<br />
– Outils make, ant, junit, eclipse, svn<br />
– Normes de codage et métriques<br />
– Présentation des API classiques<br />
11
Projet Génie Logiciel<br />
APP2PGL<br />
Unité d’enseignement :<br />
Programmation et Génie Logiciel (UE-2)<br />
Semestre : 2 Volume horaire : 45h<br />
Modules pré-requis :<br />
Génie Logiciel appliqué, Conception et programmation objet avec le langage JAVA<br />
Type de contrôle :<br />
Projet<br />
Mots Clés :<br />
Objectifs :<br />
Programmation JAVA, outils d’aide à la programmation objets.<br />
Maitriser la conception Objet et le développement de programmes en JAVA<br />
Programme :<br />
Conception et développement d’applications selon une méthodologie Objet.<br />
Traduction des langages<br />
APP5TDL<br />
Unité d’enseignement :<br />
Programmation et Génie Logiciel (UE-2)<br />
Semestre : 5 Volume horaire : Cours - TD : 30h - TP : 30h<br />
Modules pré-requis :<br />
Architecture, Conception et programmation objet avec le langage JAVA<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Grammaire. Analyse syntaxique. Grammaire attribuée. Table des symboles. Types. Génération de code.<br />
Objectifs : <strong>Le</strong> but de ce module est de présenter les outils théoriques et pratiques nécessaires à la réalisation d’un compilateur<br />
et à la traduction de langages.<br />
Programme :<br />
– Introduction illustrée à la compilation.<br />
– Analyse lexicale, outil lex.<br />
– Grammaires. Analyse syntaxique descendante.<br />
– Grammaires attribuées.<br />
– Table des symboles, contrôle de type, gestion de la mémoire, génération de code.<br />
Gestion de projets<br />
APP5GDP<br />
Unité d’enseignement :<br />
Programmation et Génie Logiciel (UE-2)<br />
Semestre : 5 Volume horaire : 30h<br />
Modules pré-requis :<br />
Projet Génie Logiciel<br />
Type de contrôle :<br />
Examen<br />
12
Mots Clés :<br />
Objectifs :<br />
Définir la notion de gestion de projet, le rôle du chef de projet et les concepts et méthodes associés<br />
Programme :<br />
– Concepts élémentaires liés à la notion de projet(Cahier des charges, Acteurs, ...).<br />
– Qualité<br />
– Evaluation des risques<br />
Génie Logiciel Avancé<br />
APP5GLV<br />
Unité d’enseignement :<br />
Programmation et Génie Logiciel (UE-2)<br />
Semestre : 5 Volume horaire : 30h<br />
Modules pré-requis :<br />
Genie logiciel appliqué.<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
Composants logiciels, Java Beans, J2EE, MDA<br />
Maitriser la conception d’applications à l’aide de composants logiciels selon une approche orientée modèle<br />
Programme :<br />
– Composants logiciels :<br />
– Notion de composant logiciel (des objets aux composants)<br />
– Fondements des modèles à base de composants ; ADL<br />
– Constructions de base (intercepteurs, adaptateurs, etc.)<br />
– Études de cas Java Beans, Enterprise Java Beans et architectures J2EE<br />
– MDA<br />
– Métamodélisation<br />
– Transformation de modèles<br />
Outils d’ingénierie (UE-3)<br />
Probabilités<br />
Unité d’enseignement :<br />
APP1PRO<br />
Outils d’ingénierie (UE-3)<br />
Semestre : 1 Volume horaire : 30h<br />
Modules pré-requis :<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Espace probabilisé. Varaible aléatoire. Loi de probabilité. Loi des grands nombres.<br />
Objectifs : Acquérir les notions de base nécessaires au calcul des probabilités afin de maitriser la modélisation stochastique<br />
qui est indispensable dans de nombreux domaines de la vie économique, mais aussi dans les sciences de l’ingénieur : fiabilité,<br />
contrôle de qualité.<br />
Programme :<br />
13
– Espaces probabilisés et calcul des probabilités.<br />
– Variables aléatoires réelles : cas discret, cas à densité.<br />
– Vecteurs aléatoires réels ; loi conjointe ; lois marginales ; changement de variables ; lois et espérances conditionnelles ;<br />
vecteurs gaussiens.<br />
– Fonction caractéristique ; convergence et grands théorèmes : lois des grands nombres, théorème de la limite centrée.<br />
Graphes et RO<br />
Unité d’enseignement :<br />
APP1GRO<br />
Outils d’ingénierie (UE-3)<br />
Semestre : 1 Volume horaire : 45h<br />
Modules pré-requis :<br />
Type de contrôle :<br />
Examen<br />
Mots Clés : Graphes, réseaux, algorithmique, organisation, système, interaction, optimisation, métaheuristiques, jeux,<br />
algorithme génétique.<br />
Objectifs : Découvrir et maîtriser quelques apports notoires de la théorie des graphes au travers de méthodes de résolution<br />
de familles classiques de problèmes. Connaître et maîtriser les méthodes mathématiques permettant de résoudre des problèmes<br />
d’organisation.<br />
Programme :<br />
– Graphes<br />
– Recherche de chemins de longueur optimale : méthodes de MOORE-DIJKSTRA et de FORD.<br />
– Applications : Réseaux PERT.<br />
– Recherche de parcours hamiltoniens : méthodes de KAUFMANN/MALGRANGE et DEMOUCRON<br />
– Application : voyageur de commerce. Recherche de mots optimaux : méthode de FORD-FULKERSON.<br />
– Recherche de parcours eulériens : méthode d’ EULER. Problèmes d’affectation : méthode hongroise.<br />
– Arbres, arborescences, cycles et co-cycles. Théorème du nombre cyclomatique.<br />
– Recherche d’arbres de poids optimaux : méthode de KRUSKAL.<br />
– Graphes planaires.<br />
– RO<br />
– Objectif, Problème d’Organisation, Exemple<br />
– Systèmes<br />
– Programmation dynamique<br />
– Programmation linéaire continue<br />
– Optimisation<br />
– Méthodes de descente systématique<br />
– Méthodes de descente non systématique<br />
– Programmation entière<br />
– Théorie des jeux<br />
– Algorithmes génétiques<br />
Automates<br />
Unité d’enseignement :<br />
APP1AUT<br />
Outils d’ingénierie (UE-3)<br />
Semestre : 1 Volume horaire : 15h<br />
Modules pré-requis :<br />
14
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
des systèmes.<br />
langages, automate fini à états, modélisation, non-déterminisme<br />
Comprendre les automates à états finis et leurs extensions, en particulier dans leur utilisation pour modéliser<br />
Programme :<br />
– Notion sur les langages en informatique.<br />
– Définition des automates à états finis.<br />
– Utilisation pour la modélisation de systèmes (résolution de problèmes, architecture, IHM, réseau, synchronisation...).<br />
– Non-déterminisme, déterminisation, minimisation.<br />
– Relation avec les expressions régulières.<br />
– Extensions : automates à compteurs, automates à piles, transducteurs...<br />
Statistiques<br />
Unité d’enseignement :<br />
APP3STA<br />
Outils d’ingénierie (UE-3)<br />
Semestre : 3 Volume horaire : 30h<br />
Modules pré-requis :<br />
Probabilités<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Estimation, tests statistiques<br />
Objectifs : Comprendre le modèle statistique et les principales méthodes d’estimation et de détection. Donner les bases<br />
de l’estimation : qualités d’un estimateur (sans biais, convergent, ecace), méthodes de construction d’un estimateur (maximum<br />
de vraisemblance, estimation bayésienne...).<br />
Programme :<br />
– Estimation<br />
– Introduction à la statistique - Rappel des outils de probabilités nécessaires<br />
– Introduction à l’estimation - notion de biais - variance - calcul sur des exemples simples<br />
– Estimation : Borne de Rao-Cramer - Propriétés des estimateurs efficaces<br />
– Etudes d’estimateurs : biais, variance, efficacité<br />
– Construction d’un estimateur par la méthode du maximum de vraisemblance - exemples simples<br />
– Construction d’un estimateur : méthode des moments, maximum de vraisemblance, Bayésien, par intervalle de confiance<br />
– Etude d’estimateurs du maximum de vraisemblance<br />
– Etude d’estimateurs bayésiens<br />
– Tests<br />
– Tests paramétriques - risques alpha, béta - exemple de test<br />
– Test optimal de Neyman-Pearson en hypothèses simples et composites<br />
– Construction de test optimal de Neyman-Pearson<br />
– Tests non paramétrique de Kolmogorov et Kolmogorov-Smirnov<br />
– Test non paramétrique du Chi2<br />
Logique, Preuve de Programme par Induction<br />
APP3PPI<br />
Unité d’enseignement :<br />
Outils d’ingénierie (UE-3)<br />
Semestre : 3 Volume horaire : 30h<br />
15
Modules pré-requis :<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
logique mathématique, systèmes de déduction, preuves de programmes<br />
Introduire la notion de vérification de programmes par la preuve. Utiliser un assistant de preuve.<br />
Programme :<br />
– Logique des propositions et des prédicats.<br />
– Démonstration de tautologies en utilisant la déduction naturelle et le principe de résolution.<br />
– Induction sur les ensembles.<br />
– Induction structurelle de Burstall.<br />
– Application à la preuve de programme récursifs par induction.<br />
– Présentation et utilisation d’un assistant de preuve.<br />
Evaluation de performances des réseaux<br />
APP4EPR<br />
Unité d’enseignement :<br />
Outils d’ingénierie (UE-3)<br />
Semestre : 4 Volume horaire : 45h<br />
Modules pré-requis :<br />
Proba-Stats, Langages objets, Théorie des Automates<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Files d’attente, Processus Stochastiques, Modélisation, Résolution par Simulation, Résolution Analytique<br />
Objectifs : Présentation des techniques de modélisation et d’évaluation de performance.<br />
Illustration de la théorie des files d’attente à l’aide de l’outil QNAP.<br />
Modélisation et évaluation de différents protocoles dans les environnements de simulation NS/OPNET<br />
Programme :<br />
– Besoins de modélisation pour l’évaluation de performance de systèmes<br />
– <strong>Le</strong>s principaux formalismes de modélisation et application aux réseaux de communication (RdP, files d’attente)<br />
– Illustration d’une démarche de modélisation et de simulation dans le contexte de l’outil QNAP (Queing Network Analysis<br />
Package)<br />
– Présentation d’environnements de Simulation NS (Network Simulator) et OPNET ( Optimized Network Engineering<br />
Tools) et application à l’évaluation de plusieurs protocoles de communication<br />
Systèmes de transition, model checking<br />
APP4STMC<br />
Unité d’enseignement :<br />
Outils d’ingénierie (UE-3)<br />
Semestre : 4 Volume horaire : 30h<br />
Modules pré-requis :<br />
Automates, Logique, Preuve de programme par induction<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
système de transitions, logique temporelle<br />
16
Objectifs :<br />
Introduction à la modélisation formelle de systèmes et à leur validation.<br />
Programme :<br />
1. Modélisation par systèmes de transitions ;<br />
- Définition ;<br />
- Modélisation, exemples ;<br />
- Propriétés usuelles ;<br />
2. Spécification en logique temporelle ;<br />
- Logique temporelle linéaire LTL : syntaxe, sémantique ;<br />
- Logique temporelle arborescente CTL : syntaxe, sémantique ;<br />
- Propriétés usuelles en LTL et CTL ;<br />
3. Vérification automatique de propriétés ;<br />
- Algorithmique générale, paramètres importants ;<br />
- Cas de la logique LTL ;<br />
- Cas de la logique CTL.<br />
4. Application : le langage TLA<br />
- TLA : un langage de spécification / implantation ;<br />
- Modélisation de systèmes de transitions avec TLA, exemples de programmes concurrents ;<br />
- Spécification en logique temporelle linéaire LTL ;<br />
- Validation de la spécification par preuve manuelle ou par vérification automatique de modèles<br />
Spécification formelle de protocoles<br />
APP4SFP<br />
Unité d’enseignement :<br />
Outils d’ingénierie (UE-3)<br />
Semestre : 4 Volume horaire : 15h<br />
Modules pré-requis :<br />
Théorie des Automates, Langages objets, Systèmes d’exploitation UNIX<br />
Type de contrôle :<br />
Examen<br />
Mots Clés : LDS (Langage de Description et de Spécification), Conception,spécification, simulation fonctionnelle, Système,<br />
protocoles, architecture<br />
Objectifs : Comprendre les limites d’une description informelle d’un système complexe, et l’intérêt des représentations<br />
graphiques pour des flux de contrôle non linéaires (systèmes réactifs). Apprendre à modéliser un protocole avec le langage SDL.<br />
Programme :<br />
– Spécification formelle : intérêt de la spécification formelle dans un cycle de développement, positionnement de SDL dans<br />
cette démarche, bénéfices attendus ;<br />
– SDL minimal : machines à état communiquant par message ;<br />
– SDL avancé : manipulation de variables, structures de contrôle, procédures, processus dynamiques ;<br />
– TP : modélisation du protocole ’Send and Wait’.<br />
Sécurité informatique et réseaux<br />
APP5SIR<br />
Unité d’enseignement :<br />
Outils d’ingénierie (UE-3)<br />
Semestre : 5 Volume horaire : 30h<br />
Modules pré-requis :<br />
Protocoles avancés de l’Internet, Systèmes répartis, Réseaux des opérateurs de téléphonie<br />
17
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs : Introduire la notion de sécurité des systèmes et des réseaux.<br />
Développer les mécanismes de cryptographie et autres mécanismes de sécurité.<br />
Analyser les risques et évaluer la sécurité des systèmes.<br />
Programme :<br />
– Notions de base<br />
– Menace, vulnérabilités, attaques, intrusions et risques de sécurité<br />
– Introduction à la cryptographie<br />
– Chiffrement symétrique :DES, 3DES, IDEA, AES<br />
– Chiffrement asymétrique : RSA, ElGamal, Diffie Hellman<br />
– Fonctions de Hachage et contrôle d’intégrité : MD5, SHA-1, SHA-2, MAC, HMAC, ...<br />
– Signature électronique<br />
– Certificats et infrastructures de gestion de clés<br />
– Protocoles d’authentification : Défi-Réponse, S-Key, OTP, Zéro-Knowledge, Fiat-Shamir<br />
– Applications : pare-feux, SSL / TLS, IPSec, Kerberos, PGP<br />
– <strong>Le</strong>s critères communs (norme ISO 15408 pour l’évaluation de la sécurité)<br />
– Méthodes d’analyse des risques : la méthode EBIOS (Expression des besoins et identification des objectives de sécurité)<br />
Simulation / bisimulation, calcul de processus<br />
APP5SCP<br />
Unité d’enseignement :<br />
Outils d’ingénierie (UE-3)<br />
Semestre : 5 Volume horaire : 30h<br />
Modules pré-requis :<br />
systèmes de transitions<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
simulation, bisimulation, calcul de processus, raffinement<br />
Objectifs : Ce module a pour objectif de présenter les notions fondamentales de simulation et bisimulation entre systèmes<br />
de transitions. Afin d’appliquer ces notions, nous étudions premièrement un calcul de processus dans lequel ces notions sont<br />
liées à la substituabilité entre processus. Puis, plus concrètement, nous étudierons un langage de spécification et de programmation<br />
à modules, le langage TLA, pour lequel on retrouve les notions classiques de raffinement de programmes, de couple<br />
spécification/implantation et de sous-typage, déclinées formellement à partir de la définition de la simulation.<br />
Programme :<br />
1. Simulation et bisimulation ;<br />
- Contexte général : systèmes de transitions, sous-typage, raffinement, spécification/implantation<br />
- Simulation et bisimulation forte, propriétés ;<br />
- Simulation et bisimulation faible, propriétés ;<br />
- Algorithmes de calcul de plus grande simulation / bisimulation<br />
2. Calcul de processus CCS ;<br />
- Syntaxe ;<br />
- Sémantique par règles de réduction ;<br />
- Equivalence structurelle, simulation, bisimulation entre processus ;<br />
- Algorithmes de calcul de plus grande simulation / bisimulation<br />
3. Raffinement de programmes séquentiels ;<br />
- Cadre général : programmation / raffinement de modules, implantation en TLA ;<br />
- Sémantique de type jeu des modules ;<br />
18
- Expression du raffinement entre modules, lien avec la simulation ;<br />
- Différents raffinements classiques, exemples.<br />
Validation par analyse statique<br />
APP5VAS<br />
Unité d’enseignement :<br />
Outils d’ingénierie (UE-3)<br />
Semestre : 5 Volume horaire : 15h<br />
Modules pré-requis :<br />
Automates, Logique, Preuve de programme par induction.<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Validation des systèmes, Techniques formelles<br />
Objectifs : Présentation des méthodes permettant de vérifier les propriété sur des programmes sans les exécuter. La<br />
validation par analyse statique consiste à vérifier statiquement (sans exécuter les programmes) des propriétés dynamiques (à<br />
l’exécution) des programmes.<br />
Programme :<br />
– Présentation des principales techniques d’analyse : inférence de type et interprétation abstraite.<br />
– Présentation des classes de propriétés à vérifier comme par exemple :<br />
– le référencement d’une variable avec une valeur indéfinie ;<br />
– une interface inconsistante entre modules et composants ;<br />
– des variables qui ne sont jamais utilisées ;<br />
– du code non accessible (code mort) ;<br />
– la violation des standards de programmation ;<br />
mais aussi :<br />
– la sûreté (par exemple, absence d’erreurs à l’exécution) ;<br />
– la vivacité (par exemple, garantie de réponse à un signal) ;<br />
– la sécurité (par exemple, confidentialité d’informations traitées par un programme) ;<br />
– . . .<br />
Certification industrielle<br />
APP5CTI<br />
Unité d’enseignement :<br />
Outils d’ingénierie (UE-3)<br />
Semestre : 5 Volume horaire : 15h<br />
Modules pré-requis :<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
Maitriser le processus de certification<br />
Programme :<br />
– Principes de la Certification<br />
– Certification de produits industriels et de services<br />
– Référentiel de certification<br />
– Méthode d’obtention d’un certificat<br />
19
– Organisme certificateur<br />
Systèmes d’information (UE-4)<br />
Bases de données<br />
Unité d’enseignement :<br />
APP3BD<br />
Systèmes d’information (UE-4)<br />
Semestre : 3 Volume horaire : Cours - TD : 24h - TP : 6h<br />
Modules pré-requis :<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Modèle entité-association, modèle relationnel, normalisation, SQL, modèle objet.<br />
Objectifs : L’objectif de ce cours est d’introduire les concepts nécessaires pour la définition et l’implémentation d’une<br />
base de données. Ce cours est complété par des TP permettant de se familiariser avec Oracle et JDBC.<br />
Programme :<br />
– Introduction aux systèmes de gestion de base de données.<br />
– Architecture d’une base de données. Fonctionnalités des systèmes de gestion de base de données.<br />
– <strong>Le</strong> modèle entité-association : classes d’entités, classes de liaisons.<br />
– <strong>Le</strong> modèle de données relationnel : définition, langages de définition et de manipulation de données (Algèbre Relationnelle,<br />
SQL.) .<br />
– Processus de normalisation : dépendances fonctionnelles, dépendances multi- valuées, formes normales.<br />
– <strong>Le</strong> modèle objet : définition et langage de manipulation.<br />
– Techniques d’implémentation : Organisation physique des données.<br />
– Transactions, reprise et contrôle des accès concurrents. Confidentialité, contraintes d’intégrité.<br />
Progiciels(ERP, CMS)<br />
APP5WEB<br />
Unité d’enseignement :<br />
Systèmes d’information (UE-4)<br />
Semestre : 5 Volume horaire : 30h<br />
Modules pré-requis :<br />
Intergiciel, Java, base de données<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
Présenter les principes des progiciels.<br />
Programme :<br />
– ERP : Définitions et étapes de mise en place de progiciels.<br />
– CMS : Créer, éditer, gérer et publier du contenu de manière cohérente et organisée<br />
– Etude de cas<br />
20
Multimédia<br />
Unité d’enseignement :<br />
APP5MME<br />
Systèmes d’information (UE-4)<br />
Semestre : 5 Volume horaire : 45h<br />
Modules pré-requis :<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Introduire les technologies informatiques nécessaires à la conception et au déploiement d’applications mul-<br />
Objectifs :<br />
timédia<br />
multimédia, MPEG, streaming, qualité de service<br />
Programme :<br />
– représentation des contenus, codages, compression<br />
– décrire pour accéder : indexation des contenus, stockage<br />
– diffusion des contenus, streaming, protocoles applicatifs de distribution et de signalisation (RTP/RTCP/RTSP...)<br />
– adaptation des contenus, personnalisation<br />
– le cas MPEG*<br />
– les différentes familles de normes de l’ISO<br />
– processus de codage, d’indexation et d’échange de contenus numériques<br />
– introduction aux API dédiées au développement d’applications multimédias (Java Media Framework, QuickTime, Windows<br />
Media, Helix)<br />
– 3D, modélisation géométrique, exploitation du matériel (OpenGL,<br />
Infrastructures Informatiques (UE-5)<br />
Architecture<br />
Unité d’enseignement :<br />
APP1ARC<br />
Infrastructures Informatiques (UE-5)<br />
Semestre : 1 Volume horaire : 45h<br />
Modules pré-requis :<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
codages, algèbre de Boole, circuit combinatoire, circuit séquentiel, microprocesseur, assembleur, FPGA<br />
Objectifs : Ce cours a pour objectif la compréhension théorique et pratique de la logique combinatoire et séquentielle, qui<br />
est ensuite appliquée à la conception et réalisation d’une architecture d’ordinateur 32 bits simple.<br />
Programme :<br />
– système de numération binaire<br />
– codage des nombres entiers naturels et relatifs, des caractères, des<br />
– nombres réels, détection d’erreurs algèbre de Boole<br />
– portes combinatoires, synthèse des circuits combinatoires<br />
– graphes d’états, bascules, synthèse des circuits séquentiels<br />
– circuits réutilisables : encodeurs, décodeurs, multiplexeur, compteurs, comparateurs, unités arithmétiques et logiques,<br />
décaleurs<br />
– mémoires<br />
– structure d’un microprocesseur : micromachine, séquenceur<br />
– programmation en assembleur d’un microprocesseur, interruptions<br />
21
Systèmes centralisés<br />
APP2SCN<br />
Unité d’enseignement :<br />
Infrastructures Informatiques (UE-5)<br />
Semestre : 2 Volume horaire : Cours 16H - TD 15h - TP 14h<br />
Modules pré-requis : Langage C.<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
système d’exploitation, interface matériel/logiciel, gestion des ressources, processus, E/S, mémoire virtuelle<br />
Objectifs : L’objectif de ce module est double : appréhender et maîtriser les principes de base utilisés dans la conception<br />
des systèmes d’exploitation centralisés, mettre en pratique ces connaissances sur un système particulier (unix).<br />
Programme :<br />
<strong>Le</strong> cours présente les concepts fondamentaux des systèmes d’exploitation : processus et fichiers, mémoire virtuelle, gestion<br />
des entrées/sorties ainsi que les principes de base de structuration : structure en couches, notion de machine virtuelle, noyau<br />
(superviseur), langage de script, contrôle des usagers, allocation des ressources, ordonnancement des processus. Enfin, une<br />
introduction à l’administration système permet de mettre en pratique ces notions.<br />
<strong>Le</strong>s concepts présentés sont illustrés par des exemples de systèmes réels : Unix, Linux, Windows. <strong>Le</strong>s cours-travaux dirigés<br />
ont pour objectif d’acquérir une connaissance plus approfondie de la programmation d’un système d’exploitation particulier<br />
via ses deux niveaux d’utilisation : d’une part son langage de commande et d’autre part ses primitives ”noyau”. <strong>Le</strong>s travaux<br />
pratiques permettent une expérimentation réelle des programmes développés en cours-travaux dirigés.<br />
Systèmes concurrents<br />
APP3SCC<br />
Unité d’enseignement :<br />
Infrastructures Informatiques (UE-5)<br />
Semestre : 3 Volume horaire : Cours 16h - TD 6H - TP 8h<br />
Modules pré-requis :<br />
systèmes centralisés, java<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Objectifs :<br />
Parallélisme, processus concurrents, synchronisation<br />
Étudier les concepts de la programmation parallèle et concurrente dans un contexte centralisé.<br />
Programme :<br />
Dans un premier temps, le problème de la synchronisation des processus est étudié. <strong>Le</strong>s schémas génériques de coopération<br />
ou concurrence (exclusion mutuelle, producteur-consommateur, client-serveur, lecteurs-rédacteurs, allocateur, etc) sont exposés<br />
et résolus à l’aide des mécanismes classiques de synchronisation (sémaphores, événements, moniteurs, rendez-vous). La notion<br />
d’activité ou thread est ensuite décrite pour gérer le parallélisme à grain fin et une API spécifique est étudiée (Java). Enfin, la<br />
notion de transaction est étudiée en particulier sous l’aspect sérialisation.<br />
Intergiciels<br />
Unité d’enseignement :<br />
APP4ITG<br />
Infrastructures Informatiques (UE-5)<br />
Semestre : 4 Volume horaire : Cours TD 25h - TP 20h<br />
22
Modules pré-requis :<br />
systèmes centralisés, systèmes concurrents, java<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
systèmes répartis, intergiciels, client-serveur, mémoire répartie, intergiciels à messages<br />
Objectifs : On désigne par intergiciels les logiciels se situant entre le système d’exploitation et les applications, permettant<br />
de faciliter la construction des applications centralisées ou réparties. Ce cours présente les intergiciels permettant la construction<br />
d’applications en exploitation des modèles à partage de mémoire ou à échanges de messages synchrones ou asynchrones.<br />
Programme :<br />
– Introduction aux systèmes répartis<br />
– La communication par message - l’interface socket<br />
– <strong>Le</strong> modèle client-serveur - Java RMI - Corba<br />
– La mémoire virtuelle répartie<br />
– <strong>Le</strong>s intergiciels à messages - l’interface JMS<br />
Projet système<br />
Unité d’enseignement :<br />
APP4PSY<br />
Infrastructures Informatiques (UE-5)<br />
Semestre : 4 Volume horaire : 15h<br />
Modules pré-requis :<br />
systèmes concurrents, intergiciels, java<br />
Type de contrôle :<br />
Projet<br />
Mots Clés :<br />
Objectifs :<br />
systèmes concurrents, intergiciels, client-serveur, mémoire répartie<br />
Mettre en pratique les compétences acquises lors des enseignements de systèmes concurrents et d’intergiciels.<br />
Programme :<br />
Projet de développement d’un système complexe alliant parallélisme et répartition.<br />
Systèmes répartis<br />
Unité d’enseignement :<br />
APP4SYR<br />
Infrastructures Informatiques (UE-5)<br />
Semestre : 4 Volume horaire : Cours 32h - TP 13h<br />
Modules pré-requis :<br />
systèmes concurrents, intergiciels<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
temps logique, état global, causalité, tolérance aux fautes<br />
Objectifs : L’objectif de ce cours est de présenter un tour d’horizon des principes et techniques qui permettent de répartir<br />
des traitements et des données sur des architectures distribuées.<br />
Programme :<br />
– les bases théoriques : notion de protocole, modèle de calcul réparti, notion de causalité.<br />
23
– les mécanismes de base : horloges logiques, réseaux logiques, protocoles ordonnés, groupes de diffusion, vagues, synchronisme<br />
virtuel, etc<br />
– les algorithmes répartis génériques : exclusion mutuelle, terminaison, détection de l’interblocage, consensus, prise de cliché,<br />
cohérence de données répliquées.<br />
– les principaux aspects non fonctionnels à prendre en compte lors de la conception des applications réparties : localisation,<br />
tolérance aux fautes, sécurité, disponibilité, autonomie, adaptabilité, etc<br />
– les tendances actuelles des applications réparties :<br />
– architectures dynamiques (ad hoc, pair à pair)<br />
– mobilité<br />
– grilles de calcul : culture générale sur les calculateurs à hautes performances et maîtrise des techniques de programmation<br />
propres aux architectures à mémoire distribuée<br />
– Grille de données : accès transparent aux données, persistance et cohérence des données dans un système distribué,<br />
dynamique de grande taille.<br />
– agents mobiles<br />
<strong>Le</strong> cours est illustré par des exemples de systèmes ou services mettant en œuvre les principes et mécanismes exposés : à<br />
titre d’exemple, pour les fichiers répartis, NFS, pour les protocoles de groupe et le synchronisme virtuel : ISIS, Ensemble,<br />
etc.<br />
Systèmes temps-réel<br />
APP5STR<br />
Unité d’enseignement :<br />
Infrastructures Informatiques (UE-5)<br />
Semestre : 5 Volume horaire : 30h<br />
Modules pré-requis :<br />
systèmes centralisés, systèmes concurrents<br />
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Temps-Réel, synchrone, asynchrone, ordonnancement<br />
Objectifs : Sensibilisation à la problématique des systèmes informatiques temps-réel. Présentation des problèmes de conception,<br />
vérification et ordonnancement, ainsi que de quelques méthodes de résolutions.<br />
Programme :<br />
– Problématique, spécifications et langages temps réels<br />
– Introduction : Présentation de la problématique temps-réel, les deux principales approches (synchrones et asynchrone),<br />
les différentes qualités de temps réel asynchrone (temps-réel dur vs temps réel mou). La notion de système d’exploitation<br />
temps réel.<br />
– Langages pour le temps réel : Approche synchrone : Lustre, Esterel<br />
– Approche asynchrone : SDL<br />
– Ordonnancement et systèmes temps-réel<br />
– ordonnancement des taches indépendantes périodiques ou non<br />
– ordonnancement des taches dépendantes<br />
– gestion de surcharge<br />
– ordonnancement multi-processeurs<br />
Intergiciels adaptables<br />
APP5IAD<br />
Unité d’enseignement :<br />
Infrastructures Informatiques (UE-5)<br />
Semestre : 5 Volume horaire : 30h<br />
Modules pré-requis :<br />
Intergiciels<br />
24
Type de contrôle :<br />
Examen<br />
Mots Clés :<br />
Programmation par aspects, Composants logiciels<br />
Objectifs : Maitriser les concepts et techniques permettant de développer des logiciels adaptant leur comportement en<br />
fonction de leur contexte d’utilisation.<br />
Programme :<br />
– Programmation par aspects (ASPECT-J)<br />
– Composants logiciels (FRACTAL)<br />
– OSGI<br />
25