Bridging Algorithm and ESL Design: Matlab/Simulink Model Transformation and Validation
Author(s): Zhang L, Glaß M, Ballmann N, Teich J
Title edited volumes: Forum on Specification and Design Languages
Publisher: IEEE Press
Publishing place: New York, NY, USA
Publication year: 2013
Conference Proceedings Title: Proc. Forum on Specification & Design Languages
Pages range: 1-8
Event: Forum on Specification & Design Languages (FDL)
Event location: Paris
Start date of the event: 24/09/2013
End date of the event: 26/09/2013
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 Authors / FAU Editors How to cite
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). 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.