IFT729 - Conception de systèmes temps réel

programmes offrant cette activité pédagogique (cours)

Doctorat en informatique

Maîtrise en génie logiciel

Maîtrise en informatique

Sommaire

Cycle
2e cycle
Crédits
3 crédits
Durée
1 trimestre
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. Approfondissement de certains sujets par des lectures supplémentaires.