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.
Ce site Web utilise des fichiers témoins (cookies) essentiels à son bon fonctionnement.
Vous pouvez paramétrer l'utilisation de témoins facultatifs nous permettant d'optimiser votre expérience à travers le site. Voir la Politique de confidentialité
Paramètres des témoins
Pour obtenir plus d’information sur la nature et l’utilisation des témoins, voir la Politique de confidentialité.
Témoins essentiels
Ces témoins sont nécessaires au bon fonctionnement du site Web. Ils permettent de maintenir
l’accès à certaines sections sécurisées et de conserver des critères de recherche, par exemple.
Ces témoins ne peuvent être désactivés.
Témoins analytiques
Ces témoins nous aident à comprendre votre utilisation de notre site Web et nous permettent d'améliorer l’expérience qu'il propose.
Témoins publicitaires
Ces témoins sont utilisés pour vous proposer des publicités pertinentes en fonction de votre navigation sur notre site. Ces publicités peuvent être émises par l'Université de Sherbrooke ou d'autres entités.
