PROGRAMME DES ENSEIGNEMENTS ENSEEIHT

Dimension: px
Commencer à balayer dès la page:

Download "PROGRAMME DES ENSEIGNEMENTS ENSEEIHT"

Transcription

1 PROGRAMME DES ENSEIGNEMENTS ENSEEIHT Apprentissage informatique et réseau Niveau Bac+2 Liste des enseignements 3 Introduction aux réseaux d entreprise (APP1IRE ) Les protocoles de l Internet (APP1LPI ) Projet mise en place d un réseau d entreprise (APP1MRE ) Réseaux Longue Distance (APP2RLD ) Réseaux des opérateurs de téléphonie (APP3ROT ) Protocoles avancés de l Internet (APP3PAI ) Architecture des réseaux locaux (APP3ARL ) Interconnexion des systèmes (APP3IDS ) Ingénierie des réseaux (APP4IDR ) Projet Architecture des réseaux d entreprise (APP4ARE ) Mobilité Réseaux, Multicast (APP5MRM ) Réseaux d opérateurs (APP5ROP ) Réseaux d opérateurs mobiles/sans fil (APP5ROM ) Services (APP5SRV ) Réseaux satellites et réseaux embarqués (APP5RES ) Réseaux locaux avancés (APP5RLA ) Ingénierie avancée (APP5IAV ) Gestion de Réseaux (APP5GDR ) Programmation et Génie Logiciel (UE-2) 10 Méthodologie de la programmation (APP1MPG ) Projet Méthodologie de la programmation (APP1PMP ) Conception et programmation objet avec le langage JAVA (APP2POB ) Génie Logiciel appliqué (APP2GLA ) Projet Génie Logiciel (APP2PGL ) Traduction des langages (APP5TDL ) Gestion de projets (APP5GDP ) Génie Logiciel Avancé (APP5GLV ) Probabilités (APP1PRO ) Graphes et RO (APP1GRO ) Automates (APP1AUT ) Statistiques (APP3STA ) Logique, Preuve de Programme par Induction (APP3PPI ) Evaluation de performances des réseaux (APP4EPR ) Systèmes de transition, model checking (APP4STMC ) Spécification formelle de protocoles (APP4SFP ) Sécurité informatique et réseaux (APP5SIR ) Simulation / bisimulation, calcul de processus (APP5SCP ) Validation par analyse statique (APP5VAS ) Certification industrielle (APP5CTI )

2 Systèmes d information (UE-4) 20 Bases de données (APP3BD ) Progiciels(ERP, CMS) (APP5WEB ) Multimédia (APP5MME ) Infrastructures Informatiques (UE-5) 21 Architecture (APP1ARC ) Systèmes centralisés (APP2SCN ) Systèmes concurrents (APP3SCC ) Intergiciels (APP4ITG ) Projet système (APP4PSY ) Systèmes répartis (APP4SYR ) Systèmes temps-réel (APP5STR ) Intergiciels adaptables (APP5IAD )

3 Introduction aux réseaux d entreprise APP1IRE Semestre : 1 Volume horaire : Cours : 18h- TD : 6h- TP : 6h Réseaux locaux, téléphonie, ethernet, wifi 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. 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 IP, TCP, UDP Introduction aux protocoles de l Internet 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

4 Semestre : 1 Volume horaire : TP : 15h Introduction aux réseaux d entreprise. Les protocoles de l Internet Rapport Mettre en place, sur des exemples concrets, les concepts présentés dans les deux cours précédents. 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 Réseaux Longue Distance, X.25, Frame Relay, ATM Présentation des principes de base des réseaux longue distance. Description des architectures et des niveaux de protocoles associés. 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 Téléphonie, RTC, RNIS, SS7, SDH/PDH, GSM 4

5 Présentation des principes de base des réseaux télécoms et des réseaux téléphoniques 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 Comprendre le fonctionnement d un gros réseau de type Internet 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 Semestre : 3 Volume horaire : Cours : 18h TD : 6h TP : 6h Introduction aux réseaux d entreprise Méthodes d accès, pont, commutateur, architecture des réseaux locaux Description approfondie de l architecture des réseaux locaux. 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 : MII, sous-couches RS PMA,PMD et auto négociation Ethernet gigabit Achitecture des réseaux sans fils (WiFi, WiMax) 5

6 Description des standards et , des modulations radio à la gestion de la QoS e Interconnexion fil/sans fil : points d accès Interconnexion des systèmes APP3IDS Semestre : 3 Volume horaire : Cours : 24h TP : 6h Protocoles (avancés) de l Internet, Réseaux longue distance, réseaux d opérateurs de téléphonie, architecture des réseaux locaux 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 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 Semestre : 4 Volume horaire : Cours : 18h TD : 6h TP : 6h Architecture des réseaux locaux, Protocoles avancés de l Internet Présentation des outils permettant de maîtriser un réseau Routage à QoS (PNNI,...) Ingénierie de trafic : MPLS, VPN,... Boites à outils (ATM, DiffServ,...) : shaping, policing, scheduling,... Projet Architecture des réseaux d entreprise APP4ARE Semestre : 4 Volume horaire : TP : 15h 6

7 Protocoles avancés de l Internet, Interconnexion des systèmes, Ingénierie des réseaux Rapport Projet, ingénierie, interconnexion Mettre en place, sur des exemples concrets, les concepts présentés dans les cours précédents. 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 Semestre : 5 Volume horaire : Cours : 12h TP : 3h protocoles avancés de l Internet, Interconnexion de Systèmes MIP, HMIP, FMIP, Multicast Décrire la mobilité vue du niveau réseau et les solutions pour le multicast 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 ADSL, FTTH, WiMAX, boucle locale, Réseaux Métropolitains, Coeurs de Réseaux, WDM, SDHnG, Réseaux de paquets optiques Décrire les réseaux d opérateurs et leurs évolutions récentes 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

8 Réseaux d opérateurs mobiles/sans fil APP5ROM Semestre : 5 Volume horaire : Cours : 30h Réseaux Longue Distance, Réseaux d opérateurs téléphoniques, Architecture des Réseaux locaux GPRS, UMTS, LTE, WiMax, DVB, 4G décrire les réseaux d opérateurs mobiles et sans fil 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 Semestre : 5 Volume horaire : Cours : 9h TP : 6h Protocoles applicatifs, VoIP, SIP, réseaux d overlay Panorama des protocoles applicatifs multimédias 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 Semestre : 5 Volume horaire : Cours : 15h Réseaux d opérateurs téléphoniques, Réseaux longue distance, architecture des réseaux locaux Réseaux Embarqués, CAN, FIP, Réseaux satellite, DVB-S, DVB-S2, DVB-RCS 8

9 Introduction aux réseaux embarqués et aux réseaux par satellite 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 Semestre : 5 Volume horaire : Cours : 12h TP : 3h architecture des réseaux locaux WLAN, WPAN, Zigbee, UWB, CPL Décrire les nouveaux standards pour les réseaux locaux WPAN : Zigbee et UWB WLAN : les nouveaux standards Courants Porteurs en ligne (CPL) Ingénierie avancée APP5IAV Semestre : 5 Volume horaire : Cours : 15h 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. 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

10 Gestion de Réseaux APP5GDR Semestre : 5 Volume horaire : Cours : 9h TP : 6h téléphonie Protocoles avancés de l Internet, Architecture des réseaux locaux, Réseaux des opérateurs de 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 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 Programmation et Génie Logiciel (UE-2) Semestre : 1 Volume horaire : Cours-TD : 30h - TP : 30h Algorithmique - Programmation - C - langage C. Maîtriser les techniques de conception et de programmation structurée et modulaire à travers l étude du 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 Programmation et Génie Logiciel (UE-2) 10

11 Semestre : 1 Volume horaire : 30h sur une semaine Méthodologie de la programmation Projet Algorithmique - Programmation - C - Mise en pratique des concepts vus dans le cours Méthodologie de la programmation 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 Programmation et Génie Logiciel (UE-2) Semestre : 2 Volume horaire : Cours - TD : 40h - TP : 20h Méthodologie de la programmation 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 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 Programmation et Génie Logiciel (UE-2) Semestre : 2 Volume horaire : TP : 15h Conception et programmation objet avec le langage JAVA Make, Ant, Junit, Eclipse Maitriser les outils d aide à la programmation objet Outils make, ant, junit, eclipse, svn Normes de codage et métriques Présentation des API classiques 11

12 Projet Génie Logiciel APP2PGL Programmation et Génie Logiciel (UE-2) Semestre : 2 Volume horaire : 45h Génie Logiciel appliqué, Conception et programmation objet avec le langage JAVA Projet Programmation JAVA, outils d aide à la programmation objets. Maitriser la conception Objet et le développement de programmes en JAVA Conception et développement d applications selon une méthodologie Objet. Traduction des langages APP5TDL Programmation et Génie Logiciel (UE-2) Semestre : 5 Volume horaire : Cours - TD : 30h - TP : 30h Architecture, Conception et programmation objet avec le langage JAVA Grammaire. Analyse syntaxique. Grammaire attribuée. Table des symboles. Types. Génération de code. 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. 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 Programmation et Génie Logiciel (UE-2) Semestre : 5 Volume horaire : 30h Projet Génie Logiciel 12

13 Définir la notion de gestion de projet, le rôle du chef de projet et les concepts et méthodes associés Concepts élémentaires liés à la notion de projet(cahier des charges, Acteurs,...). Qualité Evaluation des risques Génie Logiciel Avancé APP5GLV Programmation et Génie Logiciel (UE-2) Semestre : 5 Volume horaire : 30h Genie logiciel appliqué. Composants logiciels, Java Beans, J2EE, MDA Maitriser la conception d applications à l aide de composants logiciels selon une approche orientée modèle 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 Probabilités APP1PRO Semestre : 1 Volume horaire : 30h Espace probabilisé. Varaible aléatoire. Loi de probabilité. Loi des grands nombres. 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é. 13

14 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 Semestre : 1 Volume horaire : 45h Graphes, réseaux, algorithmique, organisation, système, interaction, optimisation, métaheuristiques, jeux, algorithme génétique. 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. 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 Semestre : 1 Volume horaire : 15h 14

15 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 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 Semestre : 3 Volume horaire : 30h Probabilités Estimation, tests statistiques 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...). 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 Semestre : 3 Volume horaire : 30h 15

16 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. 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 Semestre : 4 Volume horaire : 45h Proba-Stats, Langages objets, Théorie des Automates Files d attente, Processus Stochastiques, Modélisation, Résolution par Simulation, Résolution Analytique 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 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 Semestre : 4 Volume horaire : 30h Automates, Logique, Preuve de programme par induction système de transitions, logique temporelle 16

17 Introduction à la modélisation formelle de systèmes et à leur validation. 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 Semestre : 4 Volume horaire : 15h Théorie des Automates, Langages objets, Systèmes d exploitation UNIX LDS (Langage de Description et de Spécification), Conception,spécification, simulation fonctionnelle, Système, protocoles, architecture 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. 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 Semestre : 5 Volume horaire : 30h Protocoles avancés de l Internet, Systèmes répartis, Réseaux des opérateurs de téléphonie 17

18 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. 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 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 Semestre : 5 Volume horaire : 30h systèmes de transitions simulation, bisimulation, calcul de processus, raffinement 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. 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

19 - Expression du raffinement entre modules, lien avec la simulation ; - Différents raffinements classiques, exemples. Validation par analyse statique APP5VAS Semestre : 5 Volume horaire : 15h Automates, Logique, Preuve de programme par induction. Validation des systèmes, Techniques formelles 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. 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 Semestre : 5 Volume horaire : 15h Maitriser le processus de certification Principes de la Certification Certification de produits industriels et de services Référentiel de certification Méthode d obtention d un certificat 19

20 Organisme certificateur Systèmes d information (UE-4) Bases de données APP3BD Systèmes d information (UE-4) Semestre : 3 Volume horaire : Cours - TD : 24h - TP : 6h Modèle entité-association, modèle relationnel, normalisation, SQL, modèle objet. 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. 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 Systèmes d information (UE-4) Semestre : 5 Volume horaire : 30h Intergiciel, Java, base de données Présenter les principes des progiciels. 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

PROGRAMME DETAILLE. Parcours en première année en apprentissage. Travail personnel. 4 24 12 24 CC + ET réseaux

PROGRAMME DETAILLE. Parcours en première année en apprentissage. Travail personnel. 4 24 12 24 CC + ET réseaux PROGRAMME DETAILLE du Master IRS Parcours en première année en apprentissage Unités d Enseignement (UE) 1 er semestre ECTS Charge de travail de l'étudiant Travail personnel Modalités de contrôle des connaissances

Plus en détail

2. DIFFÉRENTS TYPES DE RÉSEAUX

2. DIFFÉRENTS TYPES DE RÉSEAUX TABLE DES MATIÈRES 1. INTRODUCTION 1 2. GÉNÉRALITÉS 5 1. RÔLES DES RÉSEAUX 5 1.1. Objectifs techniques 5 1.2. Objectifs utilisateurs 6 2. DIFFÉRENTS TYPES DE RÉSEAUX 7 2.1. Les réseaux locaux 7 2.2. Les

Plus en détail

Parcours en deuxième année

Parcours en deuxième année Parcours en deuxième année Unités d Enseignement (UE) ECTS Ingénierie des réseaux haut 4 débit Sécurité des réseaux et 4 télécoms Réseaux mobiles et sans fil 4 Réseaux télécoms et 4 convergence IP Infrastructure

Plus en détail

Description des UE s du M2

Description des UE s du M2 Parcours en deuxième année Unités d Enseignement (UE) ECTS Ingénierie des réseaux haut 4 débit Sécurité des réseaux et 4 télécoms Réseaux mobiles et sans fil 4 Réseaux télécoms et 4 convergence IP Infrastructure

Plus en détail

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN 1. DÉVELOPPEMENT D'APPLICATION (CONCEPTEUR ANALYSTE) 1.1 ARCHITECTURE MATÉRIELLE DU SYSTÈME INFORMATIQUE 1.1.1 Architecture d'un ordinateur Processeur,

Plus en détail

Réseaux, 4 e édition Andrew Tanenbaum

Réseaux, 4 e édition Andrew Tanenbaum Réseaux, 4 e édition Andrew Tanenbaum Table des matières détaillée Préface 1. Introduction 1.1 Usage des réseaux d ordinateurs 1.1.1 Applications professionnelles 1.1.2 Applications domestiques 1.1.3 Utilisateurs

Plus en détail

Organisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et

Organisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et Organisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et l'anglais. L'étudiant a le choix entre deux filières

Plus en détail

Panorama des réseaux haut débit

Panorama des réseaux haut débit Panorama des réseaux haut débit Participants Ingénieurs, techniciens ou toutes personnes disposant des connaissances de base sur les réseaux et souhaitant les approfondir avec un panorama détaillé des

Plus en détail

SOMMAIRE Thématique : Réseaux et télécommunications

SOMMAIRE Thématique : Réseaux et télécommunications SOMMAIRE Thématique : Réseaux et télécommunications Rubrique : Réseaux - Télécommunications... 2 1 SOMMAIRE Rubrique : Réseaux - Télécommunications Evolution et perspective des réseaux et télécommunications...

Plus en détail

2009/2010 DESCRIPTIF DES UNITES D ENSEIGNEMENT OPTIONNELLES SPECIALITE RIM

2009/2010 DESCRIPTIF DES UNITES D ENSEIGNEMENT OPTIONNELLES SPECIALITE RIM DESCRIPTIF DES UNITES D ENSEIGNEMENT OPTIONNELLES SPECIALITE RIM Réseaux d infrastructure L évolution du marché des télécommunications conduit à cette dualité : du côté applicatif : il y a une convergence

Plus en détail

ECTS CM TD TP. 1er semestre (S3)

ECTS CM TD TP. 1er semestre (S3) Organisation du parcours M2 IRS en alternance De façon générale, les unités d enseignements (UE) sont toutes obligatoires avec des ECTS équivalents à 3 sauf le stage sur 27 ECTS et réparties sur deux semestres

Plus en détail

Groupe Eyrolles, 2000, 2004, ISBN : 2-212-11330-7

Groupe Eyrolles, 2000, 2004, ISBN : 2-212-11330-7 Groupe Eyrolles, 2000, 2004, ISBN : 2-212-11330-7 Sommaire Cours 1 Introduction aux réseaux 1 Les transferts de paquets... 2 Les réseaux numériques... 4 Le transport des données... 5 Routage et contrôle

Plus en détail

ANALYSTE PROGRAMMEUR DIPLÔME D ÉTABLISSEMENT

ANALYSTE PROGRAMMEUR DIPLÔME D ÉTABLISSEMENT école sciences industrielles & technologies de l information ANALYSTE PROGRAMMEUR DIPLÔME D ÉTABLISSEMENT Crédit : 120 ECTS Code DIE20 Niveau d entrée : Bac Niveau de sortie : Bac + 2 EN VAE Diplômes accessibles

Plus en détail

4.2 Unités d enseignement du M1

4.2 Unités d enseignement du M1 88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter

Plus en détail

Le programme d examens préparé par le Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe dix-sept disciplines du génie.

Le programme d examens préparé par le Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe dix-sept disciplines du génie. INTRODUCTION Le programme d examens préparé par le Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe dix-sept disciplines du génie. Le programme d examens de chaque spécialité

Plus en détail

Programme des épreuves des concours externes de recrutement des personnels techniques et administratifs de recherche et de formation

Programme des épreuves des concours externes de recrutement des personnels techniques et administratifs de recherche et de formation Programme des épreuves des concours externes de recrutement des personnels E1 RECRUTEMENT DES ASSISTANTS INGENIEURS DE RECHERCHE ET DE FORMATION...2 E1.1 Gestionnaire de base de données...2 E1.2 Développeur

Plus en détail

SOMMAIRE Thématique : Réseaux et télécommunications

SOMMAIRE Thématique : Réseaux et télécommunications SOMMAIRE... 2 1 SOMMAIRE Evolution et Perspective des réseaux et télécommunications (Séminaire)... 3 Evolution des réseaux mobiles (Séminaire)... 4 Téléphonie sur IP - Architectures et solutions (Séminaire)...

Plus en détail

Conception des systèmes répartis

Conception des systèmes répartis Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan

Plus en détail

ROUTEURS CISCO, PERFECTIONNEMENT

ROUTEURS CISCO, PERFECTIONNEMENT Réseaux et Sécurité ROUTEURS CISCO, PERFECTIONNEMENT Routage, OSPF, BGP, QoS, VPN, VoIP Réf: ROP Durée : 5 jours (7 heures) OBJECTIFS DE LA FORMATION Un cours de niveau avancé qui vous permettra de bien

Plus en détail

Modules du DUT Informatique proposés pour des DCCE en 2014/2015

Modules du DUT Informatique proposés pour des DCCE en 2014/2015 Modules du DUT Informatique proposés pour des DCCE en 2014/2015 Résumé de l offre : Parmi les 5500 heures d enseignement informatique dispensées au département informatique de l IUT (avec 2880 heures de

Plus en détail

//////////////////////////////////////////////////////////////////// Administration systèmes et réseaux

//////////////////////////////////////////////////////////////////// Administration systèmes et réseaux ////////////////////// Administration systèmes et réseaux / INTRODUCTION Réseaux Un réseau informatique est un ensemble d'équipements reliés entre eux pour échanger des informations. Par analogie avec

Plus en détail

Les Réseaux Informatiques

Les Réseaux Informatiques Les Réseaux Informatiques Licence Informatique, filière SMI Université Mohammed-V Agdal Faculté des Sciences Rabat, Département Informatique Avenue Ibn Batouta, B.P. 1014 Rabat Professeur Enseignement

Plus en détail

Partie 5 : réseaux de grandes distances. Nicolas Baudru mél : nicolas.baudru@esil.univmed.fr page web : nicolas.baudru.esil.perso.univmed.

Partie 5 : réseaux de grandes distances. Nicolas Baudru mél : nicolas.baudru@esil.univmed.fr page web : nicolas.baudru.esil.perso.univmed. 1 Réseaux I Partie 5 : réseaux de grandes distances Nicolas Baudru mél : nicolas.baudru@esil.univmed.fr page web : nicolas.baudru.esil.perso.univmed.fr 2 Plan 1 Généralités sur les WAN 2 WANs d accès 3

Plus en détail

Administration Avancée de Réseaux d Entreprises (A2RE)

Administration Avancée de Réseaux d Entreprises (A2RE) D.U. Administration Avancée de Réseaux d Entreprises I. FICHE D IDENTITE DE LA FORMATION Intitulé de la formation Nom, prénom, statut et section C.N.U. du responsable de la formation Coordonnées du responsable

Plus en détail

Programme du cycle ingénieur Cnam spécialité informatique par l alternance Année 2015-2016

Programme du cycle ingénieur Cnam spécialité informatique par l alternance Année 2015-2016 Programme du cycle ingénieur Cnam spécialité informatique par l alternance Année 2015-2016 Ingénieur en Informatique en Contrat de Professionnalisation - Année I1 RSX102 Technologies pour les applications

Plus en détail

Spécialiste Systèmes et Réseaux

Spécialiste Systèmes et Réseaux page 1/5 Titre professionnel : «Technicien(ne) Supérieur(e) en Réseaux Informatiques et Télécommunications» inscrit au RNCP de niveau III (Bac + 2) (J.O. du 19/02/2013) 24 semaines + 8 semaines de stage

Plus en détail

CAS IT-Interceptor. Formation «Certificate of Advanced Studies»

CAS IT-Interceptor. Formation «Certificate of Advanced Studies» CAS IT-Interceptor Formation «Certificate of Advanced Studies» Description détaillée des contenus de la formation. Structure, objectifs et contenu de la formation La formation est structurée en 3 modules

Plus en détail

Présentation et portée du cours : CCNA Exploration v4.0

Présentation et portée du cours : CCNA Exploration v4.0 Présentation et portée du cours : CCNA Exploration v4.0 Dernière mise à jour le 3 décembre 2007 Profil des participants Le cours CCNA Exploration s adresse aux participants du programme Cisco Networking

Plus en détail

MASTER RECHERCHE RESEAUX DE TELECOMMUNICATIONS

MASTER RECHERCHE RESEAUX DE TELECOMMUNICATIONS UNIVERSITÉ LIBANAISE UNIVERSITÉ SAINT-JOSEPH MASTER RECHERCHE RESEAUX DE TELECOMMUNICATIONS en partenariat avec : Télécom ParisTech, France L Université de Versailles St. Quentin, France L Institut National

Plus en détail

5 e édition GUY PUJOLLE. Les. Réseaux

5 e édition GUY PUJOLLE. Les. Réseaux est f o E Y R O L L E S 5 e édition GUY PUJOLLE Les Réseaux Table des matières Préface à la 5 e édition........................................ V PARTIE I Les éléments de base des réseaux............................

Plus en détail

EXPERT EN INFORMATIQUE OPTION Systèmes et réseaux

EXPERT EN INFORMATIQUE OPTION Systèmes et réseaux EXPERT EN INFORMATIQUE OPTION Systèmes et réseaux Titre délivré à l issue des 2 ans de formation : «Expert en ingénierie informatique appliquée», Titre inscrit au RNCP, niveau I (niveau BAC+5), sous l

Plus en détail

Cours de Réseau et communication Unix n 6

Cours de Réseau et communication Unix n 6 Cours de Réseau et communication Unix n 6 Faculté des Sciences Université d Aix-Marseille (AMU) Septembre 2013 Cours écrit par Edouard Thiel, http://pageperso.lif.univ-mrs.fr/~edouard.thiel. La page du

Plus en détail

Les formations. Administrateur Systèmes et Réseaux. ENI Ecole Informatique

Les formations. Administrateur Systèmes et Réseaux. ENI Ecole Informatique Titre professionnel : «Système et Réseau» Inscrit au RNCP de Niveau II (Bac) (J.O. du 07/02/09) 35 semaines + 16 semaines de stage (uniquement en formation continue) page 1/8 Unité 1 : Gestion du poste

Plus en détail

GSM UMTS. Voix, Data, Téléphonie, Vidéo, 802.5 MAN IBM -> Token Ring - > FDDI -> FDDI II AT&T -> DQDB (155Mb/s) (Double Queuing Double Bus)

GSM UMTS. Voix, Data, Téléphonie, Vidéo, 802.5 MAN IBM -> Token Ring - > FDDI -> FDDI II AT&T -> DQDB (155Mb/s) (Double Queuing Double Bus) Réseaux Publics Jeanluc.langbois@orange-ftgroup.com Avec Fil X25 -> -> MPLS (MPλS / GMPLS) -> xdsl ->Frame Relay Frame Switching X21 -> RTC RTNM : Réseau Transmission Numérique Multiplexé RTNM + X25 +RTC

Plus en détail

Ingénierie des réseaux

Ingénierie des réseaux Ingénierie des réseaux Services aux entreprises Conception, réalisation et suivi de nouveaux projets Audit des réseaux existants Déploiement d applications réseau Services GNU/Linux Développement de logiciels

Plus en détail

Votre Réseau est-il prêt?

Votre Réseau est-il prêt? Adapter les Infrastructures à la Convergence Voix Données Votre Réseau est-il prêt? Conférence IDG Communications Joseph SAOUMA Responsable Offre ToIP Rappel - Définition Voix sur IP (VoIP) Technologie

Plus en détail

OFFRE DE FORMATION L.M.D.

OFFRE DE FORMATION L.M.D. REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE OFFRE DE FORMATION L.M.D. MASTER PROFESSIONNEL ET ACADEMIQUE Systèmes d Information

Plus en détail

S LICENCE INFORMATIQUE Non Alt S Alt S S1 S2 S3 S4 SS5 S6 Parcours : S IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques)

S LICENCE INFORMATIQUE Non Alt S Alt S S1 S2 S3 S4 SS5 S6 Parcours : S IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques) NOM DE L'UE : Algorithmique et optimisation S LICENCE INFORMATIQUE Non Alt S Alt S S1 S2 S3 S4 SS5 S6 Parcours : S IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques) MASTER INFORMATIQUE

Plus en détail

Services OSI. if G.Beuchot. Services Application Services Présentation - Session Services Transport - Réseaux - Liaison de Données - Physique

Services OSI. if G.Beuchot. Services Application Services Présentation - Session Services Transport - Réseaux - Liaison de Données - Physique Services OSI Services Application Services Présentation - Session Services Transport - Réseaux - Liaison de Données - Physique 59 SERVICES "APPLICATION" Architecture spécifique : ALS (Application Layer

Plus en détail

1.Introduction - Modèle en couches - OSI TCP/IP

1.Introduction - Modèle en couches - OSI TCP/IP 1.Introduction - Modèle en couches - OSI TCP/IP 1.1 Introduction 1.2 Modèle en couches 1.3 Le modèle OSI 1.4 L architecture TCP/IP 1.1 Introduction Réseau Télécom - Téléinformatique? Réseau : Ensemble

Plus en détail

CQP Développeur Nouvelles Technologies (DNT)

CQP Développeur Nouvelles Technologies (DNT) ORGANISME REFERENCE STAGE : 26572 20 rue de l Arcade 75 008 PARIS CONTACT Couverture géographique : M. Frédéric DIOLEZ Bordeaux, Rouen, Lyon, Toulouse, Marseille Tél. : 09 88 66 17 40 Nantes, Lille, Strasbourg,

Plus en détail

Licence mention Informatique

Licence mention Informatique UNIVERSITE PARIS 13 Institut Galilée Licence mention Informatique Semestres 5 et 6 Responsable de la formation : Daniel KAYSER UNIVERSITE PARIS 13, INSTITUT GALILEE SECRETARIAT des licences, BUREAU D 201

Plus en détail

Théorie sur les technologies LAN / WAN Procédure de test sur les réseaux LAN / WAN Prise en main des solutions de test

Théorie sur les technologies LAN / WAN Procédure de test sur les réseaux LAN / WAN Prise en main des solutions de test Théorie sur les technologies LAN / WAN Procédure de test sur les réseaux LAN / WAN Prise en main des solutions de test Formation CONTACTEZ- NOUS AU 01 69 35 54 70 OU VISITEZ NOTRE SITE INTERNET IDEALNWD.FR

Plus en détail

Programme 2010-2011. T.I.C. et Management. Pré M1 M1 M2 Post Master

Programme 2010-2011. T.I.C. et Management. Pré M1 M1 M2 Post Master Programme 2010-2011 T.I.C. et Management Pré M1 M1 M2 Post Master Copyright 2010-2011 Ionis-STM 24 rue Pasteur 94276 Toute reproduction même partielle est totalement interdite et soumise à accord : contact@ionis-stm.com

Plus en détail

WESTERMO Academy. Guide des formations. Pour toute information ou inscription : academy@westermo.fr

WESTERMO Academy. Guide des formations. Pour toute information ou inscription : academy@westermo.fr WESTERMO Academy Guide des formations WESTERMO ACADEMY des formations made easy! WESTERMO est un concepteur et fabricant de produits robustes destinés aux réseaux industriels et il occupe désormais une

Plus en détail

Introduction aux Systèmes Distribués. Introduction générale

Introduction aux Systèmes Distribués. Introduction générale Introduction aux Systèmes Distribués Licence Informatique 3 ème année Introduction générale Eric Cariou Université de Pau et des Pays de l'adour Département Informatique Eric.Cariou@univ-pau.fr 1 Plan

Plus en détail

Sécurité informatique

Sécurité informatique Sécurité informatique Université Kasdi Merbah Ouargla Master RCS Octobre 2014 Département Informatique 1 Master RCS 1 Sécurité informatique Organisation du cours Ce cours a pour but de présenter les fondements

Plus en détail

1.2 Unité responsable Département d informatique, Faculté des sciences

1.2 Unité responsable Département d informatique, Faculté des sciences 1. Identification du programme 1.1 Titre du programme Maîtrise ès sciences (informatique) 1.2 Unité responsable Département d informatique, Faculté des sciences 1.3 Diplôme accordé M. Sc. (Informatique)

Plus en détail

Référentiel ISVD 2015-2016 Prévisionnel

Référentiel ISVD 2015-2016 Prévisionnel MCang = Anglais Référentiel ISVD 2015-2016 Prévisionnel UE 1 : Enseignement général (92h) Anglais technique TP 30h Barbier/fleck MCcep = Conduite et évaluation de projets 24h MCcom = Communication les

Plus en détail

Cours d histoire VPN MPLS. Les VPN MPLS B. DAVENEL. Ingénieurs 2000, Université Paris-Est Marne la Vallée. B. DAVENEL Les VPN MPLS

Cours d histoire VPN MPLS. Les VPN MPLS B. DAVENEL. Ingénieurs 2000, Université Paris-Est Marne la Vallée. B. DAVENEL Les VPN MPLS Les B. DAVENEL Ingénieurs 2000, Université Paris-Est Marne la Vallée B. DAVENEL Les Sommaire 1 2 3 4 B. DAVENEL Les Bibliographie PUJOLLE, Guy. Les réseaux, Quatrième édition, Eyrolles HARDY, Daniel. MALLEUS,

Plus en détail

1. Introduction à la distribution des traitements et des données

1. Introduction à la distribution des traitements et des données 2A SI 1 - Introduction aux SI, et à la distribution des traitements et des données Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle Support de cours élaboré avec l aide de

Plus en détail

Master Informatique Aix-Marseille Université

Master Informatique Aix-Marseille Université Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes

Plus en détail

Administration de Réseaux d Entreprises

Administration de Réseaux d Entreprises D.U. Administration de Réseaux d Entreprises I. FICHE D IDENTITE DE LA FORMATION Intitulé de la formation Nom, prénom, statut et section C.N.U. du responsable de la formation Coordonnées du responsable

Plus en détail

Curriculum Vitae. (Analyste programmeur Ingénieur réseaux et télécoms) INFORMATIONS GENERALES. Nom et prénom : El Haddad Mohamed Karim

Curriculum Vitae. (Analyste programmeur Ingénieur réseaux et télécoms) INFORMATIONS GENERALES. Nom et prénom : El Haddad Mohamed Karim Curriculum Vitae (Analyste programmeur Ingénieur réseaux et télécoms) INFORMATIONS GENERALES Nom et prénom : El Haddad Mohamed Karim Date et lieu de naissance : le 04 / 06 / 1981 à Tunis Situation familiale

Plus en détail

Réseaux de communication Perspectives

Réseaux de communication Perspectives Réseaux de communication Perspectives Martin Heusse FoilTEX 1 Perspectives & technologies récentes Utilisation directe du médium 1 Perspectives & technologies récentes Utilisation directe du médium Niveau

Plus en détail

Hypervision et pilotage temps réel des réseaux IP/MPLS

Hypervision et pilotage temps réel des réseaux IP/MPLS Hypervision et pilotage temps réel des réseaux IP/MPLS J.M. Garcia, O. Brun, A. Rachdi, A. Al Sheikh Workshop autonomique 16 octobre 2014 Exemple d un réseau opérateur national 8 technologies : 2G / 3G

Plus en détail

Proposition de programme de formation pour les enseignants chargés de la spécialité Informatique et sciences du numérique en terminale S

Proposition de programme de formation pour les enseignants chargés de la spécialité Informatique et sciences du numérique en terminale S Proposition de programme de formation pour les enseignants chargés de la spécialité Informatique et sciences du numérique en terminale S La formation des enseignants chargés de la spécialité Informatique

Plus en détail

1 Intitulé de la formation - Master en Sciences et TIC (STIC) - Option : Informatique et Télécommunication - Parcours : Réseaux et Télécommunications

1 Intitulé de la formation - Master en Sciences et TIC (STIC) - Option : Informatique et Télécommunication - Parcours : Réseaux et Télécommunications 1 Intitulé la formation - Master en Sciences et TIC (STIC) - Option : Informatique et Télécommunication - Parcours : Réseaux et Télécommunications 2 Objectifs Généraux Ce master a pour objectif former

Plus en détail

PLUS AUCUN SOUCI Déploie les Réseaux et Relie les Hommes

PLUS AUCUN SOUCI Déploie les Réseaux et Relie les Hommes PLUS AUCUN SOUCI Déploie les Réseaux et Relie les Hommes 1 Conférence-Débat Les Performances du Réseau Multiservices d Entreprise (Convergence Voix, Vidéo et Données) Modèle d économie Internet 2 Sommaire

Plus en détail

Contenus des UE du Semestre 1

Contenus des UE du Semestre 1 Contenus des UE du Semestre 1 Programmes et contenus des Licences de la mention Réseaux Informatiques 2009-2010 1 Unité d enseignement Electricité et Electronique Objectifs de l élément : Le premier volet

Plus en détail

Plan. 1. Introduction. 1.1 Notion de réseau. Réseau extrémité. Le cœur du réseau. Les Protocoles de Télécommunications Evolution Internet Cours de DEA

Plan. 1. Introduction. 1.1 Notion de réseau. Réseau extrémité. Le cœur du réseau. Les Protocoles de Télécommunications Evolution Internet Cours de DEA Plan Les Protocoles de Télécommunications Evolution Internet Cours de DEA Isabelle CHRISMENT ichris@loria.fr Introduction Routage dans l Internet IPv6 Communication de groupes et l Internet x sans fils,

Plus en détail

Administration réseau Introduction

Administration réseau Introduction Administration réseau Introduction A. Guermouche A. Guermouche Cours 1 : Introduction 1 Plan 1. Introduction Organisation Contenu 2. Quelques Rappels : Internet et le modèle TCP/ Visage de l Internet Le

Plus en détail

Présentation et portée du cours : CCNA Exploration v4.0

Présentation et portée du cours : CCNA Exploration v4.0 Présentation et portée du cours : CCNA Exploration v4.0 Profil des participants Le cours CCNA Exploration s adresse aux participants du programme Cisco Networking Academy diplômés en ingénierie, mathématiques

Plus en détail

Chapitre 11 : Le Multicast sur IP

Chapitre 11 : Le Multicast sur IP 1 Chapitre 11 : Le Multicast sur IP 2 Le multicast, Pourquoi? Multicast vs Unicast 3 Réseau 1 Serveur vidéo Réseau 2 Multicast vs Broadcast 4 Réseau 1 Serveur vidéo Réseau 2 Multicast 5 Réseau 1 Serveur

Plus en détail

Fiche descriptive de module

Fiche descriptive de module Fiche descriptive de module ST216 310 310 Prérequis Processus PEC associés spécifiques Conditions de réussite Contenu du module Date entrée en vigueur : 27.08.2012 ST200 Enseignements et exercices théoriques,

Plus en détail

DESCRIPTIF DE MODULE S4 GL

DESCRIPTIF DE MODULE S4 GL Sous filière : ILSR DESCRIPTIF DE MODULE S4 GL : Génie Logiciel COORDONNATEUR DU MODULE: Professeur DAHCHOUR Mohamed Département : Réseaux, Informatique et Mathématiques Objectif : Le but de ce module

Plus en détail

RESEAUX TCP/IP: NOTIONS AVANCEES. Preparé par Alberto EscuderoPascual

RESEAUX TCP/IP: NOTIONS AVANCEES. Preparé par Alberto EscuderoPascual RESEAUX TCP/IP: NOTIONS AVANCEES Preparé par Alberto EscuderoPascual Objectifs... Répondre aux questions: Quelles aspects des réseaux IP peut affecter les performances d un réseau Wi Fi? Quelles sont les

Plus en détail

L architecture IP VPN de TRANSPAC

L architecture IP VPN de TRANSPAC TEP de Veille technologique 2002-2003 Baillou Gilles * Ficheau Fabien * Mizzi Arnaud L architecture IP VPN de TRANSPAC Table des matières 1 Introduction à Transpac 3 2 Les VPNs 6 2.1 Qu est-ce qu un VPN.............................

Plus en détail

Master CCI. Compétences Complémentaires en Informatique. Livret de l étudiant

Master CCI. Compétences Complémentaires en Informatique. Livret de l étudiant Master CCI Compétences Complémentaires en Informatique Livret de l étudiant 2014 2015 Master CCI Le Master CCI (Compétences Complémentaires en Informatique) permet à des étudiants de niveau M1 ou M2 dans

Plus en détail

Programme scientifique Majeure ARCHITECTURE DES SYSTEMES D INFORMATION. Mentions Ingénierie des Systèmes d Information Business Intelligence

Programme scientifique Majeure ARCHITECTURE DES SYSTEMES D INFORMATION. Mentions Ingénierie des Systèmes d Information Business Intelligence É C O L E D I N G É N I E U R D E S T E C H N O L O G I E S D E L I N F O R M A T I O N E T D E L A C O M M U N I C A T I O N Programme scientifique Majeure ARCHITECTURE DES SYSTEMES D INFORMATION Mentions

Plus en détail

FORMATION CN01a CITRIX NETSCALER

FORMATION CN01a CITRIX NETSCALER FORMATION CN01a CITRIX NETSCALER Contenu de la formation CN01a CITRIX NETSCALER Page 1 sur 6 I. Généralités 1. Objectifs de cours Installation, configuration et administration des appliances réseaux NetScaler

Plus en détail

2. MAQUETTAGE DES SOLUTIONS CONSTRUCTIVES. 2.2 Architecture fonctionnelle d un système communicant. http://robert.cireddu.free.

2. MAQUETTAGE DES SOLUTIONS CONSTRUCTIVES. 2.2 Architecture fonctionnelle d un système communicant. http://robert.cireddu.free. 2. MAQUETTAGE DES SOLUTIONS CONSTRUCTIVES 2.2 Architecture fonctionnelle d un système communicant Page:1/11 http://robert.cireddu.free.fr/sin LES DÉFENSES Objectifs du COURS : Ce cours traitera essentiellement

Plus en détail

(In)sécurité de la Voix sur IP [VoIP]

(In)sécurité de la Voix sur IP [VoIP] (In)sécurité de la Voix sur IP [VoIP] Nicolas FISCHBACH Senior Manager, IP Engineering/Security - COLT Telecom nico@securite.org - http://www.securite.org/nico/ version 0.01 Introduction» Voix et téléphonie

Plus en détail

Yann BECHET 32 ans 8 ans d expérience yann@bechet.org http://www.bechet.org/cv

Yann BECHET 32 ans 8 ans d expérience yann@bechet.org http://www.bechet.org/cv 32 ans 8 ans d expérience yann@bechet.org http://www.bechet.org/cv Chef de projets Conception Orientée Objets Réseaux et systèmes distribués Formation 1999 Diplôme d Etudes Approfondies «réseaux et systèmes

Plus en détail

Calcul de la bande passante réelle consommée par appel suivant le codec utilisé

Calcul de la bande passante réelle consommée par appel suivant le codec utilisé Voix et téléphonie sur IP Déscription : Comprendre les aspects techniques et les méthodes d analyse permettant d intégrer le transport de la voix dans un réseau IP.Les différents protocoles de signalisation

Plus en détail

BASES DES RESEAUX UNITE DE FORMATION

BASES DES RESEAUX UNITE DE FORMATION MINISTERE DE LA COMMUNAUTE FRANCAISE ADMINISTRATION GENERALE DE L ENSEIGNEMENT ET DE LA RECHERCHE SCIENTIFIQUE ENSEIGNEMENT DE PROMOTION SOCIALE DE REGIME 1 DOSSIER PEDAGOGIQUE BASES DES RESEAUX UNITE

Plus en détail

Evoluez au rythme de la technologie

Evoluez au rythme de la technologie Evoluez au rythme de la technologie Virtualisation Voix Solution de Gestion de BDD Réseaux & Sécurité Management SI Développement Logiciels > CBI SIEGE : 9/0 Imm CBI Lot attaoufik Sidi Maarouf 070 - Casablanca.

Plus en détail

RSX101 Réseaux & télécommunications Contexte Le prof : Sylvain Rampacek

RSX101 Réseaux & télécommunications Contexte Le prof : Sylvain Rampacek RSX101 Réseaux & télécommunications Contexte Le prof : Sylvain Rampacek 1 Sylvain Rampacek Maître de Conférences en Informatique IUT Dijon Département Informatique Chef du Département Informatique Membre

Plus en détail

Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d

Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d Architecture Doctorant: Directeurs de thèse: Bechir ZALILA

Plus en détail

MPLS. Multiprotocol Label Switching

MPLS. Multiprotocol Label Switching MPLS Multiprotocol Label Switching Préparé par: Ayoub SECK Ingénieur-Chercheur en Télécommunications Spécialiste en Réseaux IP et Télécoms mobiles Certifié: JNCIA, CCNP,CCDP Suggestions: seckayoub@gmail.com

Plus en détail

MULTITEL, votre partenaire de recherche et d innovation

MULTITEL, votre partenaire de recherche et d innovation Ingénierie des réseaux Networking Industrial Services Services aux entreprises Conception, réalisation et suivi de nouveaux projets Audit des réseaux existants Déploiement d applications réseau Développement

Plus en détail

Technicien Supérieur de Support en Informatique

Technicien Supérieur de Support en Informatique Titre professionnel : «Technicien(ne) Supérieur(e)» Reconnu par l Etat de niveau III (Bac), inscrit au RNCP (arrêté du 17/07/08, J.O. n 205 du 03/09/08) (32 semaines) page 1/8 Unité 1 : Assistance bureautique

Plus en détail

Evolution de l infrastructure transport

Evolution de l infrastructure transport Les réseaux optiques I Les réseaux optiques Jean-Paul GAUTIER, jpg@urec.cnrs.fr CNRS / UREC Une des grandes tendances de la fin des années 90 est la demande croissante en bande passante des réseaux d entreprises

Plus en détail

Semestre 1. Objectifs Approfondissement de l environnement Java et de son interface de programmation d applications : réseaux, et processus.

Semestre 1. Objectifs Approfondissement de l environnement Java et de son interface de programmation d applications : réseaux, et processus. Programmation Java avancée (3 ECTS 36h) Semestre 1 Approfondissement de l environnement Java et de son interface de programmation d applications : réseaux, et processus. Introduction. Rappels des concepts

Plus en détail

LICENCE PROFESSIONNELLE SYSTEMES INFORMATIQUES & LOGICIELS

LICENCE PROFESSIONNELLE SYSTEMES INFORMATIQUES & LOGICIELS LICENCE PROFESSIONNELLE SYSTEMES INFORMATIQUES & LOGICIELS Contenu détaillé de la spécialité : SIMO : SYSTEMES D'INFORMATION, METHODES ET OUTILS (ASSISTANT CHEF DE PROJET INFORMATIQUE) Contenu détaillé

Plus en détail

MPLS. Plan. Quel est le problème? Comment le résoudre en Théorie... Principe de MPLS. Architecture de réseaux MPLS. QoS et VPN. Farid Naït-Abdesselam.

MPLS. Plan. Quel est le problème? Comment le résoudre en Théorie... Principe de MPLS. Architecture de réseaux MPLS. QoS et VPN. Farid Naït-Abdesselam. MPLS Farid Naït-Abdesselam. Maître de Conférences Université des Sciences & Technologies de Lille. ENIC Telecom Lille 1 Tél.: +33 (0)3 20 43 64 01 E-mail: nait@enic.fr Web: http://www.lifl.fr /~nait 1

Plus en détail

Voix sur IP Étude d approfondissement Réseaux

Voix sur IP Étude d approfondissement Réseaux Voix sur IP Étude d approfondissement Réseaux Julien Vey Gil Noirot Introduction Ce dont nous allons parler L architecture VoIP Les protocoles Les limites de la VoIP Ce dont nous n allons pas parler Le

Plus en détail

Administration des ressources informatiques

Administration des ressources informatiques 1 2 Cours réseau Supports de transmission Les câbles Coaxial Ethernet RJ45 Fibre optique Supports de transmission 3 Les câbles Ethernet RJ45 Supports de transmission 4 Les câbles Coaxial Type BNC Cours

Plus en détail

Programme formation pfsense Mars 2011 Cript Bretagne

Programme formation pfsense Mars 2011 Cript Bretagne Programme formation pfsense Mars 2011 Cript Bretagne I.Introduction : les réseaux IP...2 1.A.Contenu pédagogique...2 1.B....2 1.C...2 1.D....2 II.Premiers pas avec pfsense...2 2.A.Contenu pédagogique...2

Plus en détail

Syllabus Systèmes de Télécommunications & Réseaux Informatiques

Syllabus Systèmes de Télécommunications & Réseaux Informatiques Syllabus Systèmes de Télécommunications & Réseaux Informatiques Mise à niveau. 2 Année 1 Semestre 7.....5 Année 1 Semestre 8..14 Année 2 Semestre 9..22 Année 2 Semestre 10...30 Traitement du signal CM

Plus en détail

Formation continue à distance

Formation continue à distance Formation continue à distance Grades concernés: Public cible: Entreprises publiques Grades administratifs Grades informatiques Grades techniques Processus: Assistant de gestion Rédacteur attaché Rédacteur

Plus en détail

AADL. un langage pour la modélisation et la génération d applications. Thomas Vergnaud, thomas.vergnaud@enst.fr

AADL. un langage pour la modélisation et la génération d applications. Thomas Vergnaud, thomas.vergnaud@enst.fr AADL un langage pour la modélisation et la génération d applications, thomas.vergnaud@enst.fr Les langages de description d architecture la conception des systèmes devient complexe difficulté de compréhension

Plus en détail

BACHELOR OF SCIENCE INFORMATICIEN-NE DE GESTION

BACHELOR OF SCIENCE INFORMATICIEN-NE DE GESTION Informatique de gestion BACHELOR OF SCIENCE HES-SO BACHELOR OF SCIENCE INFORMATICIEN-NE DE GESTION Plans d études et descriptifs des modules Filière à plein temps et à temps partiel Table des matières

Plus en détail

Plan du cours. Autres modèles pour les applications réparties Introduction. Mode de travail. Introduction

Plan du cours. Autres modèles pour les applications réparties Introduction. Mode de travail. Introduction Plan du cours Autres modèles pour les applications réparties Introduction Riveill@unice.fr http://rangiroa.polytech.unice.fr Notre terrain de jeu : les systèmes répartis Un rappel : le modèle dominant

Plus en détail

Vers un réseau déterministe

Vers un réseau déterministe Vers un réseau déterministe 1ere partie : Généraliste: Notions et définitions 2eme partie et 3eme partie : - MPLS et compagnie (RSVP, OSPF, BGP, TE, FR, VPLS...) - Topologie : Intégration du paramètre

Plus en détail

Architectures logicielles pour les systèmes embarqués temps réel

Architectures logicielles pour les systèmes embarqués temps réel ETR 07 4 septembre 2007 Architectures logicielles pour les systèmes embarqués temps réel Jean-Philippe Babau, Julien DeAntoni jean-philippe.babau@insa-lyon.fr 1/31 Plan Architectures logicielles pour les

Plus en détail

Routeur VPN Cisco RV180

Routeur VPN Cisco RV180 Fiche technique Routeur VPN Cisco RV180 Une connectivité sécurisée et hautement performante à un prix abordable. Donnée 1. Routeur VPN Cisco RV180 (vue avant) Principales caractéristiques Des ports Gigabit

Plus en détail

ADSL. Étude d une LiveBox. 1. Environnement de la LiveBox TMRIM 2 EME TRIMESTRE LP CHATEAU BLANC 45120 CHALETTE/LOING NIVEAU :

ADSL. Étude d une LiveBox. 1. Environnement de la LiveBox TMRIM 2 EME TRIMESTRE LP CHATEAU BLANC 45120 CHALETTE/LOING NIVEAU : LP CHATEAU BLANC 45120 CHALETTE/LOING THEME : ADSL BAC PROFESSIONNEL MICRO- INFORMATIQUE ET RESEAUX : INSTALLATION ET MAINTENANCE ACADÉMIE D ORLÉANS-TOURS 2 EME TRIMESTRE NIVEAU : TMRIM Étude d une LiveBox

Plus en détail

Cisco Certified Network Associate

Cisco Certified Network Associate Cisco Certified Network Associate Version 4 Notions de base sur les réseaux Chapitre 9 01 Convertissez le nombre binaire 10111010 en son équivalent hexadécimal. Sélectionnez la réponse correcte dans la

Plus en détail

FICHE UE Licence/Master Sciences, Technologies, Santé Mention Informatique

FICHE UE Licence/Master Sciences, Technologies, Santé Mention Informatique NOM DE L'UE : Algorithmique et programmation C++ LICENCE INFORMATIQUE Non Alt Alt S1 S2 S3 S4 S5 S6 Parcours : IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques) MASTER INFORMATIQUE Non

Plus en détail