Bridging algorithm and ESL design: Matlab/Simulink model transformation and validation
Liyuan Zhang,Michael Glab,Nils Ballmann,Jürgen Teich +3 more
- pp 189-206
TLDR
This work introduces a model transformation framework that converts a Simulink model to an executable specification, written in an actor-oriented modeling language that serves as the input of well-established Electronic System Level (ESL) design flows that enables Design Space Exploration (DSE) and automatic code generation for both hardware and software.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.read more
Citations
More filters
Proceedings ArticleDOI
Automatic Conversion of Simulink Models to SysteMoC Actor Networks
TL;DR: This work presents a methodology to extract an executable specification based on Data Flow Graphs (DFGs) from a given Simulink model that can be used by ESL tools to perform a Design Space Exploration (DSE) and generate code for hardware/software partitions directly from the ESL model.
Posted Content
Automatic SDF-based Code Generation from Simulink Models for Embedded Software Development.
Maher Fakih,Sebastian Warsitz +1 more
TL;DR: An automated translation methodology for a subset of Simulink models to Synchronous dataflow Graphs (SDFGs) including the automatic code-generation of SDF-compatible embedded code is proposed.
Journal ArticleDOI
Co‑simulation Improvement for Uncertain Flexible Robot Arm
TL;DR: Experimental results have revealed that CODIS+ is the most adequate technique for flexible robot arm, outperforming MIL and SIL by 4–5 times, and the verification phase is improved by identifying the most suitable co-simulation technique.
Proceedings ArticleDOI
Rapid heterogeneous prototyping from Simulink
TL;DR: SimSH: Simulink Sw/Hw CoDesign Framework is introduced, which provides an automatic path from an algorithm captured inSimulink to a heterogeneous implementation, which is 2.68x faster (and energy efficient) over pure SW execution.
Journal ArticleDOI
Model Transformation: Concept, Current Trends and Challenges
TL;DR: The intent of the paper is to portray a complete picture of model transformation in a way to relate the practical implementations with respect to the theoretical aspects of MT, and walk through the terminologies involved in MT.
References
More filters
Book
Real-Time Systems: Design Principles for Distributed Embedded Applications
TL;DR: Real-Time Systems offers a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management.
Book
System Design with SystemC
TL;DR: System Design and SystemC provides a comprehensive introduction to the powerful modeling capabilities of the SystemC language, and also provides a large and valuable set of system level modeling examples and techniques.
Proceedings ArticleDOI
An approach for quantitative analysis of application-specific dataflow architectures
TL;DR: An approach for quantitative analysis of application-specific dataflow architectures that allows the designer to rate design alternatives in a quantitative way and therefore supports him in the design process to find better performing architectures.
Journal ArticleDOI
What's ahead for embedded software?
TL;DR: The answer to this question has given rise to some promising research angles, including novel ways to deal with concurrency and real time and methods for augmenting component interfaces to promote safety and adaptability.
Journal ArticleDOI
SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications
Joachim Keinert,Martin Streubūhr,Thomas Schlichter,Joachim Falk,Jens Gladigau,Christian Haubelt,Jūrgen Teich,Michael Meredith +7 more
TL;DR: SystemCoDesigner is the first fully automated ESL synthesis tool providing a correct-by-construction generation of hardware/software SoC implementations, and is presented as a case study, a model of a Motion-JPEG decoder was automatically optimized and implemented using System coDesigner.