Le syllabus - Enseeiht

PROGRAMME DES ENSEIGNEMENTS 

ENSEEIHT 

Apprentissage informatique et réseau 

Niveau Bac+2 

Liste des enseignements 

Réseaux (UE-1) 3 

Introduction aux réseaux d’entreprise (APP1IRE ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 

Les protocoles de l’Internet (APP1LPI ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 

Projet ”mise en place d’un réseau d’entreprise” (APP1MRE ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 

Réseaux Longue Distance (APP2RLD ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 

Réseaux des opérateurs de téléphonie (APP3ROT ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 

Protocoles avancés de l’Internet (APP3PAI ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 

Architecture des réseaux locaux (APP3ARL ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 

Interconnexion des systèmes (APP3IDS ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 

Ingénierie des réseaux (APP4IDR ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 

Projet ”Architecture des réseaux d’entreprise” (APP4ARE ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 

Mobilité Réseaux, Multicast (APP5MRM ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 

Réseaux d’opérateurs (APP5ROP ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 

Réseaux d’opérateurs mobiles/sans fil (APP5ROM ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 

Services (APP5SRV ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 

Réseaux satellites et réseaux embarqués (APP5RES ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 

Réseaux locaux avancés (APP5RLA ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 

Ingénierie avancée (APP5IAV ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 

Gestion de Réseaux (APP5GDR ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 

Programmation et Génie Logiciel (UE-2) 10 

Méthodologie de la programmation (APP1MPG ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 

Projet Méthodologie de la programmation (APP1PMP ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 

Conception et programmation objet avec le langage JAVA (APP2POB ) . . . . . . . . . . . . . . . . . . . . . . . . . 11 

Génie Logiciel appliqué (APP2GLA ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 

Projet Génie Logiciel (APP2PGL ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 

Traduction des langages (APP5TDL ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 

Gestion de projets (APP5GDP ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 

Génie Logiciel Avancé (APP5GLV ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 

Outils d’ingénierie (UE-3) 13 

Probabilités (APP1PRO ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 

Graphes et RO (APP1GRO ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 

Automates (APP1AUT ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 

Statistiques (APP3STA ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 

Logique, Preuve de Programme par Induction (APP3PPI ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 

Evaluation de performances des réseaux (APP4EPR ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 

Systèmes de transition, model checking (APP4STMC ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 

Spécification formelle de protocoles (APP4SFP ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 

Sécurité informatique et réseaux (APP5SIR ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 

Simulation / bisimulation, calcul de processus (APP5SCP ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 

Validation par analyse statique (APP5VAS ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 

Certification industrielle (APP5CTI ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 

1

Systèmes d’information (UE-4) 20 

Bases de données (APP3BD ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 

Progiciels(ERP, CMS) (APP5WEB ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 

Multimédia (APP5MME ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 

Infrastructures Informatiques (UE-5) 21 

Architecture (APP1ARC ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 

Systèmes centralisés (APP2SCN ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 

Systèmes concurrents (APP3SCC ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 

Intergiciels (APP4ITG ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 

Projet système (APP4PSY ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 

Systèmes répartis (APP4SYR ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 

Systèmes temps-réel (APP5STR ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 

Intergiciels adaptables (APP5IAD ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 

2

Réseaux (UE-1) 

Introduction aux réseaux d’entreprise 

APP1IRE 

Unité d’enseignement : 


Semestre : 1 Volume horaire : Cours : 18h- TD : 6h- TP : 6h 

Modules pré-requis : 

Type de contrôle : 

Examen 

Mots Clés : 

Réseaux locaux, téléphonie, ethernet, wifi 

Objectifs : Présentation des principes de base des réseaux de téléphonie et des réseaux locaux. Description des architectures 

et des niveaux de protocoles associés. 

Programme : 

– Introduction aux réseaux locaux (LAN) 

– Présentation de l’architecture IEEE 802 

– Description des différentes techniques de câblage 

– Description du contrôle de liaison logique (LLC) 

– Adressage, format de trame, encapsulation 

– Description des variantes d’Ethernet et de Wifi. 

– Introduction aux réseaux téléphoniques 

– Présentation de l’architecture RNIS 

– Introduction à la configuration d’équipements (PABX) 

Les protocoles de l’Internet 

APP1LPI 



Semestre : 1 Volume horaire : Cours : 9h - TD : 3h - TP : 3h 


Méthodologie de la programmation, introduction aux réseaux d’entreprise 


Examen 

Mots Clés : 

Objectifs : 

IP, TCP, UDP 

Introduction aux protocoles de l’Internet 

Programme : 

– Description de l’architecture réseau IP. 

– Introduction de la pile protocolaire. 

– Adressage IPv4. 

– Protocoles de la couche réseau (IP, ICMP, ARP). 

– Protocoles de la couche transport (TCP, UDP). 

Projet ”mise en place d’un réseau d’entreprise” 

APP1MRE 



3

Semestre : 1 Volume horaire : TP : 15h 


Introduction aux réseaux d’entreprise. Les protocoles de l’Internet 


Rapport 

Mots Clés : 

Objectifs : 

Mettre en place, sur des exemples concrets, les concepts présentés dans les deux cours précédents. 

Programme : 

Définition et mise en place sur une plate-forme réelle d’un réseau d’entreprise simple. 

Réseaux Longue Distance 

APP2RLD 



Semestre : 2 Volume horaire : Cours : 18h - TD : 12h 


Introduction aux Réseaux d’entreprise 


Examen 

Mots Clés : 

Réseaux Longue Distance, X.25, Frame Relay, ATM 

Objectifs : Présentation des principes de base des réseaux longue distance. Description des architectures et des niveaux 

de protocoles associés. 

Programme : 

– Introduction aux réseaux longue distance (WAN) à commutation de paquets 

– Présentation de l’architecture X25 

– Description des protocoles de contrôle de liaison type HDLC et LAPB 

– Description du protocole de niveau paquet X25/3 

– Le relayage de Trames 

– Présentation de l’architecture ATM 

– Les couches physiques pour l’ATM 

– Description de la couche ATM 

– Description des couches d’adaptation à l’ATM 

– Signalisation et bases de la QoS. 

Réseaux des opérateurs de téléphonie 

APP3ROT 



Semestre : 3 Volume horaire : Cours : 24h TD : 6h 


Réseaux longue distance 


Examen 

Mots Clés : 

Téléphonie, RTC, RNIS, SS7, SDH/PDH, GSM 

4

Objectifs : 

Présentation des principes de base des réseaux télécoms et des réseaux téléphoniques 

Programme : 

– Introduction aux réseaux d’opérateurs 

– le réseau d’accès RNIS 

– le réseau Réseaux Téléphoniques Commutés 

– les couches physiques pour le RTC 

– la signalisation téléphonique SS7 

– le réseau d’accès GSM 

Protocoles avancés de l’Internet 

APP3PAI 



Semestre : 3 Volume horaire : Cours : 18h TD : 3h TP : 9h 


Les protocoles de l’Internet 


Examen 

Mots Clés : 

Objectifs : 

Comprendre le fonctionnement d’un gros réseau de type Internet 

Programme : 

– Présentation de l’architecture (technique et administrative) de l’Internet. 

– Adressage IPv6 

– Routage inter domaine et intra domaine (RIP, OSPF, BGP). 

– Evolutions de TCP liées au contrôle de congestion. 

– Problèmes et outils d’interconnexion (filtrage, NAT, ...) 

Architecture des réseaux locaux 

APP3ARL 





Introduction aux réseaux d’entreprise 


Examen 

Mots Clés : 

Objectifs : 

Méthodes d’accès, pont, commutateur, architecture des réseaux locaux 

Description approfondie de l’architecture des réseaux locaux. 

Programme : 

– Introduction à la modélisation (notions de canal, de signal, de bruit, de filtre, ...) 

– Description du contrôle d’accès au support d’accès (MAC) : CSMA-CD, token-ring, CSMA-CA, ... 

– Interconnexion les ponts/commutateurs, le spanning tree 

– Les réseaux virtuels, la QoS 

– Les évolutions du modèle 802.3 : MII, sous-couches RS PMA,PMD et auto négociation 

– Ethernet gigabit 

– Achitecture des réseaux sans fils (WiFi, WiMax) 

5

– Description des standards 802.11 et 802.16, des modulations radio à la gestion de la QoS 802.11e 

– Interconnexion fil/sans fil : points d’accès 

Interconnexion des systèmes 

APP3IDS 



Semestre : 3 Volume horaire : Cours : 24h TP : 6h 

Modules pré-requis : Protocoles (avancés) de l’Internet, Réseaux longue distance, réseaux d’opérateurs de téléphonie, 

architecture des réseaux locaux 


Examen 

Mots Clés : 

Objectifs : 

Interconnexion, Modèle OSI, Protocoles et Services, passerelles 

Décrire le modèle de référence OSI, Maîtriser les techniques d’interconnexion et les passerelles 

Programme : 

– Introduction : les besoins en interconnexion 

– Le modèle de référence OSI : vocabulaire, service, protocole, architecture 

– Les solutions d’interconnexion 

– L’interconnexion IEEE 

– L’interconnexion IETF 

Ingénierie des réseaux 

APP4IDR 





Architecture des réseaux locaux, Protocoles avancés de l’Internet 


Examen 

Mots Clés : 

Objectifs : 

Présentation des outils permettant de maîtriser un réseau 

Programme : 

– Routage à QoS (PNNI, ...) 

– Ingénierie de trafic : MPLS, VPN, ... 

– Boites à outils (ATM, DiffServ, ...) : shaping, policing, scheduling, ... 

Projet ”Architecture des réseaux d’entreprise” 

APP4ARE 




6


Protocoles avancés de l’Internet, Interconnexion des systèmes, Ingénierie des réseaux 


Rapport 

Mots Clés : 

Objectifs : 

Projet, ingénierie, interconnexion 

Mettre en place, sur des exemples concrets, les concepts présentés dans les cours précédents. 

Programme : 

Définition de l’architecture et mise en place, dans un environnement réel ou partiellement émulé, d’un réseau d’entreprise. 

Mobilité Réseaux, Multicast 

APP5MRM 





protocoles avancés de l’Internet, Interconnexion de Systèmes 


Examen 

Mots Clés : 

Objectifs : 

MIP, HMIP, FMIP, Multicast 

Décrire la mobilité vue du niveau réseau et les solutions pour le multicast 

Programme : 

– Introduction 

– La mobilité IP 

– Les extensions : FMIP, HMIP 

– Les principes du multicast, les protocoles de multicast 

Réseaux d’opérateurs 

APP5ROP 



Semestre : 5 Volume horaire : Cours : 30h 


Réseaux Longue Distance, Réseaux d’opérateurs téléphoniques 


Examen 

Mots Clés : ADSL, FTTH, WiMAX, boucle locale, Réseaux Métropolitains, Coeurs de Réseaux, WDM, SDHnG, Réseaux 

de paquets optiques 

Objectifs : 

Décrire les réseaux d’opérateurs et leurs évolutions récentes 

Programme : 

– Introduction : Réseaux d’accès, métropolitains et coeurs de réseaux 

– Les réseaux d’accès sans fil, cuivre, optiques 

– Les réseaux métropolitains : évolutions de la SDH, Solutions Ethernet 

– Les réseaux de coeurs : SDH, WDM, ASON, Réseaux de paquets optiques 

7

Réseaux d’opérateurs mobiles/sans fil 

APP5ROM 





Réseaux Longue Distance, Réseaux d’opérateurs téléphoniques, Architecture des Réseaux locaux 


Examen 

Mots Clés : 

Objectifs : 

GPRS, UMTS, LTE, WiMax, DVB, 4G 

décrire les réseaux d’opérateurs mobiles et sans fil 

Programme : 

– Introduction : positionnement des différents standards 

– Les réseaux ITU-T : GPRS, EDGE, UMTS, HS(D)PA, LTE 

– Les réseaux IEEE : WiMAX, 4G 

– Réseaux Maillés 

– Les réseaux DVB 

Services 


APP5SRV 





Examen 

Mots Clés : 

Objectifs : 

Protocoles applicatifs, VoIP, SIP, réseaux d’overlay 

Panorama des protocoles applicatifs ”multimédias” 

Programme : 

– Présentation de l’architecture de services IMS 

– Présentation des principaux protocoles applicatifs du plan de contrôle (RSVP, SDP, SIP, ...) et du plan utilisateur (RTP, 

RTSP, ...) 

– Introduction des réseaux de recouvrement 

Réseaux satellites et réseaux embarqués 

APP5RES 





Réseaux d’opérateurs téléphoniques, Réseaux longue distance, architecture des réseaux locaux 


Examen 

Mots Clés : 

Réseaux Embarqués, CAN, FIP, Réseaux satellite, DVB-S, DVB-S2, DVB-RCS 

8

Objectifs : 

Introduction aux réseaux embarqués et aux réseaux par satellite 

Programme : 

– Introduction aux réseaux embarqués 

– Les standards FIP, CAN 

– Introduction aux réseaux satellites 

– Les réseaux DVB-S, DVB-S2 et DVB-RCS 

Réseaux locaux avancés 

APP5RLA 





architecture des réseaux locaux 


Examen 

Mots Clés : 

Objectifs : 

WLAN, WPAN, Zigbee, UWB, CPL 

Décrire les nouveaux standards pour les réseaux locaux 

Programme : 

– WPAN : Zigbee et UWB 

– WLAN : les nouveaux standards 802.11 

– Courants Porteurs en ligne (CPL) 

Ingénierie avancée 

APP5IAV 






Examen 

Mots Clés : 

Objectifs : 

Ingénierie de trafic, qualité de service, RSVP-TE, MPLS-TE, OSPF-TE, QBGP 

Présenter les outils les plus avancés d’ingénierie de trafic. 

Programme : 

– Prise en compte explicite de contraintes d’ingénierie de trafic et de qualité de service dans le routage et l’acheminement 

des glots. 

– Reroutage rapide 

– Distribution des labels sur un LSP en fonction de critères de QoS 

– Extensions des protocoles de routage pour la QoS 

9

Gestion de Réseaux 

APP5GDR 





téléphonie 

Protocoles avancés de l’Internet, Architecture des réseaux locaux, Réseaux des opérateurs de 


Examen 

Mots Clés : 

Objectifs : 

Gestion de Réseaux, SNMP, MIB, outils de gestion de réseaux 

Sensibilisation à la gestion de réseaux, au protocole SNMP et aux outils de gestion 

Programme : 

– Introduction 

– la gestion des réseaux informatiques 

– la gestion des réseaux de télécommunications 

– les outils de gestion de réseaux 

Programmation et Génie Logiciel (UE-2) 

Méthodologie de la programmation 

APP1MPG 



Semestre : 1 Volume horaire : Cours-TD : 30h - TP : 30h 



Examen 

Mots Clés : Algorithmique - Programmation - C - 

Objectifs : 

langage C. 

Maîtriser les techniques de conception et de programmation structurée et modulaire à travers l’étude du 

Programme : 

– Rappels d’algorithmique : notion d’algorithme, structures de contrôle, récursivité, principe de l’allocation mémoire. 

– Conception descendante par affinages successifs et par analyse récursive. 

– Programmation par contrat et assertions avec le langage C comme support. 

– Propriétés des algorithmes : complexité, terminaison, vérification, tests. 

– Types abstraits de données : structures de listes, piles, files, arbres, graphes,. . ., algorithmique itérative et récursive sur 

ces structures. 

– Conception modulaire. 

– Cycle de vie d’un logiciel. 

Projet Méthodologie de la programmation 

APP1PMP 



10

Semestre : 1 Volume horaire : 30h sur une semaine 




Projet 

Mots Clés : Algorithmique - Programmation - C - 

Objectifs : 

Mise en pratique des concepts vus dans le cours Méthodologie de la programmation 

Programme : 

Conception et développement d’algorithmes sur les structures de donnée classiques (arbre, pile, file, . . .). 

Conception et programmation objet avec le langage JAVA 

APP2POB 



Semestre : 2 Volume horaire : Cours - TD : 40h - TP : 20h 




Examen 

Mots Clés : 

Objectifs : 

de conception. 

Classe, Objet, Héritage, Liaison tardive, Polymorphisme, Interface 

Maitriser les techniques de conception et de programmation objet à travers l’étude de Java, UML et les patrons 

Programme : 

– Concepts objets de base (classes, méthodes, attributs) 

– Concepts objets avancés (héritage, liaison tardive, polymorphisme, interface, classe abstraite) 

– Définition des principes de UML (diagrammes de classes, etc) 

– Présentation de quelques patrons de conception(visiteur, observateur, ...) 

– Application au développement de logiciels en utilisant UML,les patrons de conception et JAVA. 

Génie Logiciel appliqué 

APP2GLA 





Conception et programmation objet avec le langage JAVA 


Examen 

Mots Clés : 

Objectifs : 

Make, Ant, Junit, Eclipse 

Maitriser les outils d’aide à la programmation objet 

Programme : 

– Outils make, ant, junit, eclipse, svn 

– Normes de codage et métriques 

– Présentation des API classiques 

11

Projet Génie Logiciel 

APP2PGL 



Semestre : 2 Volume horaire : 45h 


Génie Logiciel appliqué, Conception et programmation objet avec le langage JAVA 


Projet 

Mots Clés : 

Objectifs : 

Programmation JAVA, outils d’aide à la programmation objets. 

Maitriser la conception Objet et le développement de programmes en JAVA 

Programme : 

Conception et développement d’applications selon une méthodologie Objet. 

Traduction des langages 

APP5TDL 





Architecture, Conception et programmation objet avec le langage JAVA 


Examen 

Mots Clés : 

Grammaire. Analyse syntaxique. Grammaire attribuée. Table des symboles. Types. Génération de code. 

Objectifs : Le but de ce module est de présenter les outils théoriques et pratiques nécessaires à la réalisation d’un compilateur 

et à la traduction de langages. 

Programme : 

– Introduction illustrée à la compilation. 

– Analyse lexicale, outil lex. 

– Grammaires. Analyse syntaxique descendante. 

– Grammaires attribuées. 

– Table des symboles, contrôle de type, gestion de la mémoire, génération de code. 

Gestion de projets 

APP5GDP 





Projet Génie Logiciel 


Examen 

12

Mots Clés : 

Objectifs : 

Définir la notion de gestion de projet, le rôle du chef de projet et les concepts et méthodes associés 

Programme : 

– Concepts élémentaires liés à la notion de projet(Cahier des charges, Acteurs, ...). 

– Qualité 

– Evaluation des risques 

Génie Logiciel Avancé 

APP5GLV 





Genie logiciel appliqué. 


Examen 

Mots Clés : 

Objectifs : 

Composants logiciels, Java Beans, J2EE, MDA 

Maitriser la conception d’applications à l’aide de composants logiciels selon une approche orientée modèle 

Programme : 

– Composants logiciels : 

– Notion de composant logiciel (des objets aux composants) 

– Fondements des modèles à base de composants ; ADL 

– Constructions de base (intercepteurs, adaptateurs, etc.) 

– Études de cas Java Beans, Enterprise Java Beans et architectures J2EE 

– MDA 

– Métamodélisation 

– Transformation de modèles 

Outils d’ingénierie (UE-3) 

Probabilités 


APP1PRO 





Examen 

Mots Clés : 

Espace probabilisé. Varaible aléatoire. Loi de probabilité. Loi des grands nombres. 

Objectifs : Acquérir les notions de base nécessaires au calcul des probabilités afin de maitriser la modélisation stochastique 

qui est indispensable dans de nombreux domaines de la vie économique, mais aussi dans les sciences de l’ingénieur : fiabilité, 

contrôle de qualité. 

Programme : 

13

– Espaces probabilisés et calcul des probabilités. 

– Variables aléatoires réelles : cas discret, cas à densité. 

– Vecteurs aléatoires réels ; loi conjointe ; lois marginales ; changement de variables ; lois et espérances conditionnelles ; 

vecteurs gaussiens. 

– Fonction caractéristique ; convergence et grands théorèmes : lois des grands nombres, théorème de la limite centrée. 

Graphes et RO 


APP1GRO 





Examen 

Mots Clés : Graphes, réseaux, algorithmique, organisation, système, interaction, optimisation, métaheuristiques, jeux, 

algorithme génétique. 

Objectifs : Découvrir et maîtriser quelques apports notoires de la théorie des graphes au travers de méthodes de résolution 

de familles classiques de problèmes. Connaître et maîtriser les méthodes mathématiques permettant de résoudre des problèmes 

d’organisation. 

Programme : 

– Graphes 

– Recherche de chemins de longueur optimale : méthodes de MOORE-DIJKSTRA et de FORD. 

– Applications : Réseaux PERT. 

– Recherche de parcours hamiltoniens : méthodes de KAUFMANN/MALGRANGE et DEMOUCRON 

– Application : voyageur de commerce. Recherche de mots optimaux : méthode de FORD-FULKERSON. 

– Recherche de parcours eulériens : méthode d’ EULER. Problèmes d’affectation : méthode hongroise. 

– Arbres, arborescences, cycles et co-cycles. Théorème du nombre cyclomatique. 

– Recherche d’arbres de poids optimaux : méthode de KRUSKAL. 

– Graphes planaires. 

– RO 

– Objectif, Problème d’Organisation, Exemple 

– Systèmes 

– Programmation dynamique 

– Programmation linéaire continue 

– Optimisation 

– Méthodes de descente systématique 

– Méthodes de descente non systématique 

– Programmation entière 

– Théorie des jeux 

– Algorithmes génétiques 

Automates 


APP1AUT 




14


Examen 

Mots Clés : 

Objectifs : 

des systèmes. 

langages, automate fini à états, modélisation, non-déterminisme 

Comprendre les automates à états finis et leurs extensions, en particulier dans leur utilisation pour modéliser 

Programme : 

– Notion sur les langages en informatique. 

– Définition des automates à états finis. 

– Utilisation pour la modélisation de systèmes (résolution de problèmes, architecture, IHM, réseau, synchronisation...). 

– Non-déterminisme, déterminisation, minimisation. 

– Relation avec les expressions régulières. 

– Extensions : automates à compteurs, automates à piles, transducteurs... 

Statistiques 


APP3STA 




Probabilités 


Examen 

Mots Clés : 

Estimation, tests statistiques 

Objectifs : Comprendre le modèle statistique et les principales méthodes d’estimation et de détection. Donner les bases 

de l’estimation : qualités d’un estimateur (sans biais, convergent, ecace), méthodes de construction d’un estimateur (maximum 

de vraisemblance, estimation bayésienne...). 

Programme : 

– Estimation 

– Introduction à la statistique - Rappel des outils de probabilités nécessaires 

– Introduction à l’estimation - notion de biais - variance - calcul sur des exemples simples 

– Estimation : Borne de Rao-Cramer - Propriétés des estimateurs efficaces 

– Etudes d’estimateurs : biais, variance, efficacité 

– Construction d’un estimateur par la méthode du maximum de vraisemblance - exemples simples 

– Construction d’un estimateur : méthode des moments, maximum de vraisemblance, Bayésien, par intervalle de confiance 

– Etude d’estimateurs du maximum de vraisemblance 

– Etude d’estimateurs bayésiens 

– Tests 

– Tests paramétriques - risques alpha, béta - exemple de test 

– Test optimal de Neyman-Pearson en hypothèses simples et composites 

– Construction de test optimal de Neyman-Pearson 

– Tests non paramétrique de Kolmogorov et Kolmogorov-Smirnov 

– Test non paramétrique du Chi2 

Logique, Preuve de Programme par Induction 

APP3PPI 




15



Examen 

Mots Clés : 

Objectifs : 

logique mathématique, systèmes de déduction, preuves de programmes 

Introduire la notion de vérification de programmes par la preuve. Utiliser un assistant de preuve. 

Programme : 

– Logique des propositions et des prédicats. 

– Démonstration de tautologies en utilisant la déduction naturelle et le principe de résolution. 

– Induction sur les ensembles. 

– Induction structurelle de Burstall. 

– Application à la preuve de programme récursifs par induction. 

– Présentation et utilisation d’un assistant de preuve. 

Evaluation de performances des réseaux 

APP4EPR 





Proba-Stats, Langages objets, Théorie des Automates 


Examen 

Mots Clés : 

Files d’attente, Processus Stochastiques, Modélisation, Résolution par Simulation, Résolution Analytique 

Objectifs : Présentation des techniques de modélisation et d’évaluation de performance. 

Illustration de la théorie des files d’attente à l’aide de l’outil QNAP. 

Modélisation et évaluation de différents protocoles dans les environnements de simulation NS/OPNET 

Programme : 

– Besoins de modélisation pour l’évaluation de performance de systèmes 

– Les principaux formalismes de modélisation et application aux réseaux de communication (RdP, files d’attente) 

– Illustration d’une démarche de modélisation et de simulation dans le contexte de l’outil QNAP (Queing Network Analysis 

Package) 

– Présentation d’environnements de Simulation NS (Network Simulator) et OPNET ( Optimized Network Engineering 

Tools) et application à l’évaluation de plusieurs protocoles de communication 

Systèmes de transition, model checking 

APP4STMC 





Automates, Logique, Preuve de programme par induction 


Examen 

Mots Clés : 

système de transitions, logique temporelle 

16

Objectifs : 

Introduction à la modélisation formelle de systèmes et à leur validation. 

Programme : 

1. Modélisation par systèmes de transitions ; 

- Définition ; 

- Modélisation, exemples ; 

- Propriétés usuelles ; 

2. Spécification en logique temporelle ; 

- Logique temporelle linéaire LTL : syntaxe, sémantique ; 

- Logique temporelle arborescente CTL : syntaxe, sémantique ; 

- Propriétés usuelles en LTL et CTL ; 

3. Vérification automatique de propriétés ; 

- Algorithmique générale, paramètres importants ; 

- Cas de la logique LTL ; 

- Cas de la logique CTL. 

4. Application : le langage TLA 

- TLA : un langage de spécification / implantation ; 

- Modélisation de systèmes de transitions avec TLA, exemples de programmes concurrents ; 

- Spécification en logique temporelle linéaire LTL ; 

- Validation de la spécification par preuve manuelle ou par vérification automatique de modèles 

Spécification formelle de protocoles 

APP4SFP 





Théorie des Automates, Langages objets, Systèmes d’exploitation UNIX 


Examen 

Mots Clés : LDS (Langage de Description et de Spécification), Conception,spécification, simulation fonctionnelle, Système, 

protocoles, architecture 

Objectifs : Comprendre les limites d’une description informelle d’un système complexe, et l’intérêt des représentations 

graphiques pour des flux de contrôle non linéaires (systèmes réactifs). Apprendre à modéliser un protocole avec le langage SDL. 

Programme : 

– Spécification formelle : intérêt de la spécification formelle dans un cycle de développement, positionnement de SDL dans 

cette démarche, bénéfices attendus ; 

– SDL minimal : machines à état communiquant par message ; 

– SDL avancé : manipulation de variables, structures de contrôle, procédures, processus dynamiques ; 

– TP : modélisation du protocole ’Send and Wait’. 

Sécurité informatique et réseaux 

APP5SIR 





Protocoles avancés de l’Internet, Systèmes répartis, Réseaux des opérateurs de téléphonie 

17


Examen 

Mots Clés : 

Objectifs : Introduire la notion de sécurité des systèmes et des réseaux. 

Développer les mécanismes de cryptographie et autres mécanismes de sécurité. 

Analyser les risques et évaluer la sécurité des systèmes. 

Programme : 

– Notions de base 

– Menace, vulnérabilités, attaques, intrusions et risques de sécurité 

– Introduction à la cryptographie 

– Chiffrement symétrique :DES, 3DES, IDEA, AES 

– Chiffrement asymétrique : RSA, ElGamal, Diffie Hellman 

– Fonctions de Hachage et contrôle d’intégrité : MD5, SHA-1, SHA-2, MAC, HMAC, ... 

– Signature électronique 

– Certificats et infrastructures de gestion de clés 

– Protocoles d’authentification : Défi-Réponse, S-Key, OTP, Zéro-Knowledge, Fiat-Shamir 

– Applications : pare-feux, SSL / TLS, IPSec, Kerberos, PGP 

– Les critères communs (norme ISO 15408 pour l’évaluation de la sécurité) 

– Méthodes d’analyse des risques : la méthode EBIOS (Expression des besoins et identification des objectives de sécurité) 

Simulation / bisimulation, calcul de processus 

APP5SCP 





systèmes de transitions 


Examen 

Mots Clés : 

simulation, bisimulation, calcul de processus, raffinement 

Objectifs : Ce module a pour objectif de présenter les notions fondamentales de simulation et bisimulation entre systèmes 

de transitions. Afin d’appliquer ces notions, nous étudions premièrement un calcul de processus dans lequel ces notions sont 

liées à la substituabilité entre processus. Puis, plus concrètement, nous étudierons un langage de spécification et de programmation 

à modules, le langage TLA, pour lequel on retrouve les notions classiques de raffinement de programmes, de couple 

spécification/implantation et de sous-typage, déclinées formellement à partir de la définition de la simulation. 

Programme : 

1. Simulation et bisimulation ; 

- Contexte général : systèmes de transitions, sous-typage, raffinement, spécification/implantation 

- Simulation et bisimulation forte, propriétés ; 

- Simulation et bisimulation faible, propriétés ; 

- Algorithmes de calcul de plus grande simulation / bisimulation 

2. Calcul de processus CCS ; 

- Syntaxe ; 

- Sémantique par règles de réduction ; 

- Equivalence structurelle, simulation, bisimulation entre processus ; 

- Algorithmes de calcul de plus grande simulation / bisimulation 

3. Raffinement de programmes séquentiels ; 

- Cadre général : programmation / raffinement de modules, implantation en TLA ; 

- Sémantique de type jeu des modules ; 

18

- Expression du raffinement entre modules, lien avec la simulation ; 

- Différents raffinements classiques, exemples. 

Validation par analyse statique 

APP5VAS 





Automates, Logique, Preuve de programme par induction. 


Examen 

Mots Clés : 

Validation des systèmes, Techniques formelles 

Objectifs : Présentation des méthodes permettant de vérifier les propriété sur des programmes sans les exécuter. La 

validation par analyse statique consiste à vérifier statiquement (sans exécuter les programmes) des propriétés dynamiques (à 

l’exécution) des programmes. 

Programme : 

– Présentation des principales techniques d’analyse : inférence de type et interprétation abstraite. 

– Présentation des classes de propriétés à vérifier comme par exemple : 

– le référencement d’une variable avec une valeur indéfinie ; 

– une interface inconsistante entre modules et composants ; 

– des variables qui ne sont jamais utilisées ; 

– du code non accessible (code mort) ; 

– la violation des standards de programmation ; 

mais aussi : 

– la sûreté (par exemple, absence d’erreurs à l’exécution) ; 

– la vivacité (par exemple, garantie de réponse à un signal) ; 

– la sécurité (par exemple, confidentialité d’informations traitées par un programme) ; 

– . . . 

Certification industrielle 

APP5CTI 






Examen 

Mots Clés : 

Objectifs : 

Maitriser le processus de certification 

Programme : 

– Principes de la Certification 

– Certification de produits industriels et de services 

– Référentiel de certification 

– Méthode d’obtention d’un certificat 

19

– Organisme certificateur 

Systèmes d’information (UE-4) 

Bases de données 


APP3BD 





Examen 

Mots Clés : 

Modèle entité-association, modèle relationnel, normalisation, SQL, modèle objet. 

Objectifs : L’objectif de ce cours est d’introduire les concepts nécessaires pour la définition et l’implémentation d’une 

base de données. Ce cours est complété par des TP permettant de se familiariser avec Oracle et JDBC. 

Programme : 

– Introduction aux systèmes de gestion de base de données. 

– Architecture d’une base de données. Fonctionnalités des systèmes de gestion de base de données. 

– Le modèle entité-association : classes d’entités, classes de liaisons. 

– Le modèle de données relationnel : définition, langages de définition et de manipulation de données (Algèbre Relationnelle, 

SQL.) . 

– Processus de normalisation : dépendances fonctionnelles, dépendances multi- valuées, formes normales. 

– Le modèle objet : définition et langage de manipulation. 

– Techniques d’implémentation : Organisation physique des données. 

– Transactions, reprise et contrôle des accès concurrents. Confidentialité, contraintes d’intégrité. 

Progiciels(ERP, CMS) 

APP5WEB 





Intergiciel, Java, base de données 


Examen 

Mots Clés : 

Objectifs : 

Présenter les principes des progiciels. 

Programme : 

– ERP : Définitions et étapes de mise en place de progiciels. 

– CMS : Créer, éditer, gérer et publier du contenu de manière cohérente et organisée 

– Etude de cas 

20

Multimédia 


APP5MME 





Examen 

Mots Clés : 

Introduire les technologies informatiques nécessaires à la conception et au déploiement d’applications mul- 

Objectifs : 

timédia 

multimédia, MPEG, streaming, qualité de service 

Programme : 

– représentation des contenus, codages, compression 

– décrire pour accéder : indexation des contenus, stockage 

– diffusion des contenus, streaming, protocoles applicatifs de distribution et de signalisation (RTP/RTCP/RTSP...) 

– adaptation des contenus, personnalisation 

– le cas MPEG* 

– les différentes familles de normes de l’ISO 

– processus de codage, d’indexation et d’échange de contenus numériques 

– introduction aux API dédiées au développement d’applications multimédias (Java Media Framework, QuickTime, Windows 

Media, Helix) 

– 3D, modélisation géométrique, exploitation du matériel (OpenGL, 

Infrastructures Informatiques (UE-5) 

Architecture 


APP1ARC 





Examen 

Mots Clés : 

codages, algèbre de Boole, circuit combinatoire, circuit séquentiel, microprocesseur, assembleur, FPGA 

Objectifs : Ce cours a pour objectif la compréhension théorique et pratique de la logique combinatoire et séquentielle, qui 

est ensuite appliquée à la conception et réalisation d’une architecture d’ordinateur 32 bits simple. 

Programme : 

– système de numération binaire 

– codage des nombres entiers naturels et relatifs, des caractères, des 

– nombres réels, détection d’erreurs algèbre de Boole 

– portes combinatoires, synthèse des circuits combinatoires 

– graphes d’états, bascules, synthèse des circuits séquentiels 

– circuits réutilisables : encodeurs, décodeurs, multiplexeur, compteurs, comparateurs, unités arithmétiques et logiques, 

décaleurs 

– mémoires 

– structure d’un microprocesseur : micromachine, séquenceur 

– programmation en assembleur d’un microprocesseur, interruptions 

21

Systèmes centralisés 

APP2SCN 



Semestre : 2 Volume horaire : Cours 16H - TD 15h - TP 14h 

Modules pré-requis : Langage C. 


Examen 

Mots Clés : 

système d’exploitation, interface matériel/logiciel, gestion des ressources, processus, E/S, mémoire virtuelle 

Objectifs : L’objectif de ce module est double : appréhender et maîtriser les principes de base utilisés dans la conception 

des systèmes d’exploitation centralisés, mettre en pratique ces connaissances sur un système particulier (unix). 

Programme : 

Le cours présente les concepts fondamentaux des systèmes d’exploitation : processus et fichiers, mémoire virtuelle, gestion 

des entrées/sorties ainsi que les principes de base de structuration : structure en couches, notion de machine virtuelle, noyau 

(superviseur), langage de script, contrôle des usagers, allocation des ressources, ordonnancement des processus. Enfin, une 

introduction à l’administration système permet de mettre en pratique ces notions. 

Les concepts présentés sont illustrés par des exemples de systèmes réels : Unix, Linux, Windows. Les cours-travaux dirigés 

ont pour objectif d’acquérir une connaissance plus approfondie de la programmation d’un système d’exploitation particulier 

via ses deux niveaux d’utilisation : d’une part son langage de commande et d’autre part ses primitives ”noyau”. Les travaux 

pratiques permettent une expérimentation réelle des programmes développés en cours-travaux dirigés. 

Systèmes concurrents 

APP3SCC 



Semestre : 3 Volume horaire : Cours 16h - TD 6H - TP 8h 


systèmes centralisés, java 


Examen 

Mots Clés : 

Objectifs : 

Parallélisme, processus concurrents, synchronisation 

Étudier les concepts de la programmation parallèle et concurrente dans un contexte centralisé. 

Programme : 

Dans un premier temps, le problème de la synchronisation des processus est étudié. Les schémas génériques de coopération 

ou concurrence (exclusion mutuelle, producteur-consommateur, client-serveur, lecteurs-rédacteurs, allocateur, etc) sont exposés 

et résolus à l’aide des mécanismes classiques de synchronisation (sémaphores, événements, moniteurs, rendez-vous). La notion 

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 

notion de transaction est étudiée en particulier sous l’aspect sérialisation. 

Intergiciels 


APP4ITG 


Semestre : 4 Volume horaire : Cours TD 25h - TP 20h 

22


systèmes centralisés, systèmes concurrents, java 


Examen 

Mots Clés : 

systèmes répartis, intergiciels, client-serveur, mémoire répartie, intergiciels à messages 

Objectifs : On désigne par intergiciels les logiciels se situant entre le système d’exploitation et les applications, permettant 

de faciliter la construction des applications centralisées ou réparties. Ce cours présente les intergiciels permettant la construction 

d’applications en exploitation des modèles à partage de mémoire ou à échanges de messages synchrones ou asynchrones. 

Programme : 

– Introduction aux systèmes répartis 

– La communication par message - l’interface socket 

– Le modèle client-serveur - Java RMI - Corba 

– La mémoire virtuelle répartie 

– Les intergiciels à messages - l’interface JMS 

Projet système 


APP4PSY 




systèmes concurrents, intergiciels, java 


Projet 

Mots Clés : 

Objectifs : 

systèmes concurrents, intergiciels, client-serveur, mémoire répartie 

Mettre en pratique les compétences acquises lors des enseignements de systèmes concurrents et d’intergiciels. 

Programme : 

Projet de développement d’un système complexe alliant parallélisme et répartition. 

Systèmes répartis 


APP4SYR 


Semestre : 4 Volume horaire : Cours 32h - TP 13h 


systèmes concurrents, intergiciels 


Examen 

Mots Clés : 

temps logique, état global, causalité, tolérance aux fautes 

Objectifs : L’objectif de ce cours est de présenter un tour d’horizon des principes et techniques qui permettent de répartir 

des traitements et des données sur des architectures distribuées. 

Programme : 

– les bases théoriques : notion de protocole, modèle de calcul réparti, notion de causalité. 

23

– les mécanismes de base : horloges logiques, réseaux logiques, protocoles ordonnés, groupes de diffusion, vagues, synchronisme 

virtuel, etc 

– les algorithmes répartis génériques : exclusion mutuelle, terminaison, détection de l’interblocage, consensus, prise de cliché, 

cohérence de données répliquées. 

– les principaux aspects non fonctionnels à prendre en compte lors de la conception des applications réparties : localisation, 

tolérance aux fautes, sécurité, disponibilité, autonomie, adaptabilité, etc 

– les tendances actuelles des applications réparties : 

– architectures dynamiques (ad hoc, pair à pair) 

– mobilité 

– grilles de calcul : culture générale sur les calculateurs à hautes performances et maîtrise des techniques de programmation 

propres aux architectures à mémoire distribuée 

– Grille de données : accès transparent aux données, persistance et cohérence des données dans un système distribué, 

dynamique de grande taille. 

– agents mobiles 

Le cours est illustré par des exemples de systèmes ou services mettant en œuvre les principes et mécanismes exposés : à 

titre d’exemple, pour les fichiers répartis, NFS, pour les protocoles de groupe et le synchronisme virtuel : ISIS, Ensemble, 

etc. 

Systèmes temps-réel 

APP5STR 





systèmes centralisés, systèmes concurrents 


Examen 

Mots Clés : 

Temps-Réel, synchrone, asynchrone, ordonnancement 

Objectifs : Sensibilisation à la problématique des systèmes informatiques temps-réel. Présentation des problèmes de conception, 

vérification et ordonnancement, ainsi que de quelques méthodes de résolutions. 

Programme : 

– Problématique, spécifications et langages temps réels 

– Introduction : Présentation de la problématique temps-réel, les deux principales approches (synchrones et asynchrone), 

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 

temps réel. 

– Langages pour le temps réel : Approche synchrone : Lustre, Esterel 

– Approche asynchrone : SDL 

– Ordonnancement et systèmes temps-réel 

– ordonnancement des taches indépendantes périodiques ou non 

– ordonnancement des taches dépendantes 

– gestion de surcharge 

– ordonnancement multi-processeurs 

Intergiciels adaptables 

APP5IAD 





Intergiciels 

24


Examen 

Mots Clés : 

Programmation par aspects, Composants logiciels 

Objectifs : Maitriser les concepts et techniques permettant de développer des logiciels adaptant leur comportement en 

fonction de leur contexte d’utilisation. 

Programme : 

– Programmation par aspects (ASPECT-J) 

– Composants logiciels (FRACTAL) 

– OSGI 

25

Le syllabus - Enseeiht

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?