Programmes de génie aux études supérieures

Diplôme d'études supérieures spécialisées (DESS) en GÉNIE INFORMATIQUE

Pour information

gigl-es@polymtl.ca

 

Responsable

Monsieur Gilles Pesant (514) 340-4711, poste 4142, professeur au département de génie informatique et génie logiciel.

But du programme

Ce programme s'adresse à des candidats possédant un diplôme de premier cycle de nature scientifique et désirant compléter leur formation en génie informatique à l'aide de cours de cycles supérieurs.

Diplôme

Le programme d'études supérieures spécialisées en génie informatique conduit à l'obtention du Diplôme d'études supérieures spécialisées (D.E.S.S.).

Conditions d'admission

  • Être détenteur d'un baccalauréat en ingénierie ou d'un diplôme jugé équivalent par l'École Polytechnique;

ou

  • être détenteur d'un diplôme universitaire de nature scientifique et posséder une formation jugée suffisante par l'École;

et

  • avoir obtenu une moyenne cumulative d'au moins 2,50 (système de 4points) dans ses études de 1er cycle, ou l'équivalent agréé par l'École.

Un candidat peut demander une dérogation à cette règle en présentant à l'appui de sa demande un dossier mettant en évidence ses aptitudes à la poursuite d'études de deuxième cycle (expérience professionnelle pertinente, études subséquentes à l'obtention de son grade de premier cycle).

Structure du programme

Le programme comporte 30 crédits, se répartissant comme suit :

 

   Crédits 
   Min.   Max. 
Cours du 1er cycle 0 9
Cours de cycles supérieurs(1) 21 30

 

(1) Dont au moins 15 crédits doivent être choisis parmi les cours spécifiés à la section « Liste des cours ».

Liste des cours

Architectures informatiques

NoteSigleTitreCrédits
  INF6500 Structures d'ordinateurs 3
  INF6600 Conception et analyse des systèmes temps réel 3
  INF8500 Systèmes embarqués:conception et vérification 3
  INF8505 Processeurs embarqués configurables 3
  INF8601 Systèmes informatiques parallèles 3
  LOG8430 Architecture logicielle et conception avancée 3

Génie logiciel

NoteSigleTitreCrédits
  INF8007 Langages de script 1
  LOG6302 Ré-ingénierie du logiciel 3
  LOG6303 Rôles des processus en génie logiciel 3
  LOG6305 Techniques avancées de test du logiciel 3
  LOG6306 Patrons pour la compréhension de programme 3
  LOG6307 Fouille de réf. pour mise en prod. logicielle 3
  LOG6308 Systèmes de recommandations 3
  LOG6605 Méthodes formelles sécurité de l'information 3
  LOG8371 Ingénierie de la qualité en logiciel 3
  LOG8415 Concepts avancés en infonuagique 3
  LOG8430 Architecture logicielle et conception avancée 3

Multimédia

NoteSigleTitreCrédits
  INF6800 Conc. géom. ass. par ord. et visualisation 3
  INF6802 Réalité virtuelle : principes et applications 3
  INF6803 Traitement vidéo et applications 3
  INF8702 Infographie avancée 3
  INF8703 Audio numérique 3
  INF8725 Traitement de signaux et d'images 3
  INF8801A Applications multimédias 3
  INF8808 Visualisation de données 3
 GMB6700Reconstruction 3D à partir d'images médicalesN/D

Réseautique

NoteSigleTitreCrédits
  INF6404A Intergiciels et protocoles d'applications IP 3
  INF6405 Systèmes informatiques mobiles 3
  INF6470 Conception et planif. des réseaux informat. 3
  INF8401 Configuration et gestion des réseaux inform. 3
  INF8402 Sécurité des réseaux fixes et mobiles 3
  INF8405 Informatique mobile 3

Sécurité et fiabilité informatique

NoteSigleTitreCrédits
  INF6422 Concepts avancés en sécurité informatique 3
  INF6603 Vérification des systèmes temps réel 3
  INF8402 Sécurité des réseaux fixes et mobiles 3
  INF8430 Investigation numérique en informatique 3
  LOG6305 Techniques avancées de test du logiciel 3
  LOG6605 Méthodes formelles sécurité de l'information 3

Systèmes embarqués et temps réel

NoteSigleTitreCrédits
  AER8300 Informatique des systèmes spatiaux 3
  INF6600 Conception et analyse des systèmes temps réel 3
  INF6603 Vérification des systèmes temps réel 3
  INF8500 Systèmes embarqués:conception et vérification 3
  INF8505 Processeurs embarqués configurables 3

Systèmes intelligents

NoteSigleTitreCrédits
  INF6101 Programmation par contraintes 3
  INF6102 Métaheur. applic. au génie informatique 3
  INF6410 Ontologies et Web sémantique 3
  INF8215 Intelligence artif.: méthodes et algorithmes 3
  INF8225 I.A.:tech. probabilistes et d'apprentissage 3
  LOG6308 Systèmes de recommandations 3

Cours spéciaux

NoteSigleTitreCrédits
 INF6951#C. SPÉC. : « titre du cours »1
 INF6952#C. SPÉC. : « titre du cours »2
 INF6953#C. SPÉC. : « titre du cours »3
  INF6909 Projet d'études supérieures 3

Description des cours

BA = baccalauréat       ES = études supérieures       CE = certificat

ES  AER8300  Informatique des systèmes spatiaux   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3610
Corequis :

Défis de l'environnement spatial pour les systèmes embarqués. Effets des radiations sur les systèmes intégrés. Techniques de protection. Composants (processeurs, mémoires, bus et interfaces) pour les vaisseaux spatiaux, composants commerciaux et leurs défis. Capteurs et fusion des données. Formats de télémétrie et télécommande. Fiabilité du logiciel et matériel, techniques de détection et correction des erreurs. Conception de systèmes robustes. Analyse, dimensionnement et conception de systèmes de traitement de données pour missions spatiales.

Manuel(s) :
Notes :
Responsable(s) : Giovanni Beltrame

ES  INF6101  Programmation par contraintes   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Paradigme de programmation par contraintes. Historique et domaines d'application. Problème de satisfaction de contraintes. Notions de cohérence locale et propagation de contraintes. Modélisation. Algorithmes de filtrage. Recherche heuristique de solutions. Architecture de systèmes de programmation par contraintes. Approches hybrides.

Manuel(s) :
Notes :
Responsable(s) : Gilles Pesant
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6101

ES  INF6102  Métaheur. applic. au génie informatique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF1010 ou l'équivalent
Corequis :

Problèmes combinatoires difficiles rencontrés dans le domaine du génie informatique : nature et caractérisation. Approches de résolution : approche de construction, approche de réparation. Techniques de résolution : heuristique vorace, recuit simulé, recherche avec tabou, recherche locale itérée, algorithme génétique, colonies de fourmis. Hybridation, algorithme mémétique. Adaptation d'une métaheuristique au problème à résoudre. Recherche efficace du meilleur voisin : structure de tas, algorithmes incrémentaux. Réglage des paramètres d'une heuristique. Analyse statistique des résultats. Applications : réseaux de télécommunications, bioinformatique, emploi du temps.

Manuel(s) :
Notes :
Responsable(s) : À venir
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6102

ES  INF6404A  Intergiciels et protocoles d'applications IP   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3405 ou équivalent
Corequis :

Communication de données : transparence du transfert d'information tel que spécifié par les couches supérieures du modèle TCP/IP (Transport Control Protocol/Internet Protocol). Couche application : identification et authentification des interlocuteurs, négociation des mécanismes de sécurité et de récupération des erreurs. Services applicatifs et protocoles des applications de l'Internet. Téléphonie sur IP. Introduction aux intergiciels. Modèles d'intergiciels.

Manuel(s) :
Notes :
Responsable(s) : Alejandro Quintero

ES  INF6405  Systèmes informatiques mobiles   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Mobilité dans les systèmes informatiques : historique et définition. Architectures de réseaux à composantes mobiles. Systèmes cellulaires et sans fil. Caractérisation des terminaux mobiles. Mobilité des terminaux et portabilité des services. Conception et analyse d'algorithmes pour les environnements et plates-formes supportant la mobilité. Gestion des données dans des systèmes informatiques mobiles. Gestion des transactions réparties. Infrastructures et protocoles de communication supportant la mobilité. Sécurité et adaptabilité. Agents mobiles et Internet. Applications mobiles et performances.

Manuel(s) :
Notes :
Responsable(s) : Samuel Pierre

ES  INF6410  Ontologies et Web sémantique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Notions de base en logique propositionnelle et logique des prédicats. Logiques descriptives. Mécanismes d'inférence. Langages et modèles de données pour le web sémantique : langages de balisage et de transformation de documents électroniques, langage de description de ressources, langage de représentation d'ontologies. Ontologies standards. Méthodologie pour la construction d'une ontologie. Validation d'une ontologie. Applications du web sémantique : annotation et indexation sémantique de documents, outils de recherche,

Manuel(s) :
Notes :
Responsable(s) : Michel Gagnon
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6410

ES  INF6422  Concepts avancés en sécurité informatique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF4420A ou l'équivalent
Corequis :

Évaluation de performance en sécurité informatique. Performance des systèmes défensifs vs performance des outils d'attaques. Méthodes quantitatives d'évaluation de performance en sécurité informatique : modèles mathématiques, simulation et émulation. Méthodes d'expérimentation en laboratoire. Systèmes de détection d'intrusion (IDS) : recherche, déploiement commercial et limitations. Détection par règle et par anomalie. Évasion d'IDS et attaques par imitation. Détection de code malicieux : principes de base et problématiques actuelles. Réseaux de zombies : types, historique et fonctionnement. Méthode de détection et de mitigation. Attaques de déni de service : utilisation à des fins économiques et politiques, solutions proposées et utilisées. Modèles sémantiques des concepts de sécurité et attaques sémantiques. Modèles et systèmes de gestion de la confiance. Protection de la vie privée et impacts sociopolitiques.

Manuel(s) :
Notes :
Responsable(s) : Jose Fernandez

ES  INF6470  Conception et planif. des réseaux informat.   [détails] 

Nombre de crédits : 3  (3 - 3 - 3)
Département : Génies informatique, logiciel
Préalable(s) : INF6401A ou l'équivalent
Corequis :

Processus de planification des réseaux informatiques. Exigences et spécifications. Modélisation des principaux problèmes de planification des réseaux. Conception et expansion topologiques. Localisation des équipements. Réseaux informatiques à plusieurs niveaux. Dimensionnement des réseaux informatiques et acheminement du trafic avec critères de performance, de fiabilité et de qualité de service. Allocation des ressources dans les réseaux informatiques. Études de cas.

Manuel(s) :
Notes :
Responsable(s) : À venir
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6470

ES  INF6500  Structures d'ordinateurs   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Concepts de base en architecture des ordinateurs et principaux composants d'un ordinateur contemporain : processeurs, mémoire, interconnexions et communications. Architectures pour applications spécialisées, industrielles et médicales. Structures complexes à plusieurs processeurs. Plateformes d'implémentation incluant FPGA (field-programmable gate array) et CPLD (complex programmable logic device). Caractéristiques des ordinateurs pour des applications critiques et/ou en temps réel. Périphériques et interfaces aux processeurs incluant le choix des convertisseurs et méthodes de conversions analogique-numérique. Avantages et désavantages des principales architectures d'interface analogique pour ordinateurs.

Manuel(s) :
Notes :
Responsable(s) : Sylvain Martel
Site Web : http://wiki.polymtl.ca/nano/fr/index.php/INF6500

ES  INF6600  Conception et analyse des systèmes temps réel  [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3610 ou l'équivalent
Corequis :

Architecture d'un système temps réel. Modélisation d'un système temps réel. Spécification temporelle. Langages de spécification et de programmation pour le temps réel. Analyse et prédiction de performance. Outils d'analyse et de conception pour systèmes temps réel. Fiabilité et tolérance aux pannes. Implémentation. Systèmes d'exploitation temps réel. Spécification et validation. Cas types.

Manuel(s) :
Notes :
Responsable(s) : Gabriela Nicolescu
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6600

ES  INF6603  Vérification des systèmes temps réel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Introduction aux méthodes formelles de vérification des systèmes temps réel. Intégration des méthodes formelles dans le processus de développement des systèmes temps réel. Automates temporisés, automates hybrides, automates temporisés à chronomètres, automates temporisés de jeu, automates temporisés à tâches. Abstractions des espaces d'états temporisés préservant les propriétés linéaires et les propriétés de branchement, et les structures de données associées. Logiques temporelles temporisées MITL (Metric Interval Temporal Logic) et TCTL (Timed Computation Tree Logic). Model-checking. Synthèse de contrôleurs. Décidabilité et complexité de vérification. Contrôle et analyse formelle de l'ordonnançabilité. Génération automatique de tests. Calcul de stratégies gagnantes. Génération de tests par la synthèse de contrôleurs. Outils de vérification et leurs fondements théoriques.

Manuel(s) :
Notes :
Responsable(s) : Hanifa Boucheneb
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6603

ES  INF6800  Conc. géom. ass. par ord. et visualisation   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Courbes et surfaces en conception géométrique assistée par ordinateurs : Bézier, B-splines et B splines rationnelles non uniformes (NURBS). Applications à la visualisation. Surfaces à facettes triangulaires, surfaces implicites et surfaces de subdivision. Algorithmes d'insertion de noeuds, de projection et de reparamétrisation. Interpolation de courbes et de surfaces. Recherche géométrique. Modélisation géométrique solide : géométrie et topologie. Normes d'échange de données graphiques et géométriques.

Manuel(s) :
Notes :
Responsable(s) : À venir
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6800

ES  INF6802  Réalité virtuelle : principes et applications  [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF2705 ou l'équivalent
Corequis :

Réalité virtuelle et environnements virtuels. Applications des systèmes de réalité virtuelle. Matériel. Logiciels. Normes graphiques. Scène et structure hiérarchique d'objets graphiques. Modélisation géométrique et transformations. Visualisation scientifique en immersion. Techniques de navigation et de déplacement. Actions et interactions en immersion. Systèmes à retour d'effort. Environnements de collaboration. Avatars. Téléopération. Protocoles de collaboration.

Manuel(s) :
Notes :
Responsable(s) : À venir
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6802

ES  INF6803  Traitement vidéo et applications   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF1010 ou l'équivalent
Corequis :

Définition et objectifs du traitement vidéo. Architecture et caractéristiques des caméras vidéo. Indexation vidéo : détection des transitions, découpage en scènes, détection automatique d'événements. Détection du mouvement dans une séquence vidéo. Élimination du bruit et des ombres. Extraction et représentation de l'information d'une séquence vidéo. Description des objets en mouvement : modèles d'apparence, modèles structurels, modèles d'humain. Modélisation et reconnaissance des gestes et des activités.

Manuel(s) :
Notes :
Responsable(s) : Guillaume-Alexandre Bilodeau
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6803

ES  INF6909  Projet d'études supérieures   [détails] 

Nombre de crédits : 3  (0 - 0 - 9)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Projet d'études supérieures accompli sous la direction d'un professeur du département et comprenant une étude d'application ainsi que la rédaction d'un rapport de projet. Le travail comprend au moins un total de 135 heures.

Manuel(s) :
Notes :
Responsable(s) : Pierre Langlois

ES  INF8007  Langages de script   [détails] 

Nombre de crédits : 1  (1 - 1 - 1)
Département : Génies informatique, logiciel
Préalable(s) : 70 crédits pour les étudiants au baccalauréat
Corequis :

Caractéristiques des langages de script. Principaux langages et domaines d'application. Programmation avec un langage de script : syntaxe, structures de contrôle, structures de données, communication interprocessus et communication avec une base de données, modules clients et serveurs.

Manuel(s) :
Notes :
Responsable(s) : À venir
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8007

ES  INF8215  Intelligence artif.: méthodes et algorithmes   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : LOG2810, MTH2302D, 70 crédits
Corequis : Aucun

Notion d'agent intelligent. Algorithmes de recherche de solutions dans des espaces d'états. Recherche heuristique : algorithme A*, méthodes de recherche locale. Problèmes de satisfaction de contraintes. Représentation des connaissances et inférence. Raisonnement incertain. Méthodes d'apprentissage automatique: apprentissage par renforcement, apprentissage supervisé, apprentissage non supervisé.

Manuel(s) :
Notes :
Responsable(s) : À venir
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8215

ES  INF8225  I.A.:tech. probabilistes et d'apprentissage   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : LOG2810 et MTH2302, ou l'équivalent
Corequis :

Méthodes probabilistes d'intelligence artificielle. Modèles probabilistes : réseaux bayésiens, modèles de Markov cachés, champs aléatoires de Markov et leurs généralisations. Inférence. Théorie de la décision statistique et des réseaux de décision. Algorithmes d'apprentissage automatique, classificateurs simples, complexes et structurés. Traitement probabiliste de la langue naturelle et de la perception visuelle. Applications à la conception et l'implantation des systèmes experts, au forage de données, à la recherche d'informations et à la vision par ordinateur.

Manuel(s) :
Notes :
Responsable(s) : Christopher Pal
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8225

ES  INF8401  Configuration et gestion des réseaux inform.   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3405 ou l'équivalent
Corequis :

Historique des réseaux locaux. Architecture des réseaux locaux. Protocoles et fonctionnement des commutateurs et des routeurs. Conception des réseaux incluant le choix des technologies, des protocoles et des équipements. Configuration des commutateurs et des routeurs (câblés et sans fil). Câblage structuré. Systèmes d'exploitation des réseaux. Téléphonie et voix sur IP. Gestion de réseaux : gestion de la performance, des configurations et des fautes dans les réseaux. Virtualisation.

Manuel(s) :
Notes :
Responsable(s) : À venir
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8401

ES  INF8402  Sécurité des réseaux fixes et mobiles   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3405 ou l'équivalent
Corequis :

Sécurité des réseaux informatiques fixes et mobiles. Normes de sécurité des réseaux. Sécurité des technologies et des protocoles utilisés dans les réseaux informatiques fixes : réseaux Ethernet, réseaux TCP/IP (Transport Control Protocol/Internet Protocol) et particularités des réseaux IP. Sécurité des technologies et des protocoles utilisés dans les réseaux informatiques mobiles incluant les réseaux ad hoc, les réseaux de capteurs et les réseaux téléphoniques mobiles. Sécurité du système IMS (Internet Multimedia Subsystem) et des réseaux pair-à-pair. Technologies de sécurité des réseaux : réseaux privés virtuels et les réseaux locaux virtuels.

Manuel(s) :
Notes :
Responsable(s) : Alejandro Quintero
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8402

ES  INF8405  Informatique mobile   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3405 ou l'équivalent
Corequis :

Informatique mobile et réseaux sans fil. Disponibilité ou présence en tous lieux et en tout temps. Gestion de mobilité et de localisation. Caractérisation d'applications mobiles. Architectures des réseaux à composantes mobiles : cadres théoriques et pratiques. Systèmes d'exploitation pour les dispositifs mobiles. Systèmes cellulaires et sans fil. Réseaux de prochaines générations. Nouvelles architectures de réseaux sans fil. Approches de déploiement d'applications dans les réseaux ad hoc et de capteurs. Infrastructures et protocoles supportant la mobilité. Qualité de service et routage pour applications mobiles. Développement de services évolués pour usagers mobiles. Applications adaptatives : conception et implémentation sur réseaux sans fil.

Manuel(s) :
Notes :
Responsable(s) : Alejandro Quintero

ES  INF8430  Investigation numérique en informatique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF2610, INF3405 ou équivalents
Corequis : Aucun

Application de techniques et de protocoles d'investigation numériques pour la collecte, l'identification, la description, la sécurisation, l'extraction, l'authentification, l'analyse, l'interprétation et l'explication des données numériques contenues dans des systèmes informatiques et dans des périphériques de stockage. Capture et analyse des données volatiles, notamment des séances actives de réseaux et des processus en cours. Collecte d'informations des navigateurs Web.

Manuel(s) :
Notes :
Responsable(s) : Steven Chamberland

ES  INF8500  Systèmes embarqués:conception et vérification  [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3610 ou l'équivalent
Corequis :

Introduction à la conception conjointe logiciel/matériel. Techniques de vérification fonctionnelle pour le matériel : génération aléatoire de tests sous contraintes, couverture de code, couverture fonctionnelle et assertions. Plan de vérification. Stimuli et réponse. Banc d'essai et concept de réutilisation pour différents niveaux d'abstraction. Langages System Verilog et SystemC pour la modélisation et la vérification de systèmes embarqués. Covérification, codébogage et cosimulation. Définition du codesign logiciel/matériel. Étapes de codesign : allocation, partitionnement logiciel/matériel, ordonnancement et raffinement. Estimation de performance. Synthèse du logiciel, du matériel et du protocole de communication. Implémentation. Études de cas d'outils industriels.

Manuel(s) :
Notes :
Responsable(s) : Guy Bois
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8500

ES  INF8505  Processeurs embarqués configurables   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : ELE3312 ou INF3610 ou l'équivalent
Corequis :

Revue des microprocesseurs. Flot de conception d'un processeur embarqué. Langages de description architecturale. Compilateurs polyvalents : principes et approches. Configuration automatisée d'un processeur embarqué : profilage de code et synthèse de jeu d'instructions, génération de coprocesseurs, synthèse du chemin de données. Métriques de performance et de complexité. Configuration de processeurs embarqués pour réseaux prédiffusés programmables (FPGA).

Manuel(s) :
Notes :
Responsable(s) : À venir
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8505

ES  INF8601  Systèmes informatiques parallèles   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF2610 ou l'équivalent
Corequis :

Taxonomie et organisation des systèmes informatiques parallèles. Architectures avancées de multiprocesseurs. Hiérarchie de mémoires, protocoles de cohérence des antémémoires. Parallélisme par fils d'exécution multiples. Conception d'applications parallèles en mémoire partagée. Coprocesseurs pour le calcul parallèle. Grappes de calcul et échange de messages entre les noeuds. Techniques d'équilibrage de charge. Infonuagique. Conception d'applications parallèles en mémoire répartie.

Manuel(s) :
Notes :
Responsable(s) : Michel Dagenais

ES  INF8702  Infographie avancée   [détails] 

Nombre de crédits : 3  (3 - 3 - 3)
Département : Génies informatique, logiciel
Préalable(s) : INF2705 ou l'équivalent
Corequis :

Architectures et technologies de rendu graphique. Rendu graphique en temps réel. Rendu d'objets polygonaux : élimination de parties cachées, nuanceurs de sommets et de fragments, ombrage. Rendu d'objets surfaciques. Utilisation de textures : textures 2D sur objets 3D, textures 3D. Courbes et surfaces paramétriques. Évolution du modèle de réflexion locale : réflexion spéculaire et diffuse par modélisation physique. Modèles d'illumination globale : lancer de rayons, radiosité. Rendu de volumes. Modélisation artistique. Réalité virtuelle.

Manuel(s) :
Notes :
Responsable(s) : Christopher Pal
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8702

ES  INF8703  Audio numérique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF4725 ou équivalent
Corequis :

Le son : acoustique, réponse de l'oreille, musique. Signaux audio : échantillonnage, rééchantillonnage, analyse de fréquences dans le temps. Traitement des signaux audio : filtrage, débruitage, réparation, changement de note et de vitesse. Simulation du positionnement d'une source sonore dans un environnement virtuel. Modélisation et synthèse de son. Compression : psychoacoustique et sans perte. Traitement en temps réel.

Manuel(s) :
Notes :
Responsable(s) : François-Raymond Boyer

ES  INF8725  Traitement de signaux et d'images   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : MTH1102, 70 crédits
Corequis :

Analyse temporelle de signaux numériques : rapport signal / bruit, modélisation du bruit, convolution de signaux. Analyse spectrale du signal : spectres continus et discrets, transformée de Fourier, théorème d'échantillonnage. Filtres numériques : transformée en Z, filtres impulsionnels à réponse finie et infinie. Filtrage d'images : dans le domaine spatial, dans le domaine fréquentiel. Restauration d'images : filtres de régularisation, filtres de déconvolution. Segmentation d'images : détection de contours, détection de lignes par transformée de Hough, techniques de seuillage, segmentation de régions, segmentation par la transformée Watershed.

Manuel(s) :
Notes :
Responsable(s) : Thomas Hurtut
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8725

ES  INF8801A  Applications multimédias   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : 70 crédits
Corequis :

Recherche par le contenu dans des bases multimédias : images 2D, images non réalistes, objets 3D. Taxonomie des critères de recherche, et modes de recherche (par l'exemple, par croquis). Mégadonnées visuelles : utilisation de grandes bases d'images dans différentes applications. Applications multimédias basées sur le filtre bilatéral d'image (mappage de ton local, transfert de couleurs). Stylisation temporelle et spatiale de vidéos. Recadrage d'images et vidéos basés sur le contenu. Synthèse de textures et d'hybrides.

Manuel(s) :
Notes :
Responsable(s) : Thomas Hurtut

ES  INF8808  Visualisation de données   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : 70 crédits
Corequis :

Principes de design graphique. Types de données visuelles. Interaction et animation. Visualisation d'arbres et réseaux. Géovisualisation. Visualisation de données multimédias. Données multidimensionnelles. Couleur, perception et cognition dans la visualisation. Programmation avec une librairie.'

Manuel(s) :
Notes :
Responsable(s) : À venir

ES  LOG6302  Ré-ingénierie du logiciel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Cycle de ré-ingénierie, restructuration, rétro-ingénierie, récupération de la conception (design recovery) et re-documentation. Niveaux d'abstraction et méthodes de représentation. Aspects d'analyse syntaxique. Techniques d'analyse statique du code source. Analyses de flux de contrôle et de flux de données. Autres techniques d'analyses de flux. Approches d'extraction et d'inférence de spécifications. Génération automatique de code. Analyse d'impact.

Manuel(s) :
Notes :
Responsable(s) : Ettore Merlo

ES  LOG6303  Rôles des processus en génie logiciel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Types de processus : philosophie Agile, processus discipliné, modèles de référence, CMMI, ISO 15504 et méta-modèle. Rôles des processus en fonction des contextes suivants : qualité du logiciel, cycle de vie, disciplines d'ingénierie et de support, pratiques de développement, interactions face-à-face et virtuelle, équipe distribuée, gestion des équipes, mobilité, environnement de développement, techniques d'amélioration des processus, estimations, outils logiciels, méthodologies, métriques, certification. Application de la méthodologie de la revue systématique de la littérature dans le contexte des processus de génie logiciel.

Manuel(s) :
Notes :
Responsable(s) : À venir

ES  LOG6305  Techniques avancées de test du logiciel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Principaux aspects du test du logiciel à toutes les étapes de développement et d'évolution. Techniques structurelles de test et méthodes de test fonctionnel avancées. Génération automatique de données de test et approches basées sur les métaheuristiques. Tests des logiciels orientés objets. Modélisation quantitative du logiciel pour évaluer sa fiabilité, sa robustesse et sa sécurité. Techniques pour détecter les failles de sécurité. Identification des fichiers, classes ou méthodes défectueuses. Rôle de l'ingénierie de la qualité dans la fiabilité du logiciel.

Manuel(s) :
Notes :
Responsable(s) : À venir

ES  LOG6306  Patrons pour la compréhension de programme   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Introduction aux méthodes empiriques en génie logiciel. Métamodélisation et mesures. Principales théories de la mesure et validation des mesures. Introduction aux études empiriques et techniques d'analyses empiriques. Principales définitions de patrons (patrons architecturaux, de conception, anti-patrons, idiomes). Principales théories liées à la compréhension de programmes et à l'utilisation de patrons. Principales méthodes d'utilisation des patrons pour le développement et la maintenance et pour faciliter la compréhension de programmes. Principales techniques d'application de patrons et d'identification d'occurrences dans divers artefacts logiciels (code source, modèles statiques, dynamiques, historiques). Impact des patrons sur la compréhension des programmes.

Manuel(s) :
Notes :
Responsable(s) : Yann Gaël Guéhéneuc

ES  LOG6307  Fouille de réf. pour mise en prod. logicielle  [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Processus de la mise en production de logiciel : intégration, manufacture, tests en plusieurs étapes, emballage et livraison. Planification de la mise en production et problématiques liées. Définition et concepts de base de la fouille de référentiels logiciels. Différents types de référentiels : gestion des configurations, gestion de bogues, listes de diffusion, écosystèmes de projets et sites de collaboration. Techniques pour l'analyse empirique des référentiels: fouille de données, analyse statistique, traitement de la langue naturelle, analyse du code source et analyse manuelle. Intégration : gestion des configurations, impact des patrons de branchement sur la qualité du logiciel, patrons d'intégration dans des projets à grande échelle. Manufacture : maintenance et vérification de la manufacture, gestion de la variabilité logicielle. Tests en plusieurs étapes : prédiction de bogues, réduction/minimalisation/sélection de tests et assurance qualité en continu. Emballage : distributions de logiciels à grande échelle, provenance de code source et applications mobiles. Livraison : techniques de déploiement, magasins d'applications mobiles (« app stores ») et infonuagique.

Manuel(s) :
Notes :
Responsable(s) : Bram Adams
Site Web : http://moodle.polymtl.ca/course/view.php?name=LOG6307

ES  LOG6308  Systèmes de recommandations   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : Aucun
Corequis : Aucun

Concepts et exemples d'applications des systèmes de recommandations et des filtres d'information. Modélisation des intérêts, buts et connaissances des utilisateurs. Matrices de votes, matrices termes-documents et matrices d'adjacence. Filtres collaboratifs item-item et utilisateur-utilisateur. Approches probabilistes et algorithme PageRank. Réduction de dimensions. Facteurs de confiance, transparence et sérendipité de l'information filtrée. Techniques de personnalisation en fonction de la connaissance et des actions des utilisateurs. Techniques de validation

Manuel(s) :
Notes :
Responsable(s) : Michel C. Desmarais

ES  LOG6605  Méthodes formelles sécurité de l'information   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Contrôle d'accès : mécanismes, modèles (définition, spécification et vérification), limitations. Contrôle de flux d'information : mesures, spécification et analyse de flux dans un programme séquentiel. Non-interférence (spécification, analyse et limitations), généralisations de la non-interférence aux systèmes distribués (spécification, classification et analyse). Sécurité des systèmes ouverts : spécification des propriétés de sécurité, modèles d'attaques, diverses méthodes d'analyse automatisée et leurs limitations.

Manuel(s) :
Notes :
Responsable(s) : John Mullins

ES  LOG8371  Ingénierie de la qualité en logiciel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : 70 crédits pour les étudiants du baccalauréat
Corequis :

Concepts de base et définitions pertinentes en relation avec la qualité du logiciel, assurance qualité, tests, ingénierie de la qualité et planification de la qualité. Prévention des anomalies et classification des défauts. Tolérance aux fautes. Ingénierie de la fiabilité logicielle. Modèles de la qualité. Comparaison des différentes techniques d'assurance qualité. Amélioration du processus de développement logiciel. Mesure du logiciel et du processus. Identification des risques pour l'amélioration quantifiable de la qualité.

Manuel(s) :
Notes :
Responsable(s) : Foutse Khomh

ES  LOG8415  Concepts avancés en infonuagique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : 70 crédits pour les étudiants au baccalauréat
Corequis :

Concepts clés de l'infonuagique. Principaux modèles de services d'infonuagique. Mécanismes clés et architecture d'une plateforme infonuagique. Théorie de la virtualisation et techniques logicielles de virtualisation. Analytique pour les gros volumes de données avec MapReduce et NoSQL. Considérations techniques liées à la migration d'applications vers le nuage. Patrons d'architectures pour le nuage. Interopérabilité dans le nuage. Métriques de qualité de service et contrat de niveau de service. Sûreté de fonctionnement et sécurité dans le nuage. Problèmes juridiques liés à l'infonuagique. Infonuagique mobile

Manuel(s) :
Notes :
Responsable(s) : À venir

ES  LOG8430  Architecture logicielle et conception avancée  [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : LoG2410, LOG3210, LOG3430, ou l'équivalent
Corequis :

Méthodes de conception avancées de logiciels et choix d'architecture. Architectures logicielles : multi-niveaux, clients-serveurs, extensibles et dynamiques. Concepts et implantations avancées des bibliothèques et du chargement de composantes dynamiques. Cadres de référence et plugiciels. Composition et architecture par composantes. Patrons de conception avancés pour les systèmes distribués : accès aux services et configuration, traitement d'événements, synchronisation et accès simultanés. Approches émergentes de conception et d'architecture : conception orientée aspect, architecture orientée services et autres.

Manuel(s) :
Notes :
Responsable(s) : Yann Gaël Guéhéneuc
Site Web : http://moodle.polymtl.ca/course/view.php?name=LOG8430

Pour des informations supplémentaires

École Polytechnique de Montréal
Registrariat
C.P. 6079, succursale Centre-ville
Montréal (Québec) CANADA, H3C 3A7
Téléphone : 514 340-4724
Télécopieur : 514 340-5836
Courriel : registraire@polymtl.ca
Pavillon : Principal
Local : A-201

Le contenu de cette page est sous la responsabilité du Registrariat.

 

© École Polytechnique de Montréal
Bottin | Plan du site | Recherche | Conditions