Spécialité ISE 3A : "Informatique des Systèmes Embarqués"

1 cours de 60 h est spécifique à cette spécialité.

Objectif général : Concevoir, valider et tester des architectures matérielles sécurisées

Validation et test de systèmes matériels

• Techniques avancées de validation de descriptions matérielles
• Conception en vue du test et Test des systèmes Embarqués
• Modélisation matérielle et logicielle pour la co-vérification

Sécurité des Systèmes Embarqués

• Attaques et Menaces contre les Systèmes embarqués
• Techniques de sécurisation des systèmes embarqués