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

We present a semi-automatic design flow from Simulink models to prototypes of mixed hardware/software implementations of these models. Our work consists of three key contributions: (1) transformation of a functional model given in MATLAB/Simulink to the well-defined synchronous reactive model of computation (SR MoC), (2) an automatic SystemC code generation from Simulink models using the SR MoC and (3) a semi-automatic prototype generator for heterogeneous hardware/software systems implementing the chaotic iteration scheduling for SR models.

[1]  Alain Girault,et al.  Software implementation of synchronous programs , 2001, Proceedings Second International Conference on Application of Concurrency to System Design.

[2]  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.

[3]  Alexandru Turjan,et al.  System design using Khan process networks: the Compaan/Laura approach , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[4]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[5]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

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

[7]  BerryGérard,et al.  The ESTEREL synchronous programming language , 1992 .

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

[9]  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.

[10]  Nacer-Eddine Zergainoh,et al.  Simulink-based MPSoC Design: New Approach to Bridge the Gap between Algorithm and Architecture Design , 2007, IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07).

[11]  Christian Haubelt,et al.  A SystemC-Based Design Methodology for Digital Signal Processing Systems , 2007, EURASIP J. Embed. Syst..

[12]  Stephen A. Edwards,et al.  The specification and execution of heterogeneous synchronous reactive systems , 1998 .

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

[14]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[15]  Klaus Schneider,et al.  Averest: Specification, Verification, and Implementation of Reactive Systems , 2005 .