Bridging algorithm and ESL design: Matlab/Simulink model transformation and validation

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.

[1]  Brian Bailey,et al.  ESL Design and Verification: A Prescription for Electronic System Level Methodology , 2007 .

[2]  Martin Lukasiewycz,et al.  Combined system synthesis and communication architecture exploration for MPSoCs , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[3]  Michael Glaß,et al.  A co-simulation approach for system-level analysis of embedded control systems , 2012, 2012 International Conference on Embedded Computer Systems (SAMOS).

[4]  Edward A. Lee,et al.  Actor-oriented models for codesign: balancing re-use and performance , 2004 .

[5]  Y. Atat,et al.  Automatic Code Generation for MPSoC Platform Starting From Simulink/Matlab : New Approach to Bridge the Gap between Algorithm and Architecture Design , 2008, 2008 3rd International Conference on Information and Communication Technologies: From Theory to Applications.

[6]  Christian Haubelt,et al.  Electronic System-Level Synthesis Methodologies , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[7]  Edward A. Lee,et al.  What's Ahead for Embedded Software? , 2000, Computer.

[8]  Thorsten Grotker,et al.  System Design with SystemC , 2002 .

[9]  Ying Cai,et al.  A Transformational approach to constraint relaxation of a time-driven simulation model , 2000, ISSS '00.

[10]  Luigi Carro,et al.  Simulink-Based MPSoC Design Flow: Case Study of Motion-JPEG and H.264 , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[11]  Jean-François Boland,et al.  Using Matlab and Simulink in a SystemC Verification Environment , 2005 .

[12]  Christian Haubelt,et al.  SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications , 2009, TODE.

[13]  Alberto L. Sangiovanni-Vincentelli,et al.  Correct-by-construction transformations across design environments for model-based embedded software development , 2005, Design, Automation and Test in Europe.

[14]  Sandeep K. Shukla,et al.  Formal Methods and Models for System Design , 2004, Springer US.

[15]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[16]  Stavros Tripakis,et al.  From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications , 2003, LCTES '03.

[17]  Christian Haubelt,et al.  Efficient Representation and Simulation of Model-Based Designs , 2006, FDL.

[18]  Edward A. Lee,et al.  Actor-Oriented Models for Codesign , 2004 .

[19]  Ed F. Deprettere,et al.  An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures , 1997, ASAP.