TU Darmstadt / ULB / TUbiblio

A Model of Computation for Reconfigurable Systems

Madlener, Felix (2013):
A Model of Computation for Reconfigurable Systems.
TU Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/3468],
[Ph.D. Thesis]

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.

Item Type: Ph.D. Thesis
Erschienen: 2013
Creators: Madlener, Felix
Title: A Model of Computation for Reconfigurable Systems
Language: English
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.

Uncontrolled Keywords: RecDEVS, Reconfigurable Systems, DEVS, FPGA, Dynamic Reconfiguration
Divisions: 20 Department of Computer Science > Integrated Circuits and Systems
20 Department of Computer Science
Date Deposited: 11 Aug 2013 19:55
Official URL: http://tuprints.ulb.tu-darmstadt.de/3468
URN: urn:nbn:de:tuda-tuprints-34687
Referees: Huss, Prof. Sorin A. and Eveking, Prof. Hans
Refereed / Verteidigung / mdl. Prüfung: 9 April 2013
Alternative keywords:
Alternative keywordsLanguage
RecDEVS, Rekonfigurierbare Systeme, DEVS, FPGA, Dynamische RekonfigurationGerman
Alternative Abstract:
Alternative abstract Language
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.German
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item