Responsable : Mohamed AKIL
Objectifs :
Pré-requis : Programmation en langage évolué, systèmes logiques, systèmes à base de microprocesseur
- savoir spécifier l'architecture d'un système pour le traitement numérique de l'information,
- savoir utiliser des méthodes d'accélération des calculs pour améliorer ses performances,
- savoir vérifier son fonctionnement à l'aide d'un langage approprié, tel que le langage Signal,
- savoir mettre en oeuvre l'ensemble de la chaîne de conception : depuis la spécification jusqu'à l'implantation.
|
|
|||
|
|
|
|
|
|
|
|
|
|
| Spécification de l'architecture du système : Modèle
de l'algorithme et de l'architecture, graphe de contrôle, graphe
de flot de données.
Ordonnancement des actions, le parallélisme intrinsèque de l'algorithme (notion d'ordre partiel, total), notion d'événement, relations entre suite d'événements. |
|
|
|
| Méthodes d'optimisation et d'accélération des calculs : technique basée sur le parallélisme et le "pipelining", technique basée sur le "retiming", technique basée sur le dépliage de boucles |
|
|
|
| Vérification à l'aide des langages réactifs synchrones : Les langages de programmation synchrone : Esterel, Lustre et Signal. Vérification de la correction logique et temporelle de la description d'un système. |
|
|
|
| Implantation de l'architecture matérielle du système : Etude et implantation de différents systèmes de traitement de communication et transmission de données, par exemple : conversion série-parallèle et parallèle -série, protocole de communication de type asynchrone, gestion d'un système : robot, ascenseur |
|
|
|
Evaluation :
|
|
|
|
| Rapports de T.P. (Evaluation de T.P.) |
|
|
| Projets |
|
|
| Examen final |
|
|
Bibliographie :
- Analyse et synthèse des systèmes logiques -D.MANGE (Ed. Georgi)-
- Architecture for digital signal processing , chapitres 4 5 et 10 - P.PIRSCH (Wiley)-
- Documentations sur les langages synchrones