Advertisement

The SATURN Approach to SysML-Based HW/SW Codesign

  • Wolfgang MuellerEmail author
  • Da He
  • Fabian Mischkalla
  • Arthur Wegele
  • Adrian Larkham
  • Paul Whiston
  • Pablo Peñil
  • Eugenio Villar
  • Nikolaos Mitas
  • Dimitrios Kritharidis
  • Florent Azcarate
  • Manuel Carballeda
Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 105)

Abstract

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 the SysML tool suite ARTiSAN Studio®. We finally discuss the evaluation of the approach by two case studies.

Keywords

Communicate Sequential Process Virtual Platform Smart Camera Synchronous Data Flow Artisan Studio 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Notes

Acknowledgments

The work described herein is supported by the ICT Project SATURN (FP7-216807).

References

  1. 1.
    Kangas T et al (2006) UML-based multiprocessor SoC design framework. ACM Trans Embedded Comput Syst (TECS) 5(2)Google Scholar
  2. 2.
    Object Management Group (2009) A UML profile for MARTE, www.omgmarte.org
  3. 3.
    André C, Mallet F, Mehmood A, de Simone R (2008) Modeling SPIRIT IP-XACT with UML MARTE. In: Proceedings of the DATE workshop on modeling and analysis of real-time and embedded systems with the MARTE UML profileGoogle Scholar
  4. 4.
    Arpinen T, Salminen E, Hännikäinen M, Hämäläinen TD (2008) Model-driven approach for automatic SPIRIT IP integration. In: Proceedings of 5th international UML-SoC DAC workshop. Anaheim, USAGoogle Scholar
  5. 5.
    Xie T et al (2009) A UML frontend for IP-XACT-based IP management. In: Proceedings of DATE 2009Google Scholar
  6. 6.
    Riccobene E et al (2009) SystemC/C-based model-driven design for embedded systems. ACM Trans Embedded Comput Syst (TECS) 8(4)Google Scholar
  7. 7.
    Object Management Group (2006) UML profile for system on a chip (SoC). OMG formal/06-08-01Google Scholar
  8. 8.
    OSCI (2009) SystemC synthesizeable subsetGoogle Scholar
  9. 9.
    OSCI (2009) SystemC-AMS. www.systemc-ams.org
  10. 10.
    Gruettner K, Oppenheimer F, Nebel W, Colas-Bigey F (2008) SystemC-based modelling seamless refinement, and synthesis of a JPEG 2000 decoder. In: Proceedings of DATE’08Google Scholar
  11. 11.
    OSCI (2008) OSCI TLM-2.0 ManualGoogle Scholar
  12. 12.
    Ecker W, Esen V, Hull M (2006) Execution semantics and formalisms for multi-abstraction TLM assertions. In: Proceedings of MEMOCODES’06. Napa, CAGoogle Scholar
  13. 13.
    Keinert J, Streubhr M, Schlichter T, Falk J, Gladigau J, Haubelt C, Teich J, Meredith M (2009) Systemcodesigner: an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications. In ACM TODAES 14(1):1–23CrossRefGoogle Scholar
  14. 14.
    Patel HD, Shukla SK (2005) Towards a heterogeneous simulation kernel for system-level models a systemc kernel for synchronous data flow models. IEEE Trans CAD Integr Circ Syst 24:N8Google Scholar
  15. 15.
  16. 16.
    Herrera F, Villar E (2008) A framework for heterogeneous specification and design of electronic embedded systems in systemC. ACM Trans Des Autom Electron Syst Spec Issue Demonstrable Softw Syst Hardw Platforms 12(3):N22Google Scholar
  17. 17.
    Herrera F, Villar E (2006) A framework for embedded system specification under different models of computation in systemC, Annual ACM IEEE design automation conference proceedings of the 43rd annual conference on design automationGoogle Scholar
  18. 18.
    Jantsch A (2004) Modeling embedded systems and SoCs. Morgan kaufmann, ElsevierGoogle Scholar
  19. 19.
    IEEE: IEEE Standard for local and metropolitan area networks, Part 16: Air interface for fixed and mobile broadband wireless access systemsGoogle Scholar
  20. 20.
    Xilinx 2008 ML510 Embedded development platform, user guide, UG356 (v1.1) December 11, 2008Google Scholar
  21. 21.
    Agility SC Compiler. www.msc.rl.ac.uk/euro practice/software/mentor. html

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  • Wolfgang Mueller
    • 1
    Email author
  • Da He
    • 1
  • Fabian Mischkalla
    • 1
  • Arthur Wegele
    • 2
  • Adrian Larkham
    • 3
  • Paul Whiston
    • 3
  • Pablo Peñil
    • 4
  • Eugenio Villar
    • 4
  • Nikolaos Mitas
    • 5
  • Dimitrios Kritharidis
    • 5
  • Florent Azcarate
    • 6
  • Manuel Carballeda
    • 6
  1. 1.University of Paderborn/C-LABPaderbornGermany
  2. 2.AtegoWolfsburgGermany
  3. 3.AtegoGloucestershireUK
  4. 4.Avenida de los Castros s/n. Edif. ETSIIT Department of TEISAUniversidad de CantabriaCantabriaSpain
  5. 5.Intracom TelecomAthensGreece
  6. 6.Thales Security Solutions and ServicesVelizy CedexFrance

Personalised recommendations