The SATURN Approach to SysML-Based HW/SW Codesign

The main obstacle for the wide acceptance of UML and SysML in the design of electronic systems is due to a major gap in the design flow between UML-based modeling and SystemC-based verification. To overcome this gap, we present an approach developed in the SATURN project which introduces UML profiles for the co-modeling of SystemC and C with code generation support in the context of ARTiSAN Studio®. We finally discuss the evaluation of the approach by two case studies.

[1]  Sandeep K. Shukla,et al.  Towards a heterogeneous simulation kernel for system-level models: a SystemC kernel for synchronous data flow models , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

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

[3]  Wolfgang Ecker,et al.  Execution semantics and formalisms for multi-abstraction TLM assertions , 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..

[4]  Wolfgang Nebel,et al.  SystemC-based Modelling, Seamless Refinement, and Synthesis of a JPEG 2000 Decoder , 2008, 2008 Design, Automation and Test in Europe.

[5]  Fernando Herrera,et al.  A framework for embedded system specification under different models of computation in SystemC , 2006, 2006 43rd ACM/IEEE Design Automation Conference.

[6]  Timo Hämäläinen,et al.  UML-based multiprocessor SoC design framework , 2006, TECS.

[7]  Robert de Simone,et al.  Modeling SPIRIT IP-XACT with UML MARTE , 2008 .

[8]  Tao Xie,et al.  A UML frontend for IP-XACT-based IP management , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[9]  Fernando Herrera,et al.  A framework for heterogeneous specification and design of electronic embedded systems in SystemC , 2007, TODE.

[10]  Elvinia Riccobene,et al.  SystemC/C-based model-driven design for embedded systems , 2009, TECS.

[11]  MeredithMichael,et al.  SystemCoDesigneran automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications , 2009 .