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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2. Architecture materielle Objectifs Comprendre l'architecture d'un ordinateur

2. Architecture materielle Objectifs Comprendre l'architecture d'un ordinateur A. de la formation Fournir aux étudiants l ensemble des connaissances leur permettant de: Concevoir, réaliser et mettre en œuvre des systèmes d'informations Evaluer le coup d un système et participer à

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

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

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

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

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

Programmes Post-Grade Mastères Spécialisés : Formule à temps Partiel

Programmes Post-Grade Mastères Spécialisés : Formule à temps Partiel Mis en forme : Police :(Par défaut) Verdana, 24 pt, Gras, Couleur de police : Noir Programmes Post-Grade Mastères Spécialisés : Formule à temps Partiel MS Sécurité Systèmes et Réseaux PROMOTION 20164-20175

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

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

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

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

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

MATIERES SOMMAIRE DES COURS BTS SIO 1 ERE ANNEE. Expression et communication en langue anglaise. Culture générale et expression

MATIERES SOMMAIRE DES COURS BTS SIO 1 ERE ANNEE. Expression et communication en langue anglaise. Culture générale et expression MATIERES Expression et communication en langue anglaise Culture générale et expression Mathématiques Algorithmique appliquée Support système des accès utilisateurs Support réseau des accès utilisateurs

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

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

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

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

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

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

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

Évaluation et implémentation des langages

Évaluation et implémentation des langages Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation

Plus en détail

GPC Computer Science

GPC Computer Science CYCLE ISMIN P2015 GPC Computer Science P LALEVÉE lalevee@emse.fr @p_lalevee A3.01 0442616715 C YUGMA yugma@emse.fr A3.01 0442616715 01/09/2014 Présentation GPC CS - Ph. Lalevée - C Yugma 1 Scolarité Site

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

Algorithmique - Techniques fondamentales de programmation Exemples en Python (nombreux exercices corrigés) - BTS, DUT informatique

Algorithmique - Techniques fondamentales de programmation Exemples en Python (nombreux exercices corrigés) - BTS, DUT informatique 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

Claude Kaiser Machine virtuelle et environnement utilisateur SRI_B CHAPITRE 1

Claude Kaiser Machine virtuelle et environnement utilisateur SRI_B CHAPITRE 1 CHAPITRE 1 FOURNIR À L'UTILISATEUR UNE MACHINE VIRTUELLE ET UN ENVIRONNEMENT D'EXÉCUTION DE PROGRAMMES Plan ENVIRONNEMENT DE TRAVAIL ADAPTÉ AU BESOIN DE L'UTILISATEUR Fonctions de l'environnement d'exécution

Plus en détail

Groupe Eyrolles, 2004 ISBN : 2-212-11504-0

Groupe Eyrolles, 2004 ISBN : 2-212-11504-0 Groupe Eyrolles, 2004 ISBN : 2-212-11504-0 Table des matières Avant-propos................................................ 1 Quel est l objectif de cet ouvrage?............................. 4 La structure

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

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

Organisation des études conduisant au DUT, spécialité «Génie Électrique et Informatique Industrielle»

Organisation des études conduisant au DUT, spécialité «Génie Électrique et Informatique Industrielle» Organisation des études conduisant au DUT, spécialité «Génie Électrique et Informatique Industrielle» Programme Pédagogique National s du Cœur de Compétence 3 Sommaire 1s de l 3 : Informatique des Systèmes

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

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

Systèmes et applications distribués Intergiciels et applications communicantes

Systèmes et applications distribués Intergiciels et applications communicantes Systèmes et applications distribués Intergiciels et applications communicantes Philippe Quéinnec Télécommunication et Réseaux 2e année ENSEEIHT 24 février 2014 Inspiré de cours de G. Padiou, Ph. Mauran

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

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

I. Bases de données. Exemples classiques d'applications BD. Besoins de description

I. Bases de données. Exemples classiques d'applications BD. Besoins de description I. Bases de données Exemples classiques d'applications BD Les besoins Qu est ce qu un SGBD, une BD Architecture d un SGBD Cycle de vie Plan du cours Gestion des personnels, étudiants, cours, inscriptions,...

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

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

UE 8 Systèmes d information de gestion Le programme

UE 8 Systèmes d information de gestion Le programme UE 8 Systèmes d information de gestion Le programme Légende : Modifications de l arrêté du 8 mars 2010 Suppressions de l arrêté du 8 mars 2010 Partie inchangée par rapport au programme antérieur Indications

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

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

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

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

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S POUR L ENSEIGNEMENT DE L INFORMATIQUE MPSI première année I. Objectifs de la formation II-1 Développement de compétences et d aptitudes

Plus en détail

CONDUITE & GESTION DE PROJET

CONDUITE & GESTION DE PROJET LES THEMES DU PROGRAMME PEDAGOGIQUE CONDUITE & GESTION DE PROJET Techniques de gestion de projets Connaître le rôle d un chef de projet dans la conduite de projet. Les méthodes, les techniques et les outils

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

Architectures à composants

Architectures à composants Interaction requête/réponse Architectures à composants!communication par requête/réponse client requête réponse serveur Gaël Thomas gael.thomas@lip6.fr Université Pierre et Marie Curie Master Informatique

Plus en détail

Objectifs. Maîtriser. Pratiquer

Objectifs. Maîtriser. Pratiquer 1 Bases de Données Objectifs Maîtriser les concepts d un SGBD relationnel Les modèles de représentations de données Les modèles de représentations de données La conception d une base de données Pratiquer

Plus en détail

ACI Sécurité ALIDECS:

ACI Sécurité ALIDECS: ACI Sécurité ALIDECS: Langages et Atelier Integrés pour le Développement de Composants Embarqués Sûrs Réunion de démarrage LIP6, 21 et 22 octobre 2004 Marc Pouzet 1 Page web http://www-verimag.imag.fr/synchrone/alidecs/

Plus en détail

Administration et sécurité des réseaux M&K ELHDHILI

Administration et sécurité des réseaux M&K ELHDHILI Administration et sécurité des réseaux 1 Plan du cours Chapitre 1: Introduction à l administration des réseaux Domaines d activités Organisation logique (criètères, types de décisions ) Architectures et

Plus en détail

Introduction. La gestion des qualités de services dans Internet. La garantie de QoS. Exemple

Introduction. La gestion des qualités de services dans Internet. La garantie de QoS. Exemple Introduction Aujourd hui les applications (en particulier multimédia) nécessitent des qualités de service de natures très différentes La gestion des qualités de services dans Internet Exemples: Transfert

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

Les formations. Développeur Logiciel. ENI Ecole Informatique

Les formations. Développeur Logiciel. ENI Ecole Informatique page 1/5 Titre professionnel : Reconnu par l Etat de niveau III (Bac), inscrit au RNCP (arrêté du 12/10/07, J.O. n 246 du 23/10/07) (32 semaines) Unité 1 : Structurer une application 6 semaines Module

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

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

Objectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui

Objectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui Formation PARTIE 1 : ARCHITECTURE APPLICATIVE DUREE : 5 h Objectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui automatisent les fonctions Définir une architecture

Plus en détail

Architectures et Protocoles des Réseaux

Architectures et Protocoles des Réseaux Chapitre 1 - Introduction aux réseaux informatiques Claude Duvallet Université du Havre UFR Sciences et Techniques 25 rue Philippe Lebon - BP 540 76058 LE HAVRE CEDEX Claude.Duvallet@gmail.com Claude Duvallet

Plus en détail

BTS : Service Informatique aux Organisations (Programme SLAM)

BTS : Service Informatique aux Organisations (Programme SLAM) BTS : Service Informatique aux Organisations (Programme SLAM) 1 TRONC COMMUN SOLUTIONS INFORMATIQUES - Support système des accès utilisateurs Solutions techniques d accès et systèmes d'exploitation associés

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

SDL: 20 ans de programmation basée modèle

SDL: 20 ans de programmation basée modèle SDL: 20 ans de programmation basée modèle Emmanuel Gaudin emmanuel.gaudin @ pragmadev.com Principes MDE, MDA et MDD: Approche orienté modèle PIM: Platform Independant Model PDM: Platform Definition Model

Plus en détail

Introduction aux Bases de Données

Introduction aux Bases de Données Introduction aux Bases de Données I. Bases de données I. Bases de données Les besoins Qu est ce qu un SGBD, une BD Architecture d un SGBD Cycle de vie Plan du cours Exemples classiques d'applications BD

Plus en détail

Dépannage du réseau (S4/C8) Documenter le réseau

Dépannage du réseau (S4/C8) Documenter le réseau Dépannage du réseau (S4/C8) b Documenter le réseau Pour corriger et diagnostiquer des problèmes réseau efficacement, un ingénieur réseau doit savoir comment le réseau a été conçu et connaitre les performances

Plus en détail

Licence Domaine Sciences, Technologies, Santé Mention Informatique Parcours type Informatique ou MIAGE ou Biologie et Santé

Licence Domaine Sciences, Technologies, Santé Mention Informatique Parcours type Informatique ou MIAGE ou Biologie et Santé Licence Domaine Sciences, Technologies, Santé Mention Informatique Parcours type Informatique ou MIAGE ou Biologie et Santé Objectifs Former en 3 ans des étudiants : *ayant acquis les connaissances fondamentales

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

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

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

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

Chapitre 1 Comment se connecter à Internet... 13

Chapitre 1 Comment se connecter à Internet... 13 Chapitre 1 Comment se connecter à Internet... 13 1.1 Adresse IP permanente ou temporaire... 16 1.2 Débit d une connexion... 16 1.3 Utilisation occasionnelle (RTC, Numéris)... 20 RTC... 20 RNIS... 24 1.4

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

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

Technologie SAFE* X3 - Outils et Développement. Développement, Fonction de base 2 e partie 3 jours. Web Services. 2 jours

Technologie SAFE* X3 - Outils et Développement. Développement, Fonction de base 2 e partie 3 jours. Web Services. 2 jours - Vous êtes consultant, chef de projets, acteur clé au sein de votre entreprise et vous intervenez en phase de déploiement ou de paramétrage d un logiciel Sage, Optez pour les formations «Produits» : Nous

Plus en détail

Customisation Rhapsody et Henri BOULOUET DITV/AEEV/EECH. approche méthodologique

Customisation Rhapsody et Henri BOULOUET DITV/AEEV/EECH. approche méthodologique Customisation Rhapsody et approche méthodologique Retour d expérience sur l implémentation d un langage et profil UML associé 1 Sommaire Principe d un développement méthodologique Evocation d ISR (Ingénierie

Plus en détail

Prise en compte des ressources dans les composants logiciels parallèles

Prise en compte des ressources dans les composants logiciels parallèles Prise en compte des ressources dans les composants logiciels parallèles Aperçus de l action RASC et du projet Concerto F. Guidec Frederic.Guidec@univ-ubs.fr Action RASC Plan de cet exposé Contexte Motivations

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

INDUSTRIALISATION ET RATIONALISATION

INDUSTRIALISATION ET RATIONALISATION INDUSTRIALISATION ET RATIONALISATION A. LA PROBLEMATIQUE La mission de toute production informatique est de délivrer le service attendu par les utilisateurs. Ce service se compose de résultats de traitements

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

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

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation.

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation. Master mention Informatique M1 Construction d s Réparties Lionel Seinturier USTL-LIFL Équipe GOAL/Projet INRIA Jacquard Lionel.Seinturier@lifl.fr 2006/2007 1 Objectifs du cours Appréhender la conception

Plus en détail