Madlener, Felix ; Huss, Sorin ; Biedermann, Alexander (2009)
RecDEVS: A Comprehensive Model of Computation for Dynamically Reconfigurable Hardware Systems.
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
This paper introduces a novel formal model of computation denoted as RecDEVS. It is targeted to the development of dynamically reconfigurable hardware systems, a domain that still misses a formal design methodology. RecDEVS supports the description of hardware reconfiguration as a native part of a system model and thus can be used as a foundation of new design methodologies. Reconfiguration is addressed by means of a small set of reconfiguration commands and a dedicated executive component. Special care has been taken to support the flexible communication network of dynamically changeable hardware structures. We describe how RecDEVS benefits from the Dynamic Structure Discrete Event Specified Systems (DSDEVS) model that has been generalized. To illustrate the feasibility of the proposed approach the implementation of RecDEVS inside on top of SystemC based simulation engine is demonstrated.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2009 |
| Autor(en): | Madlener, Felix ; Huss, Sorin ; Biedermann, Alexander |
| Art des Eintrags: | Bibliographie |
| Titel: | RecDEVS: A Comprehensive Model of Computation for Dynamically Reconfigurable Hardware Systems |
| Sprache: | Englisch |
| Publikationsjahr: | Oktober 2009 |
| Buchtitel: | 4th IFAC Workshop on Discrete-Event System Design (DESDes'09) |
| Kurzbeschreibung (Abstract): | This paper introduces a novel formal model of computation denoted as RecDEVS. It is targeted to the development of dynamically reconfigurable hardware systems, a domain that still misses a formal design methodology. RecDEVS supports the description of hardware reconfiguration as a native part of a system model and thus can be used as a foundation of new design methodologies. Reconfiguration is addressed by means of a small set of reconfiguration commands and a dedicated executive component. Special care has been taken to support the flexible communication network of dynamically changeable hardware structures. We describe how RecDEVS benefits from the Dynamic Structure Discrete Event Specified Systems (DSDEVS) model that has been generalized. To illustrate the feasibility of the proposed approach the implementation of RecDEVS inside on top of SystemC based simulation engine is demonstrated. |
| Freie Schlagworte: | Secure Things;Dynamic Reconfiguration, RecDEVS, Model of Computation, Discrete Event Specified Systems |
| Fachbereich(e)/-gebiet(e): | LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt LOEWE > LOEWE-Zentren LOEWE |
| Hinterlegungsdatum: | 31 Dez 2016 00:15 |
| Letzte Änderung: | 17 Mai 2018 13:02 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum