Électronique - Télécommunications - Enseirb

extrait_catalogue
Électronique - Télécommunications
Semester 9SRT - Systèmes de Radio et Télécommunications
MODULE
UV
TITLE
C9SRT-E Sûreté de fonctionnement et fiabilité
Test, sécurité, fiabilité, qualité
PARTICIPANTS
P. FOUILLAT (resp)
ECTS
5.00
EN314
System and data hardware security
L. BOSSUET (resp)
G. GOGNIAT
2.00
page 0
ME340
Test, Validation, Preuves formelles
F. DARRACQ
M. RENOVELL
A. ROLLET (resp)
1.00
page 0
ME342
ICBM conference
N. DELTIMPLE
Y. DEVAL
E. KERHERVE (resp)
1.00
page 0
ME343
Qualité Télécom
P. FOUILLAT (resp)
1.00
page 0
22/02/2017 - 09:02:28
1
extrait_catalogue
EN314 : System and data hardware security
Shared by UV(s) :
C9SRT-E
Sûreté de fonctionnement et fiabilité
page 0
ECTS credits :
2.00
Number of hours :
Lecture :
8.00
Teacher(s) :
BOSSUET Lilian
http://www.enseirb.fr/~bossuet
GOGNIAT Guy
Title :
System and data hardware security
Abstract :
This module aims to show how it is necessary to protect hardware system like embedded systems. Because more
and more attacks target such system. For example with malicious code try to attack the embedded operating
system, but in the same time it possible to perform hardware attacks against the system.
Plan :
First part of the module is focuses on applied cryptographic algorithm with security architecture. The second part
is focuses on hardware attacks (like the famous differential power analysis) and the hardware protection.
Evaluation :
QCM
Keyword(s) :
hardware security, hardware attacks, embedded system, cryptography
22/02/2017 - 09:02:28
2
extrait_catalogue
ME340 : Test, Validation, Preuves formelles
Shared by UV(s) :
C9SRT-E
Sûreté de fonctionnement et fiabilité
page 0
ECTS credits :
1.00
Number of hours :
Lecture :
10.66
Teacher(s) :
DARRACQ Frédéric
RENOVELL Michel
ROLLET Antoine
Title :
Test, Validation, Preuves formelles
Abstract :
Test, validation, preuves formelles.
Objectif
Construire un modèle d'un programme, puis en extraire un jeu de tests concis, mais suffisant pour argumenter sur
la correction du programme. Conduire la campagne de test à partir du jeu de tests ainsi construit.
Conception de systèmes en vue du test.
Test sans contact.
Objectif: Connaître les enjeux actuels du test des circuits VLSI. Quels sont les différents tests appliqués au cours
de la vie d’un circuit et quelle est leur utilité.
Contenu
Dans ce cours, les différentes fautes pouvant affecter un circuit sont détaillées ainsi que les différents modèles de
fautes qui ont été développés pour pouvoir évaluer la qualité des tests. Les principes de base (DFT, auto-test,
IDD) du test des circuits numériques sont ensuite développés car ce test est aujourd’hui mature est
largement utilisé. Enfin un chapitre sur le test des circuits analogiques et mixtes est présenté car
aujourd’hui un grand nombre d’applications nécessitent des circuits mixtes avec des modules
communicants. Le test des circuits analogiques est encore peu connu car il est très complexe étant donné la
nature continue des signaux à tester et le comportement unique de chaque circuit.
Plan :
Programme Preuves formelles
Ch. 1 : Introduction
Définition et objectifs du test
Conduite d'une campagne de test
Limites théoriques et pratiques du test
Ch. 2 : Test fonctionnel
Principe du test boîte noire
22/02/2017 - 09:02:28
3
extrait_catalogue
Sélection des jeux de test (partitionnement, test aux limites)
Limites de l'approche fonctionnelle
Ch. 3 : Test structurel
Construction du graphe de flot de contrôle d'un programme
Critères de couverture (n½uds, arrêtes, conditions, multi-conditions, chemins)
Complémentarité des deux approches du test
Programme Test, Validation
1.Introduction
2.Les différents tests
3.Modèles et simulation de fautes
4.Génération automatique des vecteurs de test
5.Conception en vue du test DFT: « Scan Path »
6.Techniques d’auto test
7.Conception en vue du test JTAG « boundary scan »
8.Le Test IDDQ
9.Test des circuits analogiques et mixtes
Evaluation :
Epreuve écrite durée 2h
22/02/2017 - 09:02:28
4
extrait_catalogue
ME342 : ICBM conference
Shared by UV(s) :
C9SRT-E
Sûreté de fonctionnement et fiabilité
page 0
ECTS credits :
1.00
Number of hours :
Individual work :
Practical work :
15.00
16.00
Teacher(s) :
DELTIMPLE Nathalie
DEVAL yann
KERHERVE Eric
Title :
ICBM conference
Abstract :
Oral presentation of research works in the RF and telecom activities.
Plan :
Pour chaque étudiant le travail consiste à :
1/ Analyser des contenu des CDROMS des dernières conférences sur la conception des circuits intégrés.
2/ Sélectionner un papier.
3/ Préparer les transparents pour un exposé de 20mn.
4/ Répondre aux questions de la salle
5/ Préparer une question pour les exposés des autres participants
Evaluation :
Oral defense
22/02/2017 - 09:02:28
5
extrait_catalogue
ME343 : Qualité Télécom
Shared by UV(s) :
C9SRT-E
Sûreté de fonctionnement et fiabilité
page 0
ECTS credits :
1.00
Number of hours :
Lecture :
8.00
Teacher(s) :
FOUILLAT Pascal
Title :
Qualité Télécom
Abstract :
Normalisation, certification pour les télécommunications
Evaluation :
Epreuve écrite
22/02/2017 - 09:02:28
6