Polytechnique > Programmes > Cours et horaires > Détails et horaire

Répertoire des cours et horaires

Détails et horaire du cours INF6603

Détails

Titre :Vérification des systèmes temps réel
Nombre de crédits :3
Cycle :Études supérieures
Triplet (h/semaine) :3 - 1.5 - 4.5
Offert par :Génies informatique, logiciel
Responsable(s) :Hanifa Boucheneb
Préalable(s) :
Corequis :
Site Web :http://moodle.polymtl.ca/course/view.php?name=INF6603
Documentation :
Note(s) :
Description :Introduction aux méthodes formelles de vérification des systèmes temps réel. Intégration des méthodes formelles dans le processus de développement des systèmes temps réel. Automates temporisés, automates hybrides, automates temporisés à chronomètres, automates temporisés de jeu, automates temporisés à tâches. Abstractions des espaces d'états temporisés préservant les propriétés linéaires et les propriétés de branchement, et les structures de données associées. Logiques temporelles temporisées MITL (Metric Interval Temporal Logic) et TCTL (Timed Computation Tree Logic). Model-checking. Synthèse de contrôleurs. Décidabilité et complexité de vérification. Contrôle et analyse formelle de l'ordonnançabilité. Génération automatique de tests. Calcul de stratégies gagnantes. Génération de tests par la synthèse de contrôleurs. Outils de vérification et leurs fondements théoriques.

Horaire

Cours

GroupeJourHeureLocalEnseignant(e)
01Lundi 12h45, 13h45, 14h45 B-530.2  Boucheneb, Hanifa

Travaux pratiques

GroupeJourHeureLocalEnseignant(e)
01Mardi 12h45, 13h45, 14h45 (B1) L-4712  À déterminer

Le groupe de travaux pratiques doit correspondre au groupe de cours

Plan triennal

2017 - 20182018 - 20192019 - 2020
AutomneHiverÉtéAutomneHiverÉtéAutomneHiverÉté
Jour--Jour--Jour--

Données en format XML

© École Polytechnique de Montréal
Bottin | Plan du site | Recherche | Conditions