ELE674 Systèmes embarqués avancés

À la fin de ce cours, l’étudiant sera en mesure :

• d’identifier les différents types de microcontrôleurs et leur domaine d’application;
• d’utiliser des systèmes d’opération modernes et en temps réel sur les plateformes embarquées;
• de développer un cahier de charges et de définir les spécifications techniques d’un système;
• d’utiliser la méthodologie de design, de conception et de validation d’un système embarqué;
• de concevoir un banc de test pour l’analyse des performances d’un système en temps réel;
• d’utiliser des calculateurs embarqués en mode collaboratif.

Familles de microcontrôleurs, leurs avantages et inconvénients, ainsi que leurs principaux domaines d’application. Utilisation, implémentation et extensibilité des RTOS modernes utilisés dans les systèmes embarqués, tels que QNX et Embedded-Linux. Analyse des requis et mise au point des spécifications. Principes de validation, vérification et analyse formelle. Robustification par la tolérance aux fautes ainsi que le recouvrement et l’évitement de fautes. Principes d’autodiagnostic, d’auto-correction et programmation défensive. Traitement collaboratif (microprocesseur, FPGA, DSP, etc.).

Séances de laboratoire organisées autour d’un projet intégrateur où l’étudiant applique les principes de conception d’un système embarqué collaboratif, basé sur le système d’exploitation en temps réel Embedded - Linux ou QNX.