Aller au contenu

IFT611 - Conception de systèmes temps réel

Présentation

Sommaire

Cycle
1er 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

Connaître et repérer les problèmes inhérents au développement de systèmes temps réel; connaître et appliquer le traitement du temps au niveau des systèmes informatiques; spécifier, concevoir, programmer et vérifier des systèmes temps réel.

Contenu

Types de systèmes temps réel. Représentation du temps, contraintes de temps, horloge, synchronisation d'horloges. Formalismes utilisés dans la spécification de systèmes temps réel : machines à états, statecharts, réseaux de Petri, Grafcet. Approche axiomatique de spécification de contraintes temporelles. Architecture des systèmes temps réel. Acquisition et traitement de l'information en temps réel. Modèles utilisés dans la conception de systèmes temps réel : modèles basés sur les évènements, modèles basés sur les graphes, modèles des tâches, modèles des processus, modèles du contrôle. Programmation d'applications.

Préalable(s)

IFT320