• GE501 Introduction à la théorie des communications statiques
• GE502 Recherche appliquée en génie électrique et informatique
• GE503 Robots mobiles à roues : modélisation, contrôle et instrumentation
• GE505 Communications par satellite
• GE511 Traitement numérique des signaux
• GE513 Sujets choisis de génie électrique
• GE515 Méthodes numériques de l'électromagnétique
• GE517 Théorie fondamentale du filtrage adaptatif
• GE519 Synthèse des systèmes numériques
• GE521 Communications protégées
• GE523 Intégration de systèmes mobiles à capteurs multiples
• GE525 La qualité de puissance dans les systèmes de puissance électriques
• GE527 Ingénierie d'Interaction Personne-Ordinateur
• GE529 Génie des micro-ondes et installations
• GE533 Implémentation matérielle du traitement numérique des signaux
• GE535 Commande avancée
• GE537 Génie des antennes
• GE539 Contrôle de vitesse variable des machines électriques
• GE541 Systèmes de commande programmée numérique en temps réel
• GE543 Fondements et applications du radar
• GE545 Micro-ordinateurs : architecture et applications
• GE549 Communications numériques
• GE551 Systèmes d'exploitation en temps réel
• GE553 Conception VLSI
• GE555 Compatibilité électromagnétique
• GE557 Méthodologie d'essai des conceptions VLSI
• GE559 Architecture VLSI Numérique
• GE561 Électronique de puissance
• GE563 Sujets du génie informatique
• GE565 Réseaux et protocoles informatiques
• GE571 Domaines avancés de l'électronique de puissance
• GE573 Analyse par objets et conception orientée - objets
• GE575 Introduction à la théorie du réseau neuronal
• GE577 Application du réseau neuronal aux groupes d'alimentation
• GE579 Sécurité des systèmes et réseaux informatiques
• GE583 Génie des exigences logiciels
• GE585 Conception et mise en oeuvre des logiciels en temps réel
• GE587 Sujets du génie logiciel
• GE591 Génie logiciel
• GE599 Vérification et validation des systèmes informatiques
• PR500 Projet
• TH500 Thèse (niveau maîtrise)
• TH600 Thèse (niveau doctorat)
• CP600 Examen de synthèse (niveau doctorat)

GE501 Introduction à la théorie des communications statiques

Formulation du problème des communications du point de vue des processus stochastiques; probabilités et variables aléatoires; prévisions; moments; fonction caractéristique; distributions multivariées; stationnarité et théorème d'ergodicité; moyennes de temps et d'ensembles. Introduction à la détection optimale; théorème de l'échantillonnage et transmission efficace de séries de messages.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE502 Recherche appliquée en génie électrique et informatique

Ce cours est normalement pris par les étudiants dans le programme de Maitrise en Sciences Appliquées en génie électrique et informatique. Ce cours fournit une introduction aux sources d'information primaires et secondaires dans la littérature et dans les disciplines associées. Les étudiants seront aussi exposés aux groupes de recherche appliquée dans le département ainsi que les techniques employées et l'application spécifique de la méthode scientifique.

Les étudiants accomplira une recherche en profondeur sur un sujet spécifique qui sera relié de près à leur domaine d'étude. Un membre de la faculté du département supervisera cette recherche en se servant de l'étude dirigée. L'étudiant sera obligé de communiquer des idées de recherche en écrivant des articles et des propositions, et verbalement en donnant des présentations et séminaires. Les normes pour la production de discours et publications académiques seront mises au premier plan avec les présentations et les articles assignés.

Exposés : équivalent à un cours de trois périodes par semaine pour un trimestre.

Crédit(s) :

1

GE503 Robots mobiles à roues : modélisation, contrôle et instrumentation

Ce cours a pour but d'introduire les robots mobiles à roues (RMR) appartenant à des classes/topologies distinctes. Le matériel de ce cours est divisé en trois sections. La non-holonomie, une propriété typique des RMR est traitée en premier : définition mathématique, exemples, outils de la théorie de contrôle non linéaire et impact sur le contrôle et l'instrumentation sont couverts. Ensuite, deux classes de RMR sont étudiées : robots type voiture et pendules mobiles à roues. La modélisation, le test de non-holonomie, la contrôlabilité et le contrôle sont couverts pour chaque classe. Finalement, l'instrumentation à bord de RMR est examinée, notamment les capteurs inertiels et de vision.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE505 Communications par satellite

Mécaniques de satellite en orbite, technologie de vaisseau spatial, antennes de satellite, conception et budget de liaison, génie de transmission, effets de propagation et modelage, technologie de station terrestre, VSAT, techniques d'accès multiples, propagation de spectre, codage, applications spécifiques.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE511 Traitement numérique des signaux

La transformée rapide de Fourier et son calcul automatique; estimation spectrale; signal analytique; traitement de signaux multidimensionnels; filtres digitaux; estimation et détection des signaux; filtres de Kalman; codage prédictif linéaire; récepteurs adaptatifs.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE513 Sujets choisis de génie électrique

Ce cours est une combinaison de cours magistraux, d'étude et de discussion d'articles scientifiques récents. On s'attend à ce que l'étudiant participe à la présentation du cours. Les sujets sont choisis en consultation avec le département.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE515 Méthodes numériques de l'électromagnétique

Méthodes numériques pour solutions de problèmes en électromagnétique qui s'appliquent aux champs statiques, quasi-statiques, et de haute fréquence. Introduction aux caractéristiques essentielles de la méthode des moments, méthode par élément fini, méthode par différence finie, méthodes de lignes, adaptation des champs, technique d'adaptation des modes, méthode de transmission ligne de matrice et approche du domaine spectrale : transformées de Fourier et Hankel, fonctions de Green dans un milieu de plusieurs niveaux. S'applique à des problèmes en antennes et circuits micro-onde.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE517 Théorie fondamentale du filtrage adaptatif

Ce cours couvre les principes fondamentaux du filtrage adaptatif comprenant la performance d'exécution, le filtrage optimal et l'estimation. La solution de Wiener et le principe d'orthogonalité sont également couverts. On présente l'analyse de différents algorithmes d'adaptation, la performance MSE de surface, des méthodes de recherche de gradient, l'algorithme LMS de Widro-Holf, la vitesse de convergence et les problèmes d'ajustement. Ce cours discutera de plusieurs techniques de filtrage adaptatives avancées, comprenant les algorithmes des moindres carrés récursifs, du gradient et du filtre des moindres carrés de treillis. Les applications incluront l'identification de systèmes, l'égalisation de canal, l'annulation d'écho, la prévision linéaire et l'annulation de bruit.

Exposés :

trois périodes par semaine (une trimestre)

Crédit(s) :

1

GE519 Synthèse des systèmes numériques

Conception mixte matériel-logiciel. Langages de description du matériel. Problèmes d'optimisation à base de graphes et algorithmes de résolution. Synthèse de haut niveau : ordonnancement, partage et allocation de ressources, synthèse de chemins des données et contrôle. Synthèse logique : optimisation de circuits combinatoires, optimisation de circuits séquentiels, optimisations ciblant des machines à états finis. Transformations vers une technologie spécifique.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE521 Communications protégées

Introduction aux principes d'étalage du spectre : modulation par produit de séquence et la méthode de sauts en fréquence. L'évaluation de système d'étalage de spectre dans la présence de brouillage. L'utilisation de codes correcteurs d'erreur en conjonction avec étalage de spectre. Introduction à la cryptographie. Méthode de cryptographie avec clé public et l'étude du DES. Introduction à la théorie de la complexité et son application à la cryptographie.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE523 Intégration de systèmes mobiles à capteurs multiples

Ce cours traite les notions fondamentales des systèmes de navigation par inertie (INS) et l'intégration avec le système GPS. Les caractéristiques des différents types de capteurs, les procédures de calibrage ainsi que les méthodes de modéliser leurs erreurs sont traités. Le calcul de la position, la vitesse et l'altitude d'une plate-forme mobile par rapport à un référentiel donné est examiné. Le problème d'intégration INS/GPS à travers les filtres de Kalman et les méthodes d'intelligence artificielle est également discuté. Les applications pratiques sont principalement dans le domaine de navigation automobile.

Éxposes :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE525 La qualité de puissance dans les systèmes de puissance électriques

Définitions de la qualité de l'énergie, des creux de tension et des coupures brèves et les techniques pour réduire leurs effets, dégagement de fautes, des surtensions transitoires, des surtensions de long-durée, des harmoniques des systèmes de puissance, méthodes pour réduire et contrôler les harmoniques, evaluation et surveillance de la qualité de l'énergie, câblage et mise à la terre, et la qualité de l'énergie dans les systèmes de puissance distribuées.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE527 Ingénierie d'Interaction Personne-Ordinateur

Approches d'ingénierie pour le développement des systèmes de logiciel très interactifs, de point et de pratique. La modélisation et spécification des besoins. Aspects psychologiques dans le design des systèmes interactifs; les modèles prédictifs de la performance humaine. Des approches au design. Directives et normes. L'architecture logicielle et les modèles de conception. Les techniques de vérification et validation.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE529 Génie des micro-ondes et installations

Révision des éléments fondamentaux, théorie des lignes de transmission, autres moyens de transmission, adaptation, matrice de dispersion, composants et dispositifs à micro-ondes passifs, moyens de transmission et circuits à microrubans, techniques de CAO pour la conception et l'optimisation des dispositifs à micro-ondes, antennes à microrubans, sources de micro-ondes, mesures du domaine fréquentiel et temporel à l'aide d'analyseurs numériques de réseaux modernes, systèmes et sous-systèmes de communications à micro-ondes.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE533 Implémentation matérielle du traitement numérique des signaux

Les techniques de conception et d'implémentation matérielle des algorithmes de traitement numérique du signal (DSP). Le flot de conception du concept à l'implémentation matérelle en passant par la simulation. Les technologies matérielles DSP incluant la technologie FPGA, les fondements de l'arithmétique DSP; les éléments FPGA pour les algorithmes DSP, l'analyse et la modélisation desalgorithmes DSP, la conversion de modèles à des blocs point fixe; les optimisations DSP haut-niveau;les structures communes de DSP telles que FFT en pipeline et les filtres à réponse impulsionnellefinie/infinie, les aspects temporels et de synchronisation.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE535 Commande avancée

Ce cours couvre l'essentiel de la commande des systèmes échantillonnés. Les techniques d'identification et d'estimation des paramètres seront discutées. Une introduction aux méthodes de commandes adaptatives des systèmes linéaires sera présentée : L'essentiel de la théorie de stabilité de Lyapunov et de la théorie de l'hyper-stabilité, les approches adaptatives dites auto-réglable et par modèle de référence seront couverts. Une introduction aux méthodes de commandes des systèmes non linéaires et adaptatives non linéaires sera présentée : La linéarisation entrée-sortie, la linéarisation entrée-état et l'approche récursive dite `backstepping'. Les exemples viseront les moteurs et les réseaux électriques.

Condition préalable :

Un cours de base en commande des systèmes linéaires est recommandé comme pré-requis.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE537 Génie des antennes

Ce cours présente les notions fondamentales et avancées des antennes. Les sujets abordés seront : une introduction à la théorie des antennes; les paramètres des antennes et du rayonnement; les méthodes d'analyse; les antennes filaires, les réseaux d'antennes et la synthèse de celles-ci; l'impédance, le couplage et l'impédance mutuelle; les antennes à onde progressive, les antennes micro-ruban, les antennes diélectriques et les antennes à onde de fuite; les petites antennes et leurs limites fondamentales; les antennes large bande, les antennes ultralarge bande, les antennes sans dépendance fréquentielle et les antennes fractales; les antennes à réflecteur, la transformée de Fourier et les ouvertures; une introduction aux antennes intelligentes; et les techniques de mesure.

Condition préalable :

Théorie fondamentale électromagnétique.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE539 Contrôle de vitesse variable des machines électriques

Machine à courant continu, réglage de la vitesse des moteurs, convertisseur statique de courant et tension, modulateur de largeur d'impulsion. entraînement à vitesse variable : moteur à induction, moteur à aimant permanent, moteur pas à pas, moteur à réluctance variable. Conception de la commande vectorielle. Estimation du couple et du flux, commande à orientation de flux statorique ou rotorique. Sensibilité aux variations des paramètres et adaptation des paramètres, DTC et estimation de position/vitesse.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE541 Systèmes de commande programmée numérique en temps réel

Conception des contrôleurs linéaires à échantillonnage commandés par ordinateur; mesure des performances quadratiques; placement de pôles; compensation; découplage; Commande sous contraintes; méthode de réalisation des contrôleurs.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE543 Fondements et applications du radar

Révision des principes élémentaires des ondes électromagnétiques, théorie élémentaire des antennes, antennes linéaires, réseaux, analyse assistée par ordinateur et application des techniques de conception aux antennes, éléments fondamentaux du radar, antennes radar, principes de polarisation pour les radars, surface équivalente radar, influence des conditions atmosphériques sur les radars, techniques radar (RSO (radar à synthèse d'ouverture),VCM, etc.), applications (radars météorologiques, radar spatial, radar transhorizon).

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE545 Micro-ordinateurs  : architecture et applications

Revue des microprocesseurs existants, sélection des composants destinés à des applications particulières; organisation interne; mémoires, entrée/sortie, exigences du système; considérations sur la programmation; structures d'interruption, dispositifs périphériques.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE549 Communications numériques

Transmission en bande de base. Techniques et performance de modulation numérique. Codage en bloc. Codage convolutionnel. Modulation codé-Treillis. Codage et modulation pour canaux à évanouissement.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE551 Systèmes d'exploitation en temps réel

Systèmes embarqués. Particularité des contraintes imposées par l'exigence du temps réel et les moyens de les rencontrer. Le temps vu comme une ressource critique; réponse ordonnée à des événements extérieurs; comparaison de l'approche machine et de l'approche de niveau supérieur. Exemples et applications. Revue des systèmes d'exploitation en temps réel existants

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE553 Conception VLSI

Transistors MOS, modélisation, effets de second ordre, fabrication de dispositifs, considérations mineures de géométrie, circuits CMOS statique et dynamique, structures des décharges électrostatiques, tampons d'entrée-sortie. Techniques de disposition, conception en vue de la testabilité. Applications à circuits intégrés spécifiques, méthodologie globale de conception des circuits intégrés, outils de CAO et d'IAO.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE555 Compatibilité électromagnétique

Introduction aux champs électromagnétiques, circuits et signaux, sources d'interférence électromagnétique et l'environnement E.M., pénétration à travers les ouvertures et les blindages, théorie du blindage, principes de propagation et diaphonie, couplage des champs externes, champs E.M. dû aux lignes de transmission, prédiction de EMI/RFI dans les communications radio, simulation de couplage E.M. entre systèmes, effets de l'interférence électromagnétique sur les dispositifs et les systèmes, suppression de transitoires, blindage et mise à la terre, blindage des câbles, filtrage, principes généraux de conception EMC, standards EMC, mesures et tests de EMC.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE557 Méthodologie d'essai des conceptions VLSI

Procédés de fabrication et évaluation du rendement. Modélisation du rendement et calcul de fiabilité. Modélisation des défauts et des défaillances. Analyse de testabilité, vecteurs de test et efficacité du test. Génération des combinaisons vectorielles de test. Méthode de simulation des défaillances. Mesures de testabilité et amélioration de la testabilité. Vérification intégrée, circuits de vérification automatique et analyse de signature. Standard et architecture du balayage périphérique.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE559 Architecture VLSI Numérique

Méthodologie de conception de système; composants numériques et leurs technologies, processus de conception des circuits intégrés pour application spécifique. Synchronisation de système : stratégie de l'horloge, analyse du temps, distribution de l'horloge; algorithme mathématique et leur réalisation : considération d'espace et de vitesse d'exécution; architecture des structures régulières : dispositifs logiques programmables (PLDs), mémoires statiques (SRAMs), mémoires dynamiques (DRAMs), mémoires associatives (CAMs) et tableaux stoliques, conception pour testabilité.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE561 Électronique de puissance

Caractéristiques des dispositifs de contrôle de puissance à semi-conducteurs; analyse et calcul de circuits et systèmes pour le contrôle et la conversion d'énergie, avec applications aux convertisseurs, inverseurs, hacheurs et cycloconvertisseurs, contrôle en boucle fermée de systèmes électromécaniques.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE563 Sujets du génie informatique

Composé de cours magistraux et de discussions portant sur les articles de recherche publiés dans les revues scientifiques récentes. Les étudiants devront participer à la présentation du cours. Les thèmes choisis sont en accord avec le département.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE565 Réseaux et protocoles informatiques

Révision de la théorie des files d'attente appliquées aux réseaux de communication : capacité des liaisons, modèle d'ISO pour réseaux informatiques. Analyse du protocole, acheminement et contrôle du débit. Techniques d'accès multiple. Réseaux locaux.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE571 Domaines avancés de l'électronique de puissance

Un cours qui couvre des sujets comme la performance, le contrôle et la protection d'un système de puissance électrique. Ceci inclut le contrôle de puissance réactive : compensateurs, régulation de tension et amélioration du facteur de puissance pour des charges symétriques et asymétriques; les effets d'une tension réduite sur la performance et le rendement des charges électriques, l'évaluation et optimisation des pertes dans les systèmes de distribution; limiteur de courant et effet d'une durée réduite de faute sur les composantes du système électrique; le contrôle de grands systèmes interconnectés.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE573 Analyse par objets et conception orientée-objets

Introduction à l'analyse par objets et à une méthode de conception orientée-objets. Décomposition des problèmes en classes et en objets. Gestion de la complexité d'un problème à l'aide des mécanismes d'abstraction, d'encapsulation, et d'association. Introduction aux principes de surchargement, d'héritage, et de polymorphisme. Les phases d'analyses, de conceptions et de réalisations du processus de développement de logiciel sont considérées dans le contexte de méthodologie itérative de développement orienté-objet. Modèles de conception sont introduits dans le contexte de la réutilisation à haut niveau. Les travaux pratiques vont instruire les langages de modélisation orientés-objets, et donner une expérience à la réalisation de logiciels avec des langages de programmation orientés-objets.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE575 Introduction à la théorie du réseau neuronal

On insistera sur les réseaux neuroniques comme systèmes entraînables dynamiques avec des qualités d'organisation. Les groupes les plus importants de réseaux neuroniques avec leur propre processus d'apprentissage serait étudiés; réseaux Hopfield, réseaux à rétroaction avance, réseaux répétitifs, réseaux avec apprentissage Hebbian non-supervisé. On insistera sur les applications du traitement des signaux, la reconnaissance de patrons et les problèmes d'optimisation. Deux projets sont requis reliés avec des sujets d'application des réseaux neuroniques aux problèmes de génie.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE577 Application du réseau neuronal aux groupes d'alimentation

Ce cours vise à étudier la plus récente technologie de réseau de neurones artificiels pour les circuits d'alimentation électrique. Ce cours se divise en deux parties. La première partie consiste en un aperçu général des réseaux de neurones artificiels (comprenant à la fois des modèles de réseaux supervisés et non supervisés), les principes de leurs règles d'apprentissage du fonctionnement, leurs avantages et leurs limites. Dans la deuxième partie, on examine des applications particulières des réseaux de neurones dans des circuits d'alimentation, notamment la prévision de la charge du circuit, l'évaluation de la sécurité, la planification du circuit d'alimentation, la détection des pannes dans le circuit et la commande des circuits d'alimentation.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE579 Sécurité des systèmes et réseaux informatiques

Sujets divers reliés à la sécurité des systèmes informatiques; concepts, terminologie, recherche fondamentale. Attaques dirigées contre les réseaux : techniques d'intrusion et méthodes de détection de ces attaques et intrusions.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE583 Génie des exigences logicielles

La phase de spécification du logiciel, comme une partie du cycle de vie du logiciel. L'utilisation des modèles. La définition des besoins : prototype, inspection des besoins, déploiement de la fonction qualité, scénario. Organisation et analyse du problème. Spécification du comportement de logiciel : orientés-états, orientés-fonctions et orientés-objets. Les méthodes formelles. La documentation des spécifications des besoins de logiciel. Spécifications des besoins noncomportementale, raffinement des besoins de conception préliminaire.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE585 Conception et mise en oeuvre des logiciels en temps réel

L'interaction entre les besoins et la conception. Approches alternatives de conception. Méthodes de conceptions spécifiques au domaine d'application. Outils supportant des méthodes de conceptions spécifiques. On insistera sur les systèmes intégrés en temps réel, et sur un outil supportant le développement-déploiement sur des types de plates-formes distinctes. Structures et architectures des logiciels. Techniques pour la caractérisation du comportement de module. Utilisation des techniques mathématiques. Problèmes de simultanéité, de distribution, et de performance. Développement rapide et itératif de prototype. Réutilisation de modèle et de composante. Modèles et genres de conception. Génération automatique de code. Transfère de modèle sur le machine de déploiement. Contrôlabilité et observabilité des modèles sur le machines de développement et de déploiement.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE587 Sujets du génie logiciel

L'étude et discussion d'essais qui sont apparus dans des publications courantes. Participation dans la présentation du contenu des discussions. Le sujet d'étude devra être déterminé à la suite d'une entente avec le département.

Exposés et travaux dirigés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE591Génie logiciel

Analyse et application des principes utilisés en génie pour produire et installer un logiciel sûr et avantageux. Exigences actuelles en matière de logiciel, méthodes et conception, normes de documentation, gestion de projets de logiciel, techniques de vérification et de validation, questions de sécurité relatives au logiciel et interface entre l'usagé et l'ordinateur.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

GE599 Vérification et validation des systèmes informatiques

Techniques formelles : preuve que les systèmes sont corrects, vérification de consistance et totalité. Inspections et révision. Test d'unité/module. Test de boîte noire eîte blanche. Intégration du système et les tests. Outils de support pour effectuer des tests. Fautes contre pannes. Vérification d'implantation contre demandes et dessins. Techniques pour les systèmes critiques. Fiabilité et confiance. Analyse de temps et vérification. Analyse de sécurité. Systèmes tolérants d'erreurs. Assurance de qualité et de fiabilité. Élimination des erreurs.

Exposés :

trois périodes par semaine (un trimestre)

Crédit(s) :

1

Autres

• PR500 : Projet
• TH500 : Thèse (niveau maîtrise)
• TH600 : Thèse (niveau doctorat)
• CP600 : Examen de synthèse (niveau doctorat)