L’objectif de ce cours est de présenter les notions permettant aux étudiants d’analyser les exigences d’un problème temps-réel, conception de la solution, démonstrations de la correction de la conception proposée, programmation de la solution, validation de la solution, et de concevoir des applications sur un système temps réel.