Programmes d'études
Conception et analyse des systèmes temps réel

Programmes d'études
Conception et analyse des systèmes temps réel
Programmes d'études
Détails et horaire du cours
Légende
Cours de jour
Cours de soir
Cours en ligne
Certificats et microprogrammes de 1er cycle
Baccalauréat (formation d'ingénieur)
Études supérieures
INF6600
Conception et analyse des systèmes temps réel
Nombre de crédits :
3 (3 - 1.5 - 4.5)
Les chiffres indiqués entre parenthèses sous le sigle du cours, par exemple (3 - 2 - 4), constituent le triplet horaire.
Le premier chiffre est le nombre d'heures de cours théorique par semaine (les périodes de cours durent 50 minutes).
Le second chiffre est le nombre d'heures de travaux dirigés (exercices) ou laboratoire, par semaine.
(Note : certains cours ont un triplet (3 - 1.5 - 4.5). Dans ce cas, les 1,5 heure par semaine sont des laboratoires qui durent 3 heures mais qui ont lieu toutes les deux semaines. À Polytechnique, on parle alors de laboratoires bi-hebdomadaires).
Le troisième chiffre est un nombre d'heures estimé que l'étudiant doit investir de façon personnelle par semaine pour réussir son cours.
Le premier chiffre est le nombre d'heures de cours théorique par semaine (les périodes de cours durent 50 minutes).
Le second chiffre est le nombre d'heures de travaux dirigés (exercices) ou laboratoire, par semaine.
(Note : certains cours ont un triplet (3 - 1.5 - 4.5). Dans ce cas, les 1,5 heure par semaine sont des laboratoires qui durent 3 heures mais qui ont lieu toutes les deux semaines. À Polytechnique, on parle alors de laboratoires bi-hebdomadaires).
Le troisième chiffre est un nombre d'heures estimé que l'étudiant doit investir de façon personnelle par semaine pour réussir son cours.
Département :
Génies informatique & logiciel
Préalable(s) :
INF3610 ou l'équivalent
Corequis :
Notes :
Responsable(s) :
Gabriela Nicolescu
Description
Architecture d'un système temps réel. Modélisation d'un système temps réel. Spécification temporelle. Langages de spécification et de programmation pour le temps réel. Analyse et prédiction de performance. Outils d'analyse et de conception pour systèmes temps réel. Fiabilité et tolérance aux pannes. Implémentation. Systèmes d'exploitation temps réel. Spécification et validation. Cas types.
Architecture d'un système temps réel. Modélisation d'un système temps réel. Spécification temporelle. Langages de spécification et de programmation pour le temps réel. Analyse et prédiction de performance. Outils d'analyse et de conception pour systèmes temps réel. Fiabilité et tolérance aux pannes. Implémentation. Systèmes d'exploitation temps réel. Spécification et validation. Cas types.
Plan triennal
2024-2025 | 2025-2026 | 2026-2027 | ||||||
---|---|---|---|---|---|---|---|---|
Automne | Hiver | Été | Automne | Hiver | Été | Automne | Hiver | Été |
- | - | - | - | Cours de jour | - | - | Cours de jour | - |