Skip to main content
SpringerLink
Log in
Book cover

Handbook of Hardware/Software Codesign pp 1–45Cite as

Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design Approach

  • Living reference work entry
  • First Online:

Abstract

Model-based design has shown to be a powerful approach for embedded software systems. The Unified Modeling Language (UML) provides a standard, graphically based formalism for capturing system models. The standard Modeling and Analysis of Real-Time Embedded Systems (MARTE) profile provides syntactical and semantical extensions required for the modeling and HW/SW codesign of real-time and embedded systems. However, the UML/MARTE standard is not sufficient. In addition, a modeling methodology stating how to build a model capable to support the analysis and HW/SW codesign activities of complex embedded systems is required. This chapter presents a UML/MARTE modeling methodology capable to address such analysis and design activities. A distinguishing aspect of the modeling methodology is that it supports a single-source design approach.

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

References

  1. Alam O, Kienzle J (2013) Incremental software design modelling. In: Proceedings of the 2013 conference of the center for advanced studies on collaborative research, CASCON ’13. IBM Corp., Riverton, pp 325–339

    Google Scholar 

  2. Ambler SW (2015) Single source information: an Agile best practice for effective documentation. http://agilemodeling.com/essays/singleSourceInformation.htm

  3. Arpinen T, Salminen E, Hämäläinen TD, Hännikäinen M (2012) {MARTE} profile extension for modeling dynamic power management of embedded systems. J Syst Archit 58(5):209–219. doi10.1016/j.sysarc.2011.01.003. Model Based Engineering for Embedded Systems Design

    Google Scholar 

  4. Bailey B, Martin G, Piziali A (2007) ESL design and verification: a prescription for electronic system level methodology. Morgan Kaufmann/Elsevier, Amsterdam/Boston

    Google Scholar 

  5. Bakshi A, Prasanna VK, Ledeczi A (2001) Milan: a model based integrated simulation framework for design of embedded systems. In: Proceedings of the 2001 ACM SIGPLAN workshop on optimization of middleware and distributed systems, OM ’01. ACM, New York, pp 82–93. doi10.1145/384198.384210

    Google Scholar 

  6. Burns A, Davis R (2015) Mixed-criticality systems: a review, 6th edn. Technical report, Department of Computer Science, University of York

    Google Scholar 

  7. Cabot J (2014) Single-source modeling for embedded systems with UML/MARTE. http://modeling-languages.com/modeling-embedded-systems-uml-marte

  8. Dekeyser J, Gamatie A, Atitallah R, Boulet P (2008) Using the UML profile for MARTE to MPSoC co-design. In: 1st international conference on embedded systems and critical applications (ICESCA’08)

    Google Scholar 

  9. Ebeid E, Medina J, Quaglia D, Fummi F (2015) Extensions to the UML profile for MARTE for distributed embedded systems. In: 2015 forum on specification and design languages (FDL), pp 1–8

    Google Scholar 

  10. Garcia A, Medina J: MARTE2MAST. http://mast.unican.es/umlmast/marte2mast/

  11. Gonzalez M, Gutierrez JJ, Palencia JC, Drake JM (2001) Mast: modeling and analysis suite for real time applications. In: 2001 13th Euromicro conference on real-time systems, pp 125–134. doi10.1109/EMRTS.2001.934015

    Google Scholar 

  12. Herrera F, Penil P, Posadas H, Villar E (2014) Model-driven methodology for the development of multi-level executable environments. In: Haase J (ed) Models, methods, and tools for complex chip design. Lecture notes in electrical engineering, vol 265. Springer International Publishing, pp 145–164. doi10.1007/978-3-319-01418-0_9

    Google Scholar 

  13. Herrera F, Posadas H, Peñil P, Villar E, Ferrero F, Valencia R, Palermo G (2014) The COMPLEX methodology for UML/MARTE modeling and design space exploration of embedded systems. J Syst Archit 60(1):55–78. doi10.1016/j.sysarc.2013.10.003

    Google Scholar 

  14. Herrera F, Peñil P, Villar E (2015) Enhancing analyzability and time predictability in UML/MARTE component-based application models. In: Proceedings of the 18th international workshop on software and compilers for embedded systems, FDL ’15. IEEE

    Google Scholar 

  15. Herrera F, Peñil P, Villar E (2015) A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems. In: Proceedings of the 18th international workshop on software and compilers for embedded systems, SCOPES ’15. ACM, New York, pp 88–91. doi10.1145/2764967.2784777

    Google Scholar 

  16. Herrera F, Peñil P, Villar E (2015) UML/MARTE modelling for design space exploration of mixed-criticality systems on top of predictable platforms. In: Jornadas de Computación Empotrada (JCE’15)

    Google Scholar 

  17. Herrera F, Peñil P, Villar E (2015) Extension of the UML/MARTE network modelling methodology in CONTREX. Technical report, University of Cantabria. http://umlmarte.teisa.unican.es/wp-content/uploads/2016/05/ExtendedUML_MARTE_Network_Modelling_Methodology.pdf

  18. Intel (2014) Intel cofluent methodology for SysML: UML*SysML*MARTE flow for Intel CoFluent studio. http://www.intel.com/content/www/us/en/cofluent/cofluent-methodology-for-sysml-white-paper.html

  19. ITRS: International roadmap of semiconductors. http://www.itrs.net/

  20. Kang E, Jackson E, Schulte W (2011) An approach for effective design space exploration. In: Calinescu R, Jackson E (eds) Foundations of computer software. Modeling, development, and verification of adaptive systems. Lecture notes in computer science, vol 6662. Springer, Berlin/Heidelberg, pp 33–54. doi10.1007/978-3-642-21292-5_3

    Google Scholar 

  21. Kangas T, Kukkala P, Orsila H, Salminen E, Hännikäinen M, Hämäläinen TD, Riihimäki J, Kuusilinna K (2006) UML-based multiprocessor soc design framework. ACM Trans Embed Comput Syst 5(2):281–320. doi10.1145/1151074.1151077

    Google Scholar 

  22. Kruchten P (1995) Architecture blueprints—the “4+1” view model of software architecture. In: Tutorial proceedings on TRI-Ada ’91: Ada’s role in global markets: solutions for a changing complex world, TRI-Ada ’95. ACM, New York, pp 540–555. doi10.1145/216591.216611

    Google Scholar 

  23. Lemke M (2012) Mixed criticality systems. Report from the workshop on mixed criticality systems. Technical report, Information Society and Media Directorate-General

    Google Scholar 

  24. Liehr AE (2009) Languages for embedded systems and their applications. Lecture notes in electrical engineering, vol 36. Springer Netherlands, pp 43–56. doi10.1007/978-1-4020-9714-0_3

    Google Scholar 

  25. Medina J et al (2015) CONTREX system metamodel. Technical report. https://contrex.offis.de/home/images/publicdeliverables/Deliverable%20D2.1.1%20v1.0.pdf

  26. Mura M, Murillo L, Prevostini M (2008) Model-based design space exploration for RTES with SysML and MARTE. In: Forum on specification, verification and design languages, FDL 2008, pp 203–208. doi10.1109/FDL.2008.4641446

    Google Scholar 

  27. Nicolescu G, Mosterman P (2009) Model-based design for embedded systems. Computational analysis, synthesis, and design of dynamic systems. CRC Press, Boca Raton

    Google Scholar 

  28. OFFIS (2015) CONTREX FP7 project website. https://contrex.offis.de/home/

  29. OMG (2011) OMG UML profile for MARTE, modelling and analysis of real-time embedded systems, Version 1.1. Available at www.omg.org

  30. OMG (2015) OMG unified modeling language. Available at www.omg.org

  31. Palencia JC, Gutierrez JJ, Gonzalez Harbour M (1998) Best-case analysis for improving the worst-case schedulability test for distributed hard real-time systems. In: Proceedings of the 10th Euromicro workshop on real-time systems, pp 35–44. doi10.1109/EMWRTS.1998.684945

    Google Scholar 

  32. Panunzio M, Vardanega T (2009) On component-based development and high-integrity real-time systems. In: IEEE 19th international conference on embedded and real-time computing systems and applications

    Google Scholar 

  33. Peñil P, Posadas H, Nicolás A, Villar E (2012) Automatic synthesis from UML/MARTE models using channel semantics. In: Proceedings of the 5th international workshop on model based architecting and construction of embedded systems, ACES-MB ’12. ACM, New York, pp 49–54. doi10.1145/2432631.2432640

    Google Scholar 

  34. Peñil P, Posadas H, Medina J, Villar E (2015) UML-based single-source approach for evaluation and optimization of mixed-critical embedded systems. In: DCIS’15

    Google Scholar 

  35. Piel E, Atitallah RB, Marquet P, Meftali S, Niar S, Etien A, Dekeyser J, Boulet P (2008) Gaspard2: from MARTE to SystemC simulation. In: Design, automation and test in Europe (DATE 08)

    Google Scholar 

  36. Pop A, Akhvlediani D, Fritzson P (2007) Integrated UML and modelica system modeling with modelicaml in Eclipse. In: Proceedings of the 11th IASTED international conference on software engineering and applications, SEA ’07. ACTA Press, Anaheim, pp 557–563

    Google Scholar 

  37. Posadas H, Peñil P, Nicolás A, Villar E (2014) Automatic synthesis of embedded {SW} for evaluating physical implementation alternatives from UML/MARTE models supporting memory space separation. Microelectron J 45(10):1281–1291. doi10.1016/j.mejo.2013.11.003. DCIS’12 Special Issue

    Google Scholar 

  38. Szyperski C (2002) Component software: beyond object-oriented programming. Addison Wesley, London

    MATH  Google Scholar 

  39. TILLOO R (2015) What is incremental model in software engineering? It’s advantages and disadvantages. Available in http://www.technotrice.com/incremental-model-in-software-engineering

  40. Truyen F (2006) The fast guide to model driven architecture – the basics of model driven architecture. http://www.omg.org/mda/mda_files/Cephas_MDA_Fast_Guide.pdf

  41. University of Cantabria: CONTREX Eclipse plug-in website. http://contrep.teisa.unican.es. Accessed 04 Oct 2016

  42. University of Cantabria: UML/MARTE single-source methodology website. http://umlmarte.teisa.unican.es. Accessed: 04 Oct 2016

  43. University of Cantabria: VIPPE website. http://vippe.teisa.unican.es. Accessed 04 Oct 2016

  44. University of Cantabria (2016) eSSYN website. http://eSSYN.com

  45. Vidal J, de Lamotte F, Gogniat G, Soulard P, Diguet JP (2009) A co-design approach for embedded system modeling and code generation with UML and MARTE. In: Design, automation test in Europe conference exhibition. DATE ’09, pp 226–231. doi10.1109/DATE.2009.5090662

    Google Scholar 

  46. Woods E, Rozanski N (2005) Using architectural perspectives. In: 2014 IEEE/IFIP conference on software architecture, vol 0, pp 25–35. doi10.1109/WICSA.2005.74

    Google Scholar 

Download references

Acknowledgements

This chapter has been partially funded by the European FP7 611146 (CONTREX) project and by the Spanish TEC 2014-58036-C4-3-R (REBECCA) project. We are thankful to the OFFIS team in CONTREX for their support and for all the documentation and material on their quadcopter implementation. This includes the quadcopter picture of the chapter.

Author information

Authors and Affiliations

  1. GESE Group, TEISA Department, ETSIIT, Universidad de Cantabria, Av. Castros s/n, 39005, Santander, Cantabria, Spain

    Fernando Herrera & Eugenio Villar

  2. Software Engineering and Real-Time Group, University of Cantabria, Av. Castros s/n, Santander, Cantabria, Spain

    Julio Medina

Authors
  1. Fernando Herrera
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Julio Medina
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eugenio Villar
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Julio Medina .

Editor information

Editors and Affiliations

  1. Computer Science and Engineering, Seoul National University, Seoul, Korea (Republic of)

    Soonhoi Ha

  2. Computer Science, Friedrich-Alexander-Universität Computer Science, Nürnberg, Germany

    Jürgen Teich

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer Science+Business Media Dordrecht

About this entry

Cite this entry

Herrera, F., Medina, J., Villar, E. (2016). Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design Approach. In: Ha, S., Teich, J. (eds) Handbook of Hardware/Software Codesign. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-7358-4_6-1

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-7358-4_6-1

  • Received:

  • Accepted:

  • Published:

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-017-7358-4

  • Online ISBN: 978-94-017-7358-4

  • eBook Packages: Springer Reference EngineeringReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation