TU Darmstadt / ULB / TUbiblio

RecDEVS: A Comprehensive Model of Computation for Dynamically Reconfigurable Hardware Systems

Madlener, Felix ; Huss, Sorin ; Biedermann, Alexander (2009)
RecDEVS: A Comprehensive Model of Computation for Dynamically Reconfigurable Hardware Systems.
Conference or Workshop Item, Bibliographie

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.

Item Type: Conference or Workshop Item
Erschienen: 2009
Creators: Madlener, Felix ; Huss, Sorin ; Biedermann, Alexander
Type of entry: Bibliographie
Title: RecDEVS: A Comprehensive Model of Computation for Dynamically Reconfigurable Hardware Systems
Language: English
Date: October 2009
Book Title: 4th IFAC Workshop on Discrete-Event System Design (DESDes'09)
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.

Uncontrolled Keywords: Secure Things;Dynamic Reconfiguration, RecDEVS, Model of Computation, Discrete Event Specified Systems
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
LOEWE > LOEWE-Zentren
LOEWE
Date Deposited: 31 Dec 2016 00:15
Last Modified: 17 May 2018 13:02
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details