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