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.