Madlener, Felix (2013)
A Model of Computation for Reconfigurable Systems.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung
Kurzbeschreibung (Abstract)
The dissertation introduces RecDEVS, a model of computation for reconfigurable hardware systems. Existing computational models for conventional hardware structures are not suited very well to model the dynamic behavior of reconfigurable systems. This work first systematically investigates the requirements that are necessary to properly model reconfigurable systems. Then, the Discrete Event System Specification (DEVS) formalism is extended into RecDEVS, a formalism capable of modeling reconfigurable systems.
It is then demonstrated how RecDEVS can be utilized to do a a model based design flow that eases system verification.
| Typ des Eintrags: |
Dissertation
|
| Erschienen: |
2013 |
| Autor(en): |
Madlener, Felix |
| Art des Eintrags: |
Erstveröffentlichung |
| Titel: |
A Model of Computation for Reconfigurable Systems |
| Sprache: |
Englisch |
| Referenten: |
Huss, Prof. Sorin A. ; Eveking, Prof. Hans |
| Publikationsjahr: |
2013 |
|
Datum der mündlichen Prüfung: |
9 April 2013 |
| URL / URN: |
http://tuprints.ulb.tu-darmstadt.de/3468 |
| Kurzbeschreibung (Abstract): |
The dissertation introduces RecDEVS, a model of computation for reconfigurable hardware systems. Existing computational models for conventional hardware structures are not suited very well to model the dynamic behavior of reconfigurable systems. This work first systematically investigates the requirements that are necessary to properly model reconfigurable systems. Then, the Discrete Event System Specification (DEVS) formalism is extended into RecDEVS, a formalism capable of modeling reconfigurable systems.
It is then demonstrated how RecDEVS can be utilized to do a a model based design flow that eases system verification.
|
|
Alternatives oder übersetztes Abstract: |
|
Alternatives Abstract | Sprache |
|---|
Die Dissertation stellt RecDEVS, ein Berechnungsmodell für rekonfigurierbare Hardwaresystem vor. Bestehende Berechnungsmodell für konventionelle Hardwarestrukturen lassen sich nicht besonders gut auf das dynamische Verhalten rekonfigurierbarer Systeme anwenden. Die Arbeit untersucht zuerst die notwendigen Eigenschaften eines Systems zur Modellierung rekonfigurierbarer System. Danach wird der Discrete Event System Spezification (DEVS) Formalismus zu RecDEVS, einem Formalismus zur Beschreibung rekonfigurierbarer Systeme erweitert. Zuletzt wird präsentiert, wie RecDEVS verwendet werden kann und den mittels modellbasiertem Entwurf die Systemverifikation zu vereinfachen. | Deutsch |
|
| Freie Schlagworte: |
RecDEVS, Reconfigurable Systems, DEVS, FPGA, Dynamic Reconfiguration |
| Schlagworte: |
| Einzelne Schlagworte | Sprache |
|---|
| RecDEVS, Rekonfigurierbare Systeme, DEVS, FPGA, Dynamische Rekonfiguration | Deutsch |
|
| URN: |
urn:nbn:de:tuda-tuprints-34687 |
| Sachgruppe der Dewey Dezimalklassifikatin (DDC): |
000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik |
| Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik > Integrierte Schaltungen und Systeme
20 Fachbereich Informatik |
| Hinterlegungsdatum: |
11 Aug 2013 19:55 |
| Letzte Änderung: |
11 Aug 2013 19:55 |
| PPN: |
|
| Referenten: |
Huss, Prof. Sorin A. ; Eveking, Prof. Hans |
|
Datum der mündlichen Prüfung / Verteidigung / mdl. Prüfung: |
9 April 2013 |
| Schlagworte: |
| Einzelne Schlagworte | Sprache |
|---|
| RecDEVS, Rekonfigurierbare Systeme, DEVS, FPGA, Dynamische Rekonfiguration | Deutsch |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum