logo Insalogo Insa

Sûreté de fonctionnement et modèle temporel

Objectifs

A la fin de ce module, l'étudiant devra avoir compris et pourra expliquer (principaux concepts) :
Comprendre les concepts de base de la sûreté de fonctionnement et les méthodes et techniques d'obtention et de validation de la sûreté de fonctionnement d'un système. L'accent est mis sur le problème de la vérification et les algorithmes de model-checking.
L'étudiant devra être capable de :
Appliquer ces connaissances génériques aux systèmes technologiques électroniques et logiciels.

Pré-requis

Conception de systèmes ; conception et programmation logicielle.

Evaluation

L'évaluation des acquis d'apprentissage est réalisée en continue tout le long du semestre. En fonction des enseignements, elle peut prendre différentes formes : examen écrit, oral, compte-rendu, rapport écrit, évaluation par les pairs...