Semi-Automatic Generation of mixed Hardware-Software Prototypes from Simulink Models

Streubühr M, Jäntsch M, Haubelt C, Teich J, Schneider A (2008)

Publication Type: Conference contribution

Publication year: 2008

Pages Range: 139-148

Conference Proceedings Title: 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Event location: Freiburg DE

Authors with CRIS profile

Martin Streubühr Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Christian Haubelt Technische Fakultät Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Related research project(s)

SpecVer: Specification for Verification of complex systems (SpecVer) Oct. 1, 2005 - Sept. 30, 2008 SystemCoDesigner: System level design space exploration for embedded systems (SystemCoDesigner) April 1, 2005 - April 1, 2008 SysteMoC: Representing models of computation in SystemC (SysteMoC) April 1, 2005 - April 1, 2008

Involved external institutions

Alcatel-Lucent Deutschland AG DE Germany (DE)

How to cite

APA:

Streubühr, M., Jäntsch, M., Haubelt, C., Teich, J., & Schneider, A. (2008). Semi-Automatic Generation of mixed Hardware-Software Prototypes from Simulink Models. In 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (pp. 139-148). Freiburg, DE.

MLA:

Streubühr, Martin, et al. "Semi-Automatic Generation of mixed Hardware-Software Prototypes from Simulink Models." Proceedings of the 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Freiburg 2008. 139-148.

BibTeX: Download