Bridging Algorithm and ESL Design: Matlab/Simulink Model Transformation and Validation

Beitrag bei einer Tagung


Details zur Publikation

Autor(en): Zhang L, Glaß M, Ballmann N, Teich J
Titel Sammelwerk: Forum on Specification and Design Languages
Verlag: IEEE Press
Verlagsort: New York, NY, USA
Jahr der Veröffentlichung: 2013
Tagungsband: Proc. Forum on Specification & Design Languages
Seitenbereich: 1-8
ISBN: 978-2-9530504-8-6
ISSN: 1636-9874


Abstract


Matlab/Simulink is today's de-facto standard for model-based design in domains such as control engineering and signal processing. Particular strengths of Simulink are rapid design and algorithm exploration. Moreover, commercial tools are available to generate embedded C or HDL code directly from a Simulink model. On the other hand, Simulink models are purely functional models and, hence, designers cannot seamlessly consider the architecture that a Simulink model is later implemented on. In particular, it is not possible to explore the different architectural alternatives and investigate the arising interactions and side-effects directly within Simulink. To benefit from Matlab/Simulink's algorithm exploration capabilities and overcome the outlined drawbacks, this work introduces a model transformation framework that converts a Simulink model to an executable specification, written in an actor-oriented modeling language. This specification then serves as the input of well-established Electronic System Level (ESL) design flows that, e. g., enables Design Space Exploration (DSE) and automatic code generation for both hardware and software. We also present a validation technique that considers the functional correctness by comparing the original Simulink model with the generated specification in a co-simulation environment. The co-simulation can also be used to evaluate the performance of implementation candidates during DSE. As case study, we present and investigate a torque vectoring application from an electric automotive vehicle. © 2013 European Electronic Chips & Systems design Initiative - ECSI.



FAU-Autoren / FAU-Herausgeber

Glaß, Michael Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Zhang, Liyuan
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Zitierweisen

APA:
Zhang, L., Glaß, M., Ballmann, N., & Teich, J. (2013). Bridging Algorithm and ESL Design: Matlab/Simulink Model Transformation and Validation. In Proc. Forum on Specification & Design Languages (pp. 1-8). Paris, FR: New York, NY, USA: IEEE Press.

MLA:
Zhang, Liyuan, et al. "Bridging Algorithm and ESL Design: Matlab/Simulink Model Transformation and Validation." Proceedings of the Forum on Specification & Design Languages (FDL), Paris New York, NY, USA: IEEE Press, 2013. 1-8.

BibTeX: 

Zuletzt aktualisiert 2018-23-11 um 06:06