Programmes de génie aux études supérieures

Doctorat 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

Le programme de doctorat en génie informatique vise à former des diplômés ayant un haut niveau de connaissances, de rigueur intellectuelle, de curiosité scientifique et de créativité nécessaire tant dans les activités professionnelles de pointe que dans la recherche scientifique et l’enseignement universitaire.

Plus spécifiquement, le programme est conçu pour permettre à l’étudiant d’intégrer des connaissances reliées aux cinq domaines d’intérêt du génie informatique, soient: le génie logiciel, l’ingénierie des systèmes embarqués, la réseautique et l’informatique mobile, l’ingénierie des systèmes intelligents, l’ingénierie des systèmes de simulation numériques et de visualisation.

 

Le programme permet aussi de développer des habiletés en génie informatique pour évoluer dans un contexte de changement rapide des technologies de l’information.

Grade

Le programme de doctorat en génie informatique conduit à l'obtention du grade de Philosophiae Doctor (Ph.D.).

Conditions d'admission

  • Être détenteur d’un diplôme de baccalauréat en ingénierie ou d’un diplôme de maîtrise de l’École Polytechnique ou un diplôme jugé équivalent par l’École Polytechnique qui témoigne d’une formation appropriée.
  • Un dossier académique de haut niveau ne garantit pas l'accès au programme de doctorat. Le candidat doit obtenir l'appui d'un professeur qui accepte de diriger ses travaux.

Note:      Pour connaître les conditions d'un passage direct de la maîtrise au doctorat sans soumettre de mémoire, voir l'article 71.3 des règlements particuliers des études supérieures.

Structure du programme

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

 

   Crédits
Cours de cycles supérieurs  15 (minimum) 
Recherche et rédaction de thèse  75

 

Note 1 :       Les candidats qui détiennent déjà un diplôme d’études supérieures pourront obtenir une exemption de la totalité ou d’une partie de leurs crédits de cours de cycles supérieurs selon les modalités spécifiées à l’article 73.1.2 des règlements particuliers des études supérieures.

Note 2 : Les étudiants doivent suivre le cours INF7900 Communication scientifique et technique II.

Axes de spécialisation

Génie logiciel - Regroupe les sujets de recherche qui ont pour but de faire avancer la connaissance sur les aspects reliés au logiciel indépendamment d’un domaine d’application particulier. Ce domaine comprend: la conception et le développement de logiciels, les processus de développement, l’assurance et le contrôle de qualité, les aspects cognitifs des activités de développement, la validité des méthodes et des outils traditionnels. Des sujets de recherches typiques sont par exemple : les méthodes de spécifications de requis centrées utilisateurs, les méthodes automatiques de ré-ingénierie des logiciels, les modèles d’évaluation de la qualité des logiciels, la définition de processus de génie logiciel, les méthodes de validation et de vérification des logiciels, la spécification d’interfaces.

Ingénierie des systèmes informatiques embarqués - Regroupe les sujets de recherche qui ont pour but de faire avancer la connaissance sur les aspects reliés à l’interaction entre le logiciel et le matériel. Ce domaine couvre aussi les nanosystèmes. Des sujets de recherches typiques sont par exemple: architectures d’ordinateur, de logiciel, de réseau, intégration du matériel et du logiciel dans un système informatique, conception simultanée logicielle - matérielle, intégration d’un système informatique dans un système parent, propriétés spécifiques d’un système logiciel - matériel enchâssé, embarqué ou réactif, méthodes de conception et de fabrication de matériel, outils logiciels d’aide à la conception et à la fabrication de dispositifs et de systèmes microélectroniques numériques, langages de spécification et de description de haut niveau, méthodes de synthèse de matériel de haut niveau, méthodes d’évaluation et de vérification de design.

Réseautique et informatique mobile - Le domaine d’intérêt en réseautique et informatique mobile couvre les applications sur les réseaux et les composantes mobiles sans fil des réseaux mobiles de prochaines générations, des réseaux optiques dorsaux et de l’informatique mobile. Les aspects intergiciels et télématiques sont également visés par ce domaine. Ce domaine d’intérêt s’intéresse aux aspects suivants: Internet, intranet et extranet, réseaux informatiques et applications, informatique mobile, informatique des réseaux, outil de conception, simulation, planification et gestion de réseaux informatiques.

Ingénierie des systèmes intelligents - Comprend la représentation des connaissances, l'extraction d'information, l'apprentissage automatique, l'analyse et la génération de texte en langage naturel, les interfaces personne-machine, les systèmes multi-agents, les systèmes experts, le raisonnement automatisé, la résolution de problèmes et les tutoriels intelligents. Plus particulièrement, les professeurs-chercheurs du département oeuvrant dans ce secteur ont développé des thèmes de recherche dans les domaines du Web sémantique, de la modélisation cognitive avec réseaux bayésiens, des aspects cognitifs des architectures multi-agents, de la recherche d'information, du raisonnement sous contraintes et des méta-heuristiques.

Ingénierie des systèmes de simulation numérique et de visualisation - Comprend la conception et le déploiement de logiciels complexes intimement liés à divers domaines d'application, tant dans les disciplines du génie que des sciences du vivant. Les principales recherches portent sur le traitement et la visualisation de modèles à géométries complexes et sur leurs applications, le

calibrage des systèmes d'acquisition, les techniques de reconstruction et de discrétisation de surfaces, le traitement parallèle et les simulations numériques intensives, la visualisation,  les techniques de réalité virtuelle. Des sujets de recherches typiques sont par exemple : la simulation de traitement sur des organes personnalisés à partir de reconstructions 3D de structures anatomiques, l'analyse et l'optimisation du comportement de pièces aéronautiques et hydrauliques à l'aide de modèles par éléments et volumes finis en dynamique des fluides, la simulation de la physique de réacteurs nucléaires par des méthodes déterministes de suivi de particules, la simulation et la visualisation d'incendies et de propagation de flammes dans des édifices.

 

Ateliers complémentaires à la formation doctorale

Les étudiants inscrits au doctorat à partir du trimestre d’hiver 2012 ou suivant doivent suivre les quatre premiers ateliers de formation complémentaire au doctorat d’un crédit chacun (hors programme).

Ateliers obligatoires

CAP7001         Réussir au doctorat (1 cr.)

                        Suivi préférablement au 1er ou 2e trimestre suivant l’inscription

CAP7005         Traitement de l’information scientifique et technique (1 cr.)

                        Suivi préférablement au 2e ou 3e trimestre suivant l’inscription

CAP7010         La créativité à votre portée (1 cr.)

                        Suivi préférablement au 3e ou 4e trimestre suivant l’inscription

CAP7015         Conduire un projet de recherche (1 cr.)

                        Suivi préférablement au 3e ou 4e trimestre suivant l’inscription

Note :     Les étudiants dont la première inscription au doctorat est antérieure au trimestre d’hiver 2012 doivent suivre le cours ING6900 Méthodes de recherche ou ING6900E Research Methods (version anglaise) au plus tard au 3e trimestre suivant la première inscription, s’il n’a pas été suivi à la maîtrise.

Liste des autres ateliers offerts :

http://www.polymtl.ca/es/ateliersdoctorat/index.php

 

Examen de synthèse

Se référer à l’article 75 pour les modalités générales de l’examen de synthèse.

MODALITÉS SPÉCIFIQUES AU PROGRAMME

Les détails des modalités spécifiques au programme sont disponibles au secrétariat du département.

Liste des cours

Les modalités spécifiques au programme sont disponibles au secrétariat des études supérieures du département de génie informatique et génie logiciel.

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
  GBM6700 Reconstruction 3D à partir d'images médicales 3

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

Stages doctoraux pour étudiant étranger en codirection inscrit dans un autre établissement

NoteSigleTitreCrédits
 INF791XStage doctoral X (X = 1 à 69

 

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  GBM6700  Reconstruction 3D à partir d'images médicales  [détails] 

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

Systèmes de reconstruction 3D à partir d'images médicales. Systèmes de vision passive : calibrage de caméras et de systèmes à rayons-X, mise en correspondance de primitives, techniques de mise en correspondance de primitives géométriques, techniques de mise en correspondance basées sur l'intensité, géométrie épipolaire, reconstruction 3D, fusion multimodale d'images médicales. Reconstruction 3D à partir de séquences d'images : auto-calibrage, suivi temporel de primitives, reconstruction 3D à partir de mouvement, d'ombrage et de texture. Systèmes de vision active : principe d'interférométrie, triangulation active, recalage d'images 3D, techniques de recalage rigide, techniques de recalage élastique, placage de texture. Exemples d'applications de reconstruction 3D de structures anatomiques à partir d'images médicales.

Manuel(s) :
Notes : cours donné à Polytechnique. L'étudiant de l'Université de Montréal doit obtenir une « Autorisation d'études hors établissement » pour s'y inscrire.
Responsable(s) : À venir
Site Web : http://moodle.polymtl.ca/course/view.php?name=GBM6700

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  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) : Michel C. Desmarais
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 l'équivalent
Corequis :

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) : INF2300 ou l'équivalent
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

Polytechnique 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é des études supérieures.

 

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