| Attributes | Values |
|---|
| type
| |
| Thesis advisor
| |
| Author
| |
| dc:subject
| - Software
- Processor
- Electronique
- Cutting
- Thèses et écrits académiques
- Computer hardware
- Computer architecture
- Logiciel
- Sciences appliquees
- Cd
- Architecture ordinateur
- Processeur
- Distributed system
- Systeme reparti
- Codesign
- Multiprocesseur
- Multiprocessor
- Computer design
- Conception ordinateur
- Materiel(informatique)
- Decoupage
|
| preferred label
| - Découpage transformationnel pour la conception de systèmes mixtes logiciel-matériel
|
| Language
| |
| Subject
| |
| dc:title
| - Découpage transformationnel pour la conception de systèmes mixtes logiciel-matériel
|
| Degree granting institution
| |
| note
| - Ce travail de these developpe une nouvelle methodologie pour la conception conjointe du logiciel et du materiel. Cette methodologie met en pratique une approche transformationnelle de decoupage capable de manipuler des systemes distribues et des architectures multiprocesseurs. Cette approche semi-automatique de decoupage realise le lien entre une specification au niveau systeme et une architecture logicielle/materielle de maniere rapide permettant une exploration rapide de l'espace des solutions. Le principal domaine d'application de ce travail est la conception des architectures distribuees, composees de processus logiciels (e.g. Programmes) et processeurs materiels (e.g. Asics). Par rapport a l'approche classique de conception, utilisee dans la plus grande partie des systemes de conception conjointe existants, cette approche supporte des architectures flexibles composees de processeurs qui communiquent en utilisant un reseau de communication complexe. La principale contribution de ce travail est l'application de l'approche transformationnelle a la conception conjointe logicielle/materielle d'architectures multiprocesseurs. L'utilisateur debute le processus de conception avec une specification au niveau systeme et une solution architecturale en tete, et realise des raffinements pour adapter cette specification initiale a l'architecture. Ce passage se fait par une approche transformationnelle basee sur des raffinements successifs. Chaque etape de raffinement fixe un ensemble de details permettants de reduire le fosse entre specification et realisation. Dans ce modele, la specification initiale est donnee en langage sdl. Cette specification est convertie dans un modele intermediaire plus adapte aux algorithmes de synthese. Le modele intermediaire est raffine pour produire un modele c/vhdl distribue.
|
| dc:type
| |
| http://iflastandar...bd/elements/P1001
| |
| rdaw:P10219
| |
| has content type
| |
| is primary topic
of | |
| is rdam:P30135
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
