É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

LOG8470

Vérification de la fiabilité et la sécurité

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.
Département : Génies informatique, logiciel
Préalable(s) : LOG2810, 70 crédits
Corequis : Aucun
Notes :
Responsable(s) : John Mullins
Description
Outils mathématiques de la fiabilité des systèmes et de sécurité de l'information. Modélisation des systèmes séquentiels, concurrents : réseaux de Petri (places/transitions et colorés), systèmes de transitions communicants, programmes séquentiels. Spécification : logique de Hoare, logique temporelle linéaire, propriétés structurelles de réseaux de Petri, propriétés de flux d'information, treillis du flux d'information sûr. Vérification : analyse structurelle des réseaux de Petri, model checking (vérification de modèle), preuves de programmes, analyse de flux d'information dans les systèmes de transitions, détection de flux d'information dans les programmes.

Horaire

Cours
Groupe Jour Heure Local Enseignant(e)(s)
01 Vendredi 14h45, 15h45, 16h45 A-416 Mullins, John
02 Vendredi 14h45, 15h45, 16h45 B-411 Hamadou, Sardaouna
Travaux pratiques
Groupe Jour Heure Local Enseignant(e)(s)
01 Jeudi 8h30, 9h30, 10h30 (B1) L-3818 Hamadou, Sardaouna
02 Jeudi 8h30, 9h30, 10h30 (B2) L-3818 Pichot, Oswald
03 Mercredi 12h45, 13h45, 14h45 (B1) L-4714 Hamadou, Sardaouna

Plan triennal

2018-2019 2019-2020 2020-2021
Automne Hiver Été Automne Hiver Été Automne Hiver Été
Cours de jour - - Cours de jour - - Cours de jour - -