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
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
Ambler SW (2015) Single source information: an Agile best practice for effective documentation. http://agilemodeling.com/essays/singleSourceInformation.htm
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
Bailey B, Martin G, Piziali A (2007) ESL design and verification: a prescription for electronic system level methodology. Morgan Kaufmann/Elsevier, Amsterdam/Boston
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
Burns A, Davis R (2015) Mixed-criticality systems: a review, 6th edn. Technical report, Department of Computer Science, University of York
Cabot J (2014) Single-source modeling for embedded systems with UML/MARTE. http://modeling-languages.com/modeling-embedded-systems-uml-marte
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)
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
Garcia A, Medina J: MARTE2MAST. http://mast.unican.es/umlmast/marte2mast/
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
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
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
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
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
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)
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
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
ITRS: International roadmap of semiconductors. http://www.itrs.net/
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
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
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
Lemke M (2012) Mixed criticality systems. Report from the workshop on mixed criticality systems. Technical report, Information Society and Media Directorate-General
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
Medina J et al (2015) CONTREX system metamodel. Technical report. https://contrex.offis.de/home/images/publicdeliverables/Deliverable%20D2.1.1%20v1.0.pdf
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
Nicolescu G, Mosterman P (2009) Model-based design for embedded systems. Computational analysis, synthesis, and design of dynamic systems. CRC Press, Boca Raton
OFFIS (2015) CONTREX FP7 project website. https://contrex.offis.de/home/
OMG (2011) OMG UML profile for MARTE, modelling and analysis of real-time embedded systems, Version 1.1. Available at www.omg.org
OMG (2015) OMG unified modeling language. Available at www.omg.org
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
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
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
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
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)
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
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
Szyperski C (2002) Component software: beyond object-oriented programming. Addison Wesley, London
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
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
University of Cantabria: CONTREX Eclipse plug-in website. http://contrep.teisa.unican.es. Accessed 04 Oct 2016
University of Cantabria: UML/MARTE single-source methodology website. http://umlmarte.teisa.unican.es. Accessed: 04 Oct 2016
University of Cantabria: VIPPE website. http://vippe.teisa.unican.es. Accessed 04 Oct 2016
University of Cantabria (2016) eSSYN website. http://eSSYN.com
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
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
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
Corresponding author
Editor information
Editors and Affiliations
Rights 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