Notice: Undefined index: mode_acces in /var/www/html/GEISER/fiche_ue/fiche_ue.php on line 6

Notice: Undefined index: mode_acces in /var/www/html/GEISER/fiche_ue/fiche_ue.php on line 7


TitreVérification, fiabilité et sécurité
DiplomeMaster informatique
Code apogéeDILS0VFSStructurexxDernière mise à jour le23 Novembre 2017
Responsable pédagogiqueBIGOU Karim (Maître de conférences, 27ème section)
Parcours
  • Parcours Master 2 LSE 2017-2022
TypeObligatoire
Semestre9Volume horaire48Crédits ECTS4
Nombre d'heures Cours magistraux (CM)16 Travaux dirigés (TD)16 Travaux pratiques (TP)16 
Pré-requis

 Module temps réel de Master 1

 

Co-requis 
Objectif Terminal 
Objectif Pédagogique 
Contenu détaillé de l'enseignement

 

 Ce cours aborde le problème de la validation des applications embarquées en proposant des méthodes/techniques pour vérifier les propriétés temps-réel, pour évaluer  la fiabilité du système et pour mettre en place des mécanismes de sécurité. Ces trois points sont illustrés dans les parties suivantes:

 

partie I: vérification de propriétés, application au temps réel, modélisation AADL

    Pour cette première partie, nous regarderons comment décrire l'architecture du système, tant du point de vue

du logiciel que de la plateforme d'exécution. Le langage employé pour ce faire sera AAFL, un exemple de standard appliqué

par les acteurs du domaine dans le cadre de systèmes embarqués critiques temps réel. Puis, nous regardons comment

réaliser la vérification des contraintes de temps (analyse d'ordonnancement temps réel) pour des architectures monoprocesseurs et

multiprocesseur). 

 

partie II: Modèles pour l'analyse de fiabilité (analytique et probabilistes)
                 Monitoring du système, Testabilité


partie III: Sécurité des systèmes embarqués

Dans cette dernière partie, nous allons étudier certains aspects de la sécurité informatique dans le cadre des systèmes embarqués. Nous reviendrons sur les propriétés de base de la sécurité, puis nous nous intéresserons à la cryptographie utilisée dans ce contexte (en particulier en présentant des attaques spécifiques à l'embarqué, et les protections pour les contrecarrer). Enfin il sera présenté un exemple d'application bien connu, le standard EMV, utilisé lors des paiements via carte à puce.

 

Méthodes d'enseignement 
Evaluation session 1 
Evaluation session 2 
Références Bibliographiques