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

Institut für Technische Informatik

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.

Originalsprache	Englisch
Titel	2011 International Conference on Reconfigurable Computing and FPGAs
Seitenumfang	6
Herausgeber (Verlag)	IEEE
Erscheinungsdatum	01.12.2011
Seiten	158-163
Aufsatznummer	6128571
ISBN (Print)	978-1-4577-1734-5
ISBN (elektronisch)	978-0-7695-4551-6
DOIs	https://doi.org/10.1109/ReConFig.2011.55
Publikationsstatus	Veröffentlicht - 01.12.2011
Veranstaltung	2011 International Conference on Reconfigurable Computing and FPGAs - Cancun, Mexico Dauer: 30.11.2011 → 02.12.2011 Konferenznummer: 88415

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

Dokumente

10.1109/ReConFig.2011.55

Weitere Links

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

Zitieren

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 (S. 158-163). Artikel 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, S. 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. S. 158-163 6128571 (Proceedings - 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011).

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

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

Dokumente

Weitere Links

Fingerprint

Zitieren