IFT727 - Méthodes de réalisation de systèmes temps réel
Présentation
L'horaire de ce cours n'est pas disponible.
Sommaire
- Cycle
- 2e cycle
- Crédits
- 3 crédits
- Faculté ou centre
- Faculté des sciences
Cible(s) de formation
Comprendre les fondements sous-jacents aux systèmes temps réel; connaître et comparer diverses méthodes de spécification et de conception; les appliquer à des problèmes concrets; implanter des procédures d'assurance qualité; justifier les coûts et les efforts.
Contenu
Types de systèmes temps réel. Représentation du temps et contraintes. Synchronisation d'horloge. Ordonnancement. Formalismes de spécification (machines à états, diagrammes hiérarchiques d'états, réseaux de Pétri). Architecture et modèles de conception (événements, graphes, tâches, processus, contrôle). Langages de programmation adaptés (Ada, Estrel, Real-time Euclid). Générateurs de programmes, émulateurs, analyseurs et compilateurs de reciblage. Assurance qualité et gestion de projets.