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

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

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

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

Programme de la 3ème année

Programme de la 3ème année Programme de la 3ème année de la licence informatique Recopié du Syllabus L3 Informatique. 2003-2004 (UPS Toulouse) Algorithmes, Types de données et preuves (84h) Objectif : Approfondir l'algorithmique

Plus en détail

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Unité Systèmes d'information CM : 45h - TD : 60h - TP : 12h - Coeff 2 Systèmes de Gestion de Bases de Données Modéliser

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 scientifique Majeure RESEAUX ET SERVICES. Mentions Conception et Architectures des réseaux Sécurité et Cryptographie

Programme scientifique Majeure RESEAUX ET SERVICES. Mentions Conception et Architectures des réseaux Sécurité et Cryptographie É 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 RESEAUX ET SERVICES Java Mentions Conception

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

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

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

Domaine : Math- Informatique Filière : Informatique Spécialité : Software Formation : Académique Arrêté LMD : N 149 du 07/08/08

Domaine : Math- Informatique Filière : Informatique Spécialité : Software Formation : Académique Arrêté LMD : N 149 du 07/08/08 Domaine : Math- Informatique Filière : Informatique Spécialité : Software Formation : Académique Arrêté LMD : N 149 du 07/08/08 Responsable de l'équipe de spécialité HARBOUCHE Ahmed Maitre assistant A

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

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

Cahier des charges Offre de formation LMD :

Cahier des charges Offre de formation LMD : REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE Ministère de L Enseignement Supérieur et de la Recherche Scientifique Université des Sciences et de la Technologie Houari Boumediene Faculté d Electronique

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

PROGRAMME DETAILLE CERTIFICAT D ENSEIGNEMENT SPECIALISE Accrédité B.A.D.G.E par la Conférence des Grandes Ecoles

PROGRAMME DETAILLE CERTIFICAT D ENSEIGNEMENT SPECIALISE Accrédité B.A.D.G.E par la Conférence des Grandes Ecoles RESEAUX ET SERVICES TELECOM PROGRAMME DETAILLE CERTIFICAT D ENSEIGNEMENT SPECIALISE Accrédité B.A.D.G.E par la Conférence des Grandes Ecoles PROGRAMME TOTAL : 279 h Sur 6 mois ½ environ En Alternance Présentiel,

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

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

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

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

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

Maquette Pédagogique. Diplôme d Ingénieur spécialité. Sciences Informatiques

Maquette Pédagogique. Diplôme d Ingénieur spécialité. Sciences Informatiques Maquette Pédagogique Diplôme d Ingénieur spécialité Sciences Spécialité SCIENCES INFORMATIQUES EP3IUE1 : Informatique Théorique 1 4,5 Mathématiques Discrètes Cours élémentaire de mathématiques discrètes

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

Conception d Applications Réparties

Conception d Applications Réparties Jean-François Roos LIFL - équipe GOAL- bâtiment M3 Extension - bureau 206 -Jean-Francois.Roos@lifl.fr 1 Objectifs du Cours Appréhender la conception d applications réparties motivations et concepts architectures

Plus en détail

Administrateur Système et Réseau

Administrateur Système et Réseau Titre professionnel : Reconnu par l Etat de niveau II (Bac), inscrit au RNCP (arrêté du 28/01/09, J.O. n 32 du 07/02/09) (53 semaines) page 1/7 Unité 1 : Gestion du poste de travail 4 semaines Module 1

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

Cours réseaux Modèle OSI

Cours réseaux Modèle OSI Cours réseaux Modèle OSI IUT 1 Université de Lyon Introduction: le modèle OSI Un modèle théorique : le modèle OSI (Open System Interconnection) A quoi ça sert: Nécessité de découper/classifier l ensemble

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

Mention Informatique, Parcours Informatique Pour les Sciences LMD4

Mention Informatique, Parcours Informatique Pour les Sciences LMD4 Mention Informatique, Parcours Informatique Pour les Sciences LMD4 Annie Chateau Konstantin Todorov Décembre 2014 Description générale de la formation Le parcours Informatique Pour les Sciences (IPS) est

Plus en détail

PROPOSES PAR LA COMMISSION NATIONALE SECTORIELLE EN INFORMATIQUE

PROPOSES PAR LA COMMISSION NATIONALE SECTORIELLE EN INFORMATIQUE REPUBLIQUE TUNISIENNE **** Ministère de l Enseignement Supérieur, de la Recherche Scientifique et de la Technologie **** DIRECTION GENERALE DE LA RENOVATION UNIVERSITAIRE REFORME LMD INFORMATIQUE PROGRAMMES

Plus en détail

Outils Mathématiques. Informatique

Outils Mathématiques. Informatique L3-S5-MAT01 Outils Mathématiques Recherche Opérationnelle Appréhender les algorithmes des graphes utilisés dans les réseaux informatiques et dans les méthodes d ordonnancement (Gestion de Projets ) UE

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

//////////////////////////////////////////////////////////////////// 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

PROGRAMME DETAILLE CERTIFICAT D ENSEIGNEMENT SPECIALISE Accrédité B.A.D.G.E par la Conférence des Grandes Ecoles

PROGRAMME DETAILLE CERTIFICAT D ENSEIGNEMENT SPECIALISE Accrédité B.A.D.G.E par la Conférence des Grandes Ecoles RESEAUX ET SERVICES TELECOM PROGRAMME DETAILLE CERTIFICAT D ENSEIGNEMENT SPECIALISE Accrédité B.A.D.G.E par la Conférence des Grandes Ecoles PROGRAMME TOTAL : 29 h Sur 6 mois ½ environ En Alternance Présentiel,

Plus en détail

COMPUTER SCIENCE Paris 7 Denis Diderot

COMPUTER SCIENCE Paris 7 Denis Diderot COMPUTER SCIENCE Paris 7 Denis Diderot LICENCE 1 SEMESTER 2 (Spring) o Initiation à la programmation 2 o Concepts informatiques o Internet et outils o Mathématiques élémentaires 2 COURSE DESCRIPTION Initiation

Plus en détail

Exécution des applications réparties

Exécution des applications réparties Exécution des applications réparties Programmation des Applications Réparties Olivier Flauzac URCA Master STIC-Informatique première année Olivier Flauzac (URCA) PAR : Exécution des applications réparties

Plus en détail

Table des matières. 1 Vue d ensemble des réseaux... 5. 2 Transmission des données : comment fonctionnent les réseaux... 23. Introduction...

Table des matières. 1 Vue d ensemble des réseaux... 5. 2 Transmission des données : comment fonctionnent les réseaux... 23. Introduction... Table des matières Introduction 1 Structure du livre 2 Nouveautés par rapport à la 3 e édition 2 Conventions typographiques 3 1 Vue d ensemble des réseaux 5 Qu est-ce qu un réseau? 6 Pourquoi créer un

Plus en détail

Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013»

Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013» Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013» I Objectifs Niveau fondamental : «on se fixe pour objectif la

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

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 1 : présentation générale. Nicolas Baudru mél : nicolas.baudru@esil.univmed.fr page web : nicolas.baudru.esil.perso.univmed.

Partie 1 : présentation générale. Nicolas Baudru mél : nicolas.baudru@esil.univmed.fr page web : nicolas.baudru.esil.perso.univmed. 1 Réseaux I Partie 1 : présentation générale Nicolas Baudru mél : nicolas.baudru@esil.univmed.fr page web : nicolas.baudru.esil.perso.univmed.fr 2 Plan 1 Définitions et objectifs des réseaux 2 Classification

Plus en détail

Curriculum vitae. 20 rue de l indépendance cité essaada,mornaguiya 1110 Manouba,Tunisie. Omaima.jarraya@yahoo.fr

Curriculum vitae. 20 rue de l indépendance cité essaada,mornaguiya 1110 Manouba,Tunisie. Omaima.jarraya@yahoo.fr Curriculum vitae Nom et prénom Jarraya Omaima Date et lieu de naissance 25/11/1985 à Sfax Adresse 20 rue de l indépendance cité essaada,mornaguiya 1110 Manouba,Tunisie Téléphone Mobile (+216) 96 36 24

Plus en détail

Ce certificat de Qualification Professionnelle (ou CQP ARE) fait partie des actions collectives du FAFIEC pour l année 2010/2011

Ce certificat de Qualification Professionnelle (ou CQP ARE) fait partie des actions collectives du FAFIEC pour l année 2010/2011 Certificat de qualification Professionnelle Administrateur des Réseaux Entreprise 2 ans 139 jours Ce certificat de Qualification Professionnelle (ou CQP ARE) fait partie des actions collectives du FAFIEC

Plus en détail

Nicolas Baudru mél : nicolas.baudru@esil.univmed.fr page web : nicolas.baudru.perso.esil.univmed.fr

Nicolas Baudru mél : nicolas.baudru@esil.univmed.fr page web : nicolas.baudru.perso.esil.univmed.fr Année 2010-2011 Réseaux I Conclusion : retour sur l architecture protocolaire Nicolas Baudru mél : nicolas.baudru@esil.univmed.fr page web : nicolas.baudru.perso.esil.univmed.fr 1 Plan 1 Rappels 2 Le dialogue

Plus en détail

Prérentrée 2007-2008. Programme. www.supinfo.com Copyright SUPINFO. All rights reserved. Version 1.0

Prérentrée 2007-2008. Programme. www.supinfo.com Copyright SUPINFO. All rights reserved. Version 1.0 Prérentrée 2007-2008 Programme www.supinfo.com Copyright SUPINFO. All rights reserved Version 1.0 Table des Matières 1. TECHNOLOGIES CISCO...3 1.1. PROGRAMME...3 1.2. OBJECTIF...3 2. TECHNOLOGIES LINUX...4

Plus en détail

Objectifs du cours Modèles et Approches Formels de Systèmes Distribués

Objectifs du cours Modèles et Approches Formels de Systèmes Distribués Objectifs du cours Modèles et Approches Formels de Systèmes Distribués Mohamed Mosbah LaBRI ENSEIRB - Université Bordeaux 1 mosbah@labri.fr dept-info.labri.fr/~mosbah/mafsd.html Connaître les caractéristiques

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

Diplômé de l Institut Supérieur d Informatique et Multimédia de Sfax

Diplômé de l Institut Supérieur d Informatique et Multimédia de Sfax Mohamed Ali Sakka Ingénieur en Informatique et Télécommunications Diplômé de l Institut Supérieur d Informatique et Multimédia de Sfax Adresse : ROUTE GREMDA KM 6 BP 68, CCP: 3022, SFAX. Tél : +216 27

Plus en détail

Stella MARC-ZWECKER. Téléinformatique 1. Objectifs du cours. Réseaux et Protocoles - L3 info

Stella MARC-ZWECKER. Téléinformatique 1. Objectifs du cours. Réseaux et Protocoles - L3 info Objectifs du cours Réseaux et Protocoles - L3 info Stella MARC-ZWECKER Maître de conférences Dpt. Informatique ULP stella@dpt-info.u-strasbg.fr Mécanismes de base de la transmission des données dans les

Plus en détail

Groupe Eyrolles, 2001, 2004, ISBN : 2-212-11258-0

Groupe Eyrolles, 2001, 2004, ISBN : 2-212-11258-0 Groupe Eyrolles, 2001, 2004, ISBN : 2-212-11258-0 Table des matières PREMIÈRE PARTIE LES RÉSEAUX LOCAUX CHAPITRE 1 Installer son premier réseau local 3 Le contexte...4 Les choix de base...5 Quel réseau?...

Plus en détail

Les formations. Développeur Logiciel. ENI Ecole Informatique

Les formations. Développeur Logiciel. ENI Ecole Informatique page 1/8 Titre professionnel : Inscrit au RNCP de Niveau III (Bac + 2) (J.O. du 19/02/13) 24 semaines + 8 semaines de stage (uniquement en formation continue) Développer une application orientée objet

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

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

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

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

1. Présentation du Mastère

1. Présentation du Mastère MASTERE SYSTEMES DE COMMUNICATION Coordinateur du Mastère : TAOUFIK AGUILI Département TIC Laboratoire des Systèmes de Communication Tél. : (+216) 71 874 700 (Poste 545) Fax : (+216) 71 872 729 taoufik.aguili@enit.rnu.tn

Plus en détail

1. Les fondements de l informatique 13

1. Les fondements de l informatique 13 Introduction à l'algorithmique 1. Les fondements de l informatique 13 1.1 Architecture de Von Neumann 13 1.2 La machine de Turing 17 1.3 Représentation interne des instructions et des données 19 1.3.1

Plus en détail

Informatique commune en CPGE PSI-PC-PT-MP-TSI-TPC

Informatique commune en CPGE PSI-PC-PT-MP-TSI-TPC Informatique commune en CPGE PSI-PC-PT-MP-TSI-TPC L ingénieur doit maîtriser les concepts fondamentaux de l informatique pour : communiquer avec les informaticiens comprendre les questions de complexité

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

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

2A-SI - Réseaux : Modèles d architecture réseau

2A-SI - Réseaux : Modèles d architecture réseau 2A-SI - Réseaux : Modèles d architecture réseau Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle 1 Modèles d architecture réseau 1. Caractéristiques des modèles en couche 2.

Plus en détail

Fiche Programme CSC4002 Conception et programmation orientées objet. Coordonnateurs : Christian Bac et Denis Conan Octobre 2012

Fiche Programme CSC4002 Conception et programmation orientées objet. Coordonnateurs : Christian Bac et Denis Conan Octobre 2012 Fiche Programme CSC4002 Conception et programmation orientées objet Coordonnateurs : Christian Bac et Denis Conan Octobre 2012 1 Mots-clés : conception orientée objet, programmation orientée objet, UML,

Plus en détail

Tunnels et VPN. 20/02/2008 Formation Permanente Paris6 86. Sécurisation des communications

Tunnels et VPN. 20/02/2008 Formation Permanente Paris6 86. Sécurisation des communications Tunnels et VPN 20/02/2008 Formation Permanente Paris6 86 Sécurisation des communications Remplacement ou sécurisation de tous les protocoles ne chiffrant pas l authentification + éventuellement chiffrement

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

Profil des participants Le cours CCNA Exploration s adresse aux participants du programme Cisco

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

Plus en détail

Recopié du Syllabus DEUG MIAS. 2002-2003 (UPS Toulouse)

Recopié du Syllabus DEUG MIAS. 2002-2003 (UPS Toulouse) Programme de la 2ème année de DEUG MIAS (Info) Recopié du Syllabus DEUG MIAS. 2002-2003 (UPS Toulouse) UEF3 Analyse 2 (60h) Heures : cours (24h), TD (36h) Intégrales impropres. Séries numériques. Suites

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

Offre de formation département de télécommunications. Licence en Télécommunications

Offre de formation département de télécommunications. Licence en Télécommunications Offre de formation département de télécommunications Licence en Télécommunications 1. But de la formation La formation dispensée dans cette licence est de nature académique. Elle est organisée sous forme

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

INFORMATIQUE. Licence 3 e année (L3) & Master (M1-M2) Centre d Etudes Suisse Romande Formation universitaire

INFORMATIQUE. Licence 3 e année (L3) & Master (M1-M2) Centre d Etudes Suisse Romande Formation universitaire Centre d Etudes Suisse Romande Formation universitaire INFORMATIQUE Licence 3 e année (L3) & Master (M1-M2) En collaboration avec l Université de Franche-Comté CTU de Besançon Unidistance 2 GÉNÉRALITÉS

Plus en détail

201-8F4-ST Mathématiques appliquées à l informatique

201-8F4-ST Mathématiques appliquées à l informatique DESCRIPTION DES COURS DE FORMATION SPÉCIFIQUE TECHNIQUES DE L INFORMATIQUE (420.A0) 201-8F4-ST Mathématiques appliquées à l informatique Préalable : Mathématique TS ou SN 5 e ou équivalent Ce cours a pour

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 7 01 Quels sont les facteurs à prendre en compte au moment de l implémentation d un protocole de couche 2 dans un réseau?

Plus en détail

RÉSEAUX, SYNTHÈSE TECHNIQUE

RÉSEAUX, SYNTHÈSE TECHNIQUE Management des SI Réseaux et Sécurité RÉSEAUX, SYNTHÈSE TECHNIQUE Réf: TER Durée : 3 jours (7 heures) OBJECTIFS DE LA FORMATION Ce séminaire vous apportera des connaissances solides, précises et synthétiques

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

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

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

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

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

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification 1 sur 8 26/09/2013 16:49 Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification Intitulé Licence : Licence Sciences, technologies, santé mention Informatique

Plus en détail

Administration, Sécurité : Quelques mots...

Administration, Sécurité : Quelques mots... Chapitre 9 1 Administration, Sécurité : Quelques mots... La sécurité dans les Réseaux 2 Risques et Menaces : vulnérabilité : degré d exposition à des dangers sensibilité : caractère stratégique d un élément

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

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

OFFRE de conseil Technologique en Réseaux de Télécommunication.

OFFRE de conseil Technologique en Réseaux de Télécommunication. OFFRE de conseil Technologique en Réseaux de Télécommunication. Aide décisionnelle & Accompagnement sur les différentes technologies d infrastructures pour une évolution maitrisée de votre réseau Introduction

Plus en détail

FORMATION RESEAUX INITIATION + APPROFONDISSEMENT

FORMATION RESEAUX INITIATION + APPROFONDISSEMENT FORMATION RESEAUX INITIATION + APPROFONDISSEMENT Aziz Da Silva WWW.AZIZDASILVA.NET Sommaire du Document Formation Réseaux Initiation + Approfondissement... 2 Profils Stagiaires et Prérequis... 2 Prérequis

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

Informatique en CPGE

Informatique en CPGE Informatique en CPGE L ingénieur doit maîtriser les concepts fondamentaux de l informatique pour : communiquer avec les informaticiens comprendre les questions de complexité algorithmique, de précision

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

Programme Formation INES

Programme Formation INES Programme Formation INES Le cheminement des données de l'abonné à un serveur sur Internet Infrastructures et protocoles. Objectifs et présentation L'objectif principal est d'acquérir les connaissances

Plus en détail

FSAB 1402 - Suggestions de lecture

FSAB 1402 - Suggestions de lecture FSAB 1402 - Suggestions de lecture 2006 Concepts, techniques and models of computer programming Cours 1 - Intro Chapitre 1 (sections 1.1, 1.2, 1.3, pages 1-3) Introduction aux concepts de base Chapitre

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

Introduction aux réseaux et Modèle TCP/IP. Partie 2 : Présentation du modèle. Modèle TCP/IP LIENS APLICATION TRANSPORT RESEAU

Introduction aux réseaux et Modèle TCP/IP. Partie 2 : Présentation du modèle. Modèle TCP/IP LIENS APLICATION TRANSPORT RESEAU Modèle TCP/IP Introduction aux réseaux et Modèle TCP/IP APLICATION TRANSPORT RESEAU LIENS LLC LIAISON ----------- MAC PHYSIQUE Partie 2 : Présentation du modèle Positionnement des modèles INTERNET (adressage

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

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

Jean-François Bouchaudy

Jean-François Bouchaudy Jean-François Bouchaudy Tsoft et Groupe Eyrolles, 2003, ISBN 2-212-11369-2 PARTIE 1 LES BASES MODULE 1 : INTRODUCTION... 1-1 Les caractéristiques de TCP/IP...1-2 Le modèle TCP/IP...1-7 Linux...1-9 Le rôle

Plus en détail

MASTER 1 MENTION INFORMATIQUE Parcours Recherche Opérationnelle Descriptif des Modules

MASTER 1 MENTION INFORMATIQUE Parcours Recherche Opérationnelle Descriptif des Modules MASTER 1 MENTION INFORMATIQUE Parcours Recherche Opérationnelle Descriptif des Modules S41IR01 Recherche opérationnelle 1 16 16 16 Programmation linéaire et programmation en nombres entiers X. GANDIBLEUX

Plus en détail

Tronc Commun. Premier Semestre

Tronc Commun. Premier Semestre PLAN D ÉTUDE Programme de la Première année Tronc Commun Mathématiques Discrètes Probabilités et Statistiques Réseaux et Systèmes Transmissions de Données Fondements de Système d Exploitation Réseaux Informatiques

Plus en détail

Une approche descendante

Une approche descendante Internet Une approche descendante P. Bakowski bako@ieee.org Qu'est-ce que l'internet? réseau mondial P. Bakowski 2 Des liens câbles métalliques, fibres optiques, liens radio - débit en bits/s P. Bakowski

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