Skip to main content

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 63))

Abstract

The spread of technology is mostly possible thanks to the growing presence of Embedded Systems in our everyday lives. Embedded Systems are information processing devices enclosed in a variety of products such as cars, telecommunication or fabrication equipment. These devices must accomplish a large set of requirements and constraints to meet the computational demands of modern applications. As a matter of fact, Embedded Systems are very complex and heterogeneous systems, and this implies very difficult, expensive and time consuming design processes. Although MDE and Hw/Sw codesign are widely used to address the design complexity problem, the lack of design procedures and methodologies joining both concepts restrains their usage as complementary techniques, thus preventing the implementation of faster and more robust design cycles. In this chapter we present a practical semi-automated design flow where both methodologies are merged and exploited to enable a fast design process targeting highly complex Real-Time Embedded Systems, executing several tasks on SoC and MPSoC devices, while allowing the usage of Design Space Exploration, Schedulability Analysis and Estimation techniques.

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 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.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. W.Ahmed, D.Myers, Using UML 2.0 for the Creation of Concept-Based SoC Design. UML-SoC’07

    Google Scholar 

  2. M.Albert, J.Munoz, V.Pelechano, O. Pastor, Model to text transformation in practice: generating code from rich associations specifications, in Advances in Conceptual Modeling – Theory and Practice, ed. by J.F. Roddick, et al. (Springer, Berlin/Heidelberg, 2006), pp.63–72

    Google Scholar 

  3. P.Andersson, M.Höst, UML and SystemC – Comparison and Mapping Rules for Automatic Code Generation. On selected papers from FDL’07 (2007)

    Google Scholar 

  4. C.Andre, F.Mallet, R.deSimone, Time Modeling in MARTE. FDL’07 (2007)

    Google Scholar 

  5. R.Bayton, R.Spence, Sensitivity and Optimization (Elsevier Science, New York, 1980)

    Google Scholar 

  6. J.Bézivin, O.Gerbé, Towards a precise definition of the omg/mda framework, in Proceedings of the 16th IEEE International Conference on Automated Software Engineering, ASE’01 (2001)

    Google Scholar 

  7. P.Boulet, P.Marquet, E.Piel, J.Taillard, Repetitive Allocation Modeling with MARTE. FDL’07

    Google Scholar 

  8. H.Espinoza, H.Dubois, S.Gerard, J.Medina, D.C. Petriu, M.Woodside, Annotating UML Models with Non-Functional Properties for Quantitative Analysis. In Satellite Events at MoDELS (2005)

    Google Scholar 

  9. J.M. Favre, Towards a basic theory to model driven engineering, in Proceedings of Third Workshop in Software Model Engineering, Lisbon, Portugal (2004)

    Google Scholar 

  10. S.Ganesan, M.Prevostini, Bridging the Gap Between SysML and Design Space Exploration. FDL’06

    Google Scholar 

  11. P.Green, Y.Lu, Hardware/Software Partitioning of UML Models. UML-SoC’07

    Google Scholar 

  12. P.N. Green, M.D. Edwards, The Modeling of Embedded Systems Using HASoC. In Proc. of DATE 02

    Google Scholar 

  13. M.Hagner, M.Huhn, Tool Support for a Scheduling Analysis View. UML Workshop at Date’08

    Google Scholar 

  14. http://beru.univ-brest.fr/~singhoff/cheddar

  15. http://mast.unican.es

  16. http://www.mopcom.fr

  17. http://www.multicube.eu

  18. http://www.omgmarte.org

  19. http://www.omg.org/mda

  20. http://www.symtavision.com

  21. http://www.sysml.org

  22. http://www.uml.org

  23. A.Koudri, D.Aulagnier, D.Vojtisek, P.Soulard, C.Moy, J.Champeau, J.Vidal, J.C.Le Lann, Using MARTE in a Co-Design Methodology. UML Workshop at Date’08

    Google Scholar 

  24. P.Marquet, S. Meftali, S. Niar, A. Etien, J.Dekeyser, E.Piel, R.Attitalah, P.Boulet, Gaspard2: from MARTE to SystemC Simulation. proc. DATE08

    Google Scholar 

  25. P. Marwedel, Embedded System Design (Springer-Verlag, New York, 2005)

    Google Scholar 

  26. M.Mura, L.G. Murillo, M.Prevostini, Model-Based Design Space Exploration for RTES with SysML and MARTE. FDL’08

    Google Scholar 

  27. M.Mura, A.Panda, M.Prevostini, Executable Models and Verification from MARTE and SysML: a Comparative Study of Code Generation Capabilities. MARTE UML Workshop at DATE’08

    Google Scholar 

  28. M.Mura, M.Paolieri, SC 2 StateCharts to SystemC: Automatic Executable Models Generation. FDL’07

    Google Scholar 

  29. M.Natale, M.Saksena, Schedulability Analysis with UML, in UML for Real: Design of Embedded Real-Time Systems (Kluwer, Norwel MA, 2003)

    Google Scholar 

  30. ObjectManagement Group, UML Profile for Schedulability, Performance, and Time. In OMG document n. ptc/02-03-02 (2002)

    Google Scholar 

  31. ObjectManagement Group, MDA Guide, Version 1.0.1. OMG document number omg/2003-06-01 (2003)

    Google Scholar 

  32. D.C. Petriu, C.M. Woodside, Performance analysis with UML: layered queueing models from the performance profile, in UML for Real: Design of Embedded Real-Time Systems (Kluwer, Norwell MA, 2003)

    Google Scholar 

  33. T.H. Phan, S.Gerard, D.Lugato, Scheduling Validation for UML-modeled Real-Time Systems. ERCT (2003)

    Google Scholar 

  34. W.Raslan, A.Sameh, Mapping SysML to SystemC. FDL’07 (2007)

    Google Scholar 

  35. S.Taha, A.Radermacher, S.Gerard, J.L. Dekeyser, MARTE: UML-Based Hardware Design from Modeling to Simulation. FDL’07

    Google Scholar 

  36. R. Atitallah, E. Piel, J. Taillard, S. Niar, J.L. Dekeyser, From High Level MPSoC description to SystemC Code Generation, ModEasy’07 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Luis Gabriel Murillo .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer Science+Business Media B.V.

About this chapter

Cite this chapter

Murillo, L.G., Mura, M., Prevostini, M. (2010). MDE Support for HW/SW Codesign: A UML-based Design Flow. In: Borrione, D. (eds) Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s. Lecture Notes in Electrical Engineering, vol 63. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-9304-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-90-481-9304-2_2

  • Published:

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-9303-5

  • Online ISBN: 978-90-481-9304-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics