Linking Formal Description and Simulation of Runtime Reconfigurable Systems

Thilo Pionteck; Christoph Osterloh; Carsten Albrecht

doi:10.1109/ReConFig.2011.55

Linking Formal Description and Simulation of Runtime Reconfigurable Systems

Thilo Pionteck, Christoph Osterloh, Carsten Albrecht

Institute of Computer Engineering

Dräger Medical

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.

Original language	English
Title of host publication	2011 International Conference on Reconfigurable Computing and FPGAs
Number of pages	6
Publisher	IEEE
Publication date	01.12.2011
Pages	158-163
Article number	6128571
ISBN (Print)	978-1-4577-1734-5
ISBN (Electronic)	978-0-7695-4551-6
DOIs	https://doi.org/10.1109/ReConFig.2011.55
Publication status	Published - 01.12.2011
Event	2011 International Conference on Reconfigurable Computing and FPGAs - Cancun, Mexico Duration: 30.11.2011 → 02.12.2011 Conference number: 88415

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1109/ReConFig.2011.55

Cite this

Pionteck, T., Osterloh, C., & Albrecht, C. (2011). Linking Formal Description and Simulation of Runtime Reconfigurable Systems. In 2011 International Conference on Reconfigurable Computing and FPGAs (pp. 158-163). Article 6128571 (Proceedings - 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011). IEEE. https://doi.org/10.1109/ReConFig.2011.55

@inproceedings{20e9a992432645d1a213d71f08a8e2d4,

title = "Linking Formal Description and Simulation of Runtime Reconfigurable Systems",

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.",

author = "Thilo Pionteck and Christoph Osterloh and Carsten Albrecht",

year = "2011",

month = dec,

day = "1",

doi = "10.1109/ReConFig.2011.55",

language = "English",

isbn = "978-1-4577-1734-5",

series = "Proceedings - 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011",

publisher = "IEEE",

pages = "158--163",

booktitle = "2011 International Conference on Reconfigurable Computing and FPGAs",

note = "2011 International Conference on Reconfigurable Computing and FPGAs <br/>, ReConFig 2011 ; Conference date: 30-11-2011 Through 02-12-2011",

}

Pionteck, T, Osterloh, C & Albrecht, C 2011, Linking Formal Description and Simulation of Runtime Reconfigurable Systems. in 2011 International Conference on Reconfigurable Computing and FPGAs., 6128571, Proceedings - 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011, IEEE, pp. 158-163, 2011 International Conference on Reconfigurable Computing and FPGAs
, Cancun, Mexico, 30.11.11. https://doi.org/10.1109/ReConFig.2011.55

Linking Formal Description and Simulation of Runtime Reconfigurable Systems. / Pionteck, Thilo; Osterloh, Christoph; Albrecht, Carsten.
2011 International Conference on Reconfigurable Computing and FPGAs. IEEE, 2011. p. 158-163 6128571 (Proceedings - 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011).

Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

TY - GEN

T1 - Linking Formal Description and Simulation of Runtime Reconfigurable Systems

AU - Pionteck, Thilo

AU - Osterloh, Christoph

AU - Albrecht, Carsten

N1 - Conference code: 88415

PY - 2011/12/1

Y1 - 2011/12/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-84856831062&origin=inward&txGid=f58d4a2a782b77a96592d91061810c3a

U2 - 10.1109/ReConFig.2011.55

DO - 10.1109/ReConFig.2011.55

M3 - Conference contribution

SN - 978-1-4577-1734-5

T3 - Proceedings - 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011

SP - 158

EP - 163

BT - 2011 International Conference on Reconfigurable Computing and FPGAs

PB - IEEE

T2 - 2011 International Conference on Reconfigurable Computing and FPGAs <br/>

Y2 - 30 November 2011 through 2 December 2011

ER -

Linking Formal Description and Simulation of Runtime Reconfigurable Systems

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this