Skip to main content

The SATURN Approach to SysML-Based HW/SW Codesign

  • Conference paper
  • First Online:
VLSI 2010 Annual Symposium

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Kangas T et al (2006) UML-based multiprocessor SoC design framework. ACM Trans Embedded Comput Syst (TECS) 5(2)

    Google Scholar 

  2. Object Management Group (2009) A UML profile for MARTE, www.omgmarte.org

  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 profile

    Google Scholar 

  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, USA

    Google Scholar 

  5. Xie T et al (2009) A UML frontend for IP-XACT-based IP management. In: Proceedings of DATE 2009

    Google Scholar 

  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. Object Management Group (2006) UML profile for system on a chip (SoC). OMG formal/06-08-01

    Google Scholar 

  8. OSCI (2009) SystemC synthesizeable subset

    Google Scholar 

  9. OSCI (2009) SystemC-AMS. www.systemc-ams.org

  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’08

    Google Scholar 

  11. OSCI (2008) OSCI TLM-2.0 Manual

    Google Scholar 

  12. Ecker W, Esen V, Hull M (2006) Execution semantics and formalisms for multi-abstraction TLM assertions. In: Proceedings of MEMOCODES’06. Napa, CA

    Google Scholar 

  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–23

    Article  Google Scholar 

  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:N8

    Google Scholar 

  15. HetSC homepage: www.teisa.unican.es/HetSC/

  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):N22

    Google Scholar 

  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 automation

    Google Scholar 

  18. Jantsch A (2004) Modeling embedded systems and SoCs. Morgan kaufmann, Elsevier

    Google Scholar 

  19. IEEE: IEEE Standard for local and metropolitan area networks, Part 16: Air interface for fixed and mobile broadband wireless access systems

    Google Scholar 

  20. Xilinx 2008 ML510 Embedded development platform, user guide, UG356 (v1.1) December 11, 2008

    Google Scholar 

  21. Agility SC Compiler. www.msc.rl.ac.uk/euro practice/software/mentor. html

Download references

Acknowledgments

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wolfgang Mueller .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer Science+Business Media B.V.

About this paper

Cite this paper

Mueller, W. et al. (2011). The SATURN Approach to SysML-Based HW/SW Codesign. In: Voros, N., Mukherjee, A., Sklavos, N., Masselos, K., Huebner, M. (eds) VLSI 2010 Annual Symposium. Lecture Notes in Electrical Engineering, vol 105. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-1488-5_9

Download citation

  • DOI: https://doi.org/10.1007/978-94-007-1488-5_9

  • Published:

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-007-1487-8

  • Online ISBN: 978-94-007-1488-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics