Systemes synchrones periodiques : modelisation et application

par RODERICK MC CONNELL

Thèse de doctorat en Informatique

Sous la direction de P. QUINTON.

Soutenue en 1994

à Rennes 1 .

    mots clés mots clés


  • 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 130 P.
  • Annexes : 80 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1994/186
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.