Linking Formal Description and Simulation of Runtime Reconfigurable Systems

Author

Pionteck, Thilo ; Osterloh, Christoph ; Albrecht, Carsten

Author_Institution

Inst. of Comput. Eng., Univ. zu Lubeck, Lubeck, Germany

fYear

2011

fDate

Nov. 30 2011-Dec. 2 2011

Firstpage

158

Lastpage

163

Abstract

This paper links a well-investigated formalism for describing dynamic structured discrete event systems and a modelling methodology for runtime reconfigurable systems. The theory behind dynamic structured discrete event systems is used to back a generic SystemC simulation model derived from and developed for runtime reconfigurable systems. The coupling of formalism and model effects in particular the simulation of runtime reconfigurable systems so that generally any standard simulator for discrete event systems can be used without any modification to its capabilities. By means of an application example, modeling as well as formal description of runtime reconfigurable systems are illustrated.

Keywords

C++ language; discrete event simulation; reconfigurable architectures; SystemC simulation model; formal description; formal simulation; modelling methodology; runtime reconfigurable systems; structured discrete event systems; Adaptation models; Data models; Discrete event systems; Kernel; Runtime; Synchronization; Tiles; SystemC; formal description; runtime reconfigurable systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Reconfigurable Computing and FPGAs (ReConFig), 2011 International Conference on

Conference_Location

Cancun

Print_ISBN

978-1-4577-1734-5

Type

conf

DOI

10.1109/ReConFig.2011.55

Filename

6128571