À la fin de ce cours, l’étudiant sera en mesure :
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.
Groupe | Jour | Type |
---|---|---|
01 | Mardi 13:30 | Laboratoire |
01 | Mercredi 13:30 | Activité de cours |