A Model of Computation for Reconfigurable Systems
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 requir...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | German en |
| Published: |
2013
|
| Online Access: | http://tuprints.ulb.tu-darmstadt.de/3468/7/dissertation.pdf Madlener, Felix <http://tuprints.ulb.tu-darmstadt.de/view/person/Madlener=3AFelix=3A=3A.html> : A Model of Computation for Reconfigurable Systems. Technische Universität, Darmstadt [Ph.D. Thesis], (2013) |
| id |
ndltd-tu-darmstadt.de-oai-tuprints.ulb.tu-darmstadt.de-3468 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-tu-darmstadt.de-oai-tuprints.ulb.tu-darmstadt.de-34682017-03-17T06:35:44Z http://tuprints.ulb.tu-darmstadt.de/3468/ A Model of Computation for Reconfigurable Systems Madlener, Felix 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. 2013 Ph.D. Thesis NonPeerReviewed text ger Creative Commons: Attribution-Noncommercial-No Derivative Works 3.0 http://tuprints.ulb.tu-darmstadt.de/3468/7/dissertation.pdf Madlener, Felix <http://tuprints.ulb.tu-darmstadt.de/view/person/Madlener=3AFelix=3A=3A.html> : A Model of Computation for Reconfigurable Systems. Technische Universität, Darmstadt [Ph.D. Thesis], (2013) en info:eu-repo/semantics/doctoralThesis info:eu-repo/semantics/openAccess |
| collection |
NDLTD |
| language |
German en |
| format |
Others
|
| sources |
NDLTD |
| description |
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.
|
| author |
Madlener, Felix |
| spellingShingle |
Madlener, Felix A Model of Computation for Reconfigurable Systems |
| author_facet |
Madlener, Felix |
| author_sort |
Madlener, Felix |
| title |
A Model of Computation for Reconfigurable Systems |
| title_short |
A Model of Computation for Reconfigurable Systems |
| title_full |
A Model of Computation for Reconfigurable Systems |
| title_fullStr |
A Model of Computation for Reconfigurable Systems |
| title_full_unstemmed |
A Model of Computation for Reconfigurable Systems |
| title_sort |
model of computation for reconfigurable systems |
| publishDate |
2013 |
| url |
http://tuprints.ulb.tu-darmstadt.de/3468/7/dissertation.pdf Madlener, Felix <http://tuprints.ulb.tu-darmstadt.de/view/person/Madlener=3AFelix=3A=3A.html> : A Model of Computation for Reconfigurable Systems. Technische Universität, Darmstadt [Ph.D. Thesis], (2013) |
| work_keys_str_mv |
AT madlenerfelix amodelofcomputationforreconfigurablesystems AT madlenerfelix modelofcomputationforreconfigurablesystems |
| _version_ |
1718423873264812032 |