GEN1483 - Systèmes en temps réel

Scolarité

Premier cycle - 3,0 crédit(s)

Département

Département d'informatique et d'ingénierie

Objectifs

Au terme de ce cours, la personne étudiante sera en mesure de/d’ : • Analyser, concevoir et implémenter des systèmes embarqués temps réel.

Contenu

Introduction aux systèmes embarqués temps réel : définitions, caractéristiques et applications. Contraintes temporelles : temps réel dur, souple, ferme. Systèmes d’exploitation temps réel (RTOS): planification des tâches, gestion des ressources, synchronisation, communication inter-processus, et exemples de RTOS. Modélisation et vérification : conception basée sur les profils UML, vérification formelle incluant la logique temporelle. Conception conjointe matériel/logiciel : développement de logiciels embarqués avec contraintes temps réel, intégration matérielle pour garantir les performances, algorithmes d’ordonnancement et d’arbitrage, et résolution du problème de l’inversion de priorité (ex : héritage de priorité). Systèmes embarqués en réseau : protocoles pour systèmes critiques (CAN-Bus, AFDX), sécurité et tolérance aux fautes. Études de cas : applications critiques (aéronautique, médical, automobile). Projet de conception : planification, spécification, implémentation, vérification et validation d’un système embarqué temps réel, incluant la conception matérielle et logicielle. Ce cours comporte des séances obligatoires de travaux pratiques (TP) de 3 heures par semaine.

Préalables

Exigences de qualification pour l'enseignement

Diplôme(s)
Maîtrise en informatique ou maîtrise en génie spécialisée en génie informatique ou génie logiciel ou génie électrique ou l'équivalent.
Expérience
Deux années d'expérience professionnelle dans les systèmes informatiques en temps réel.
Corps professionnel
Être membre en règle d'un Ordre professionnel d'ingénieurs du Canada.
Autre(s) exigence(s)
Dans tous les cas, le candidat devra pouvoir démontrer une capacité à communiquer efficacement oralement et par écrit ainsi qu'à transmettre les connaissances ou les habiletés pertinentes au contenu du cours pour lequel les exigences de qualification pour l'enseignement (EQE) sont adoptées.

CAFF

6401 - Code général du secteur Sciences de l'informatique