Skip to main content
SpringerLink
Log in

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

  • Reference work entry
  • First Online:
Handbook of Hardware/Software Codesign

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 to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 699.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 949.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

Abbreviations

BCET:

Best-Case Execution Time

BSP:

Board Support Package

CPS:

Cyber-Physical System

DSE:

Design Space Exploration

DSL:

Domain-Specific Language

EDF:

Earliest Deadline First

EML:

Execution Modeling Level

ESL:

Electronic System Level

FPGA:

Field-Programmable Gate Array

GME:

Generic Modeling Environment

HLS:

High-Level Synthesis

HRM:

Hardware Resource Modeling

HSCD:

Hardware/Software Codesign

ISA:

Instruction-Set Architecture

M2M:

Model-to-Model

MARTE:

Modeling and Analysis of Real-Time Embedded Systems

MCS:

Mixed-Criticality System

MDA:

Model-Driven Architecture

MPSoC:

Multi-Processor System-on-Chip

NFP:

Non-Functional Property

OMG:

Object Management Group

OS:

Operating System

PIM:

Platform Independent Model

PVT:

Programmers View Time

RR:

Round Robin

RTOS:

Real-Time Operating System

SLS:

System-Level Synthesis

TLM:

Transaction-Level Model

UML:

Unified Modeling Language

UTP:

Universal Testing Profile

VHDL:

VHSIC Hardware Description Language

VHSIC:

Very High Speed Integrated Circuit

VSL:

Value Specification Language

WCET:

Worst-Case Execution Time

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. doi:10.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. doi:10.1145/384198.384210

    Chapter  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. doi:10.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. doi:10.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. doi:10.1016/j.sysarc.2013.10.003

    Article  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. doi:10.1145/2764967.2784777

    Chapter  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

    Google Scholar 

  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. doi:10.1007/978-3-642-21292-5_3

    Chapter  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. doi:10.1145/1151074.1151077

    Article  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. doi:10.1145/216591.216611

    Chapter  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. doi:10.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. doi:10.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. doi:10.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. doi:10.1145/2432631.2432640

    Chapter  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. doi:10.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. doi:10.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. doi:10.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. Department of Computer Science and Engineering, Seoul National University, Seoul, Korea (Republic of)

    Soonhoi Ha

  2. Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Erlangen, Germany

    Jürgen Teich

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer Science+Business Media Dordrecht

About this entry

Cite this entry

Herrera, F., Medina, J., Villar, E. (2017). 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-7267-9_6

Download citation

Publish with us

Policies and ethics

Search

Navigation