TU Darmstadt / ULB / TUbiblio

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

Madlener, Felix and Huss, Sorin and Biedermann, Alexander (2009):
RecDEVS: A Comprehensive Model of Computation for Dynamically Reconfigurable Hardware Systems.
In: 4th IFAC Workshop on Discrete-Event System Design (DESDes'09), [Conference or Workshop Item]

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 and Huss, Sorin and Biedermann, Alexander
Title: RecDEVS: A Comprehensive Model of Computation for Dynamically Reconfigurable Hardware Systems
Language: ["languages_typename_1" not defined]
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.

Title of Book: 4th IFAC Workshop on Discrete-Event System Design (DESDes'09)
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
Identification Number: ISS:Madlener:2009:RecDEVSAComp:159
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item