Systemes synchrones periodiques : modelisation et application
Auteur / Autrice : | RODERICK MC CONNELL |
Direction : | Patrice Quinton |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1994 |
Etablissement(s) : | Rennes 1 |
Résumé
L'ensemble des produits disponibles pour le traitement numerique du signal est caracterise par une croissance continue de leur puissance de calcul. Les circuits integres, en particulier, ont des capacites de traitement de plus en plus importantes. Ceci entraine l'accroissement de leur complexite. Le probleme qui se pose alors, est la maitrise de cette complexite. Notre modele et notre approche repondent aux besoins de ces systemes multi-composants. A partir des composants existants, nous decrivons la synchronisation d'un systeme selon les caracteristiques des composants utilises. L'objectif est d'assurer le bon fonctionnement de l'ensemble - d'une facon statique ou par simulation - sans que cela necessite la simulation de tout un systeme au niveau porte logique. La synchronisation est explicitee et verifiee alors que les approches traditionnelles utilisees pour la conception de circuits synchrones s'appuient sur la simulation. Comparee aux approches dites ''asynchrones'', notre approche ne necessite aucun controle supplementaire. Ceci est possible en raison des contraintes imposees sur le domaine d'application. Ce memoire presente une approche pour maitriser la synchronisation dans un systeme multi-composant. Elle est mise en uvre sur des exemples issus du traitement video en temps reel. Le modele presente ouvre les voies de developpement vers le prototypage rapide et sur des systemes specialises et l'elaboration de descriptions plus sophistiquees des structures de donnees periodiques