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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Kangas T et al (2006) UML-based multiprocessor SoC design framework. ACM Trans Embedded Comput Syst (TECS) 5(2)
Object Management Group (2009) A UML profile for MARTE, www.omgmarte.org
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
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
Xie T et al (2009) A UML frontend for IP-XACT-based IP management. In: Proceedings of DATE 2009
Riccobene E et al (2009) SystemC/C-based model-driven design for embedded systems. ACM Trans Embedded Comput Syst (TECS) 8(4)
Object Management Group (2006) UML profile for system on a chip (SoC). OMG formal/06-08-01
OSCI (2009) SystemC synthesizeable subset
OSCI (2009) SystemC-AMS. www.systemc-ams.org
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
OSCI (2008) OSCI TLM-2.0 Manual
Ecker W, Esen V, Hull M (2006) Execution semantics and formalisms for multi-abstraction TLM assertions. In: Proceedings of MEMOCODES’06. Napa, CA
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
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
HetSC homepage: www.teisa.unican.es/HetSC/
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
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
Jantsch A (2004) Modeling embedded systems and SoCs. Morgan kaufmann, Elsevier
IEEE: IEEE Standard for local and metropolitan area networks, Part 16: Air interface for fixed and mobile broadband wireless access systems
Xilinx 2008 ML510 Embedded development platform, user guide, UG356 (v1.1) December 11, 2008
Agility SC Compiler. www.msc.rl.ac.uk/euro practice/software/mentor. html
Acknowledgments
The work described herein is supported by the ICT Project SATURN (FP7-216807).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)