INF749 - Conception de systèmes temps réel

Sommaire

Cycle
2e cycle
Crédits
3 crédits
Faculté/Centre
Faculté des sciences
Répartition de la charge de travail
3-0-6
Cible(s) de formation

Déterminer les problèmes inhérents au développement de systèmes temps réel (STR); appliquer le traitement du temps aux systèmes informatiques; spécifier, concevoir, programmer et vérifier des STR.

Contenu

Types de systèmes temps réel. Représentation du temps, contraintes de temps, horloge, synchronisation d'horloges. Spécification des STR : machines à états, diagrammes d'état (statecharts), réseaux de Petri, Grafcet. Spécification axiomatique de contraintes temporelles. Architecture des STR. Acquisition et traitement de l'information en temps réel. Modèles de conception des STR : modèles basés sur les événements, les graphes, les tâches, les processus. Modélisation du contrôle. Application des concepts dans un projet de développement.