INF749 - Conception de systèmes temps réel
Présentation
Sommaire
- Cycle
- 2e cycle
- Crédits
- 3 crédits
- Faculté ou centre
- Faculté des sciences
- Trimestres *
- Hiver 2025
- 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.
* Sujet à changement