Skip to main content

Experiences of Applying UML/MARTE on Three Industrial Projects

  • Conference paper
Model Driven Engineering Languages and Systems (MODELS 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7590))

Abstract

MARTE (Modeling and Analysis of Real-Time and Embedded Systems) is a UML profile, which has been developed to model concepts specific to Real-Time and Embedded Systems (RTES). In previous years, we have applied UML/MARTE to three distinct industrial problems in various industry sectors: architecture modeling and configuration of large-scale and highly configurable integrated control systems, model-based robustness testing of communication-intensive systems, and model-based environment simulator generation of large-scale RTES for testing. In this paper, we report on our experiences of solving these problems by applying UML/MARTE on four industrial case studies. Based on our common experiences, we derive a framework to help practitioners for future applications of UML/MARTE. The framework provides a set of detailed guidelines on how to apply MARTE in industrial contexts and will help reduce the gap between the modeling standards and industrial needs.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. OMG: Unified Modeling Language Superstructure, Version 2.3 (2010), http://www.omg.org/spec/UML/2.3/

  2. Artemis Joint Undertaking - The public private partnership for R & D Embedded Systems, http://artemis-ju.eu/embedded_systems

  3. OMG: Modeling and Analysis of Real-time and Embedded systems (MARTE), Version 1.0 (2009), http://www.omg.org/spec/MARTE/1.0/

  4. Demathieu, S., Thomas, A.F., Andre, A.C., Gerard, S., Terrier, F.: First Experiments Using the UML Profile for MARTE. In: Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing, pp. 50–57. IEEE (2008)

    Google Scholar 

  5. Briand, L., Falessi, D., Nejati, S., Sabetzadeh, M., Yue, T.: Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, pp. 800–816. Springer, Heidelberg (2012)

    Google Scholar 

  6. Yue, T., Briand, L., Selic, B., Gan, Q.: Experiences with Model-based Product Line Engineering for Developing a Family of Integrated Control Systems: an Industrial Case Study. Simula Research Laboratory, Technical Report (2012-06) (2012)

    Google Scholar 

  7. Espinoza, H., Richter, K., Gérard, S.: Evaluating MARTE in an Industry-Driven Environment: TIMMO’s Challenges for AUTOSAR Timing Modeling. In: Proceedings of Design Automation and Test in Europe (DATE), MARTE (2008)

    Google Scholar 

  8. Middleton, S.E., Servin, A., Zlatev, Z., Nasser, B., Papay, J., Boniface, M.: Experiences using the UML profile for MARTE to stochastically model post-production interactive applications. In: eChallenges 2010, pp. 1–8 (2010)

    Google Scholar 

  9. FMC Technologies, http://www.fmctechnologies.com

  10. Cisco Inc., http://www.cisco.com

  11. WesternGeco, http://www.slb.com/services/westerngeco.aspx

  12. Tomra AS, http://www.tomra.no

  13. UML Profile for Schedulability, Performance and Time (SPT), http://www.omg.org/technology/documents/profile_catalog.htm

  14. Behjati, R., Yue, T., Briand, L., Selic, B.: SimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems Technical Report 2011-14 (ver.2), Simula Research Laboratory (2012)

    Google Scholar 

  15. IBM RSA, http://www.ibm.com/software/awdtools/architect/swarchitect/

  16. Yedduladoddi, R.: Aspect Oriented Software Development: An Approach to Composing UML Design Models. VDM Verlag, Dr. Müller (2009)

    Google Scholar 

  17. Ali, S., Briand, L.C., Hemmati, H.: Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems. Simula Research Laboratory, Technical Report (2010-03) (2010)

    Google Scholar 

  18. Iqbal, M.Z., Arcuri, A., Briand, L.: Code Generation from UML/MARTE/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software. Simula Research Laboratory, Technical Report (2011-04) (2011)

    Google Scholar 

  19. Arcuri, A., Iqbal, M.Z., Briand, L.: Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing. In: Petrenko, A., Simão, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol. 6435, pp. 95–110. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  20. Iqbal, M.Z., Arcuri, A., Briand, L.: Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software. In: International Symposium on Software Testing and Analysis (ISSTA). ACM (2012)

    Google Scholar 

  21. Iqbal, M.Z., Arcuri, A., Briand, L.: Automated System Testing of Real-Time Embedded Systems Based on Environment Models. Simula Research Laboratory. Technical Report (2011-19) (2011)

    Google Scholar 

  22. Iqbal, M.Z., Arcuri, A., Briand, L.: Combining Search-based and Adaptive Random Testing Strategies for Environment Model-based Testing of Real-time Embedded Systems. In: Symposium on Search-based Software Engineering. Springer (2012)

    Google Scholar 

  23. Iqbal, M.Z., Arcuri, A., Briand, L.: Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 286–300. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  24. OMG: Concrete Syntax for UML Action Language (Action Language for Foundational UML - ALF), Version 1.0 - Beta 1 (2010), http://www.omg.org/spec/ALF/

  25. America, P., Thiel, S., Ferber, S., Mergel, M.: Introduction to Domain Analysis (2001), http://www.esi.es/esaps/public-pdf/CWD121-20-06-01.pdf

  26. Conceptual Model: http://en.wikipedia.org/wiki/Conceptual_model_computer_science

  27. Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process. Prentice Hall PTR, Upper Saddle River (2001)

    Google Scholar 

  28. Lagarde, F., Espinoza, H., Terrier, F., André, C., Gérard, S.: Leveraging Patterns on Domain Models to Improve UML Profile Definition. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 116–130. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  29. Weilkiens, T.: Systems Engineering with SysML/UML: Modeling, Analysis, Design. Tim Weilkiens (2008)

    Google Scholar 

  30. MARTE Tools, http://www.omgmarte.org/node/31

  31. IBM Rational Rhapsody, http://www.ibm.com/software/awdtools/rhapsody/

  32. Papyrus UML, http://www.papyrusuml.org

  33. MagicDraw, http://www.magicdraw.com/

  34. Enterprise Architect, http://www.sparxsystems.com/

  35. Grossman, M., Aronson, J.E., McCarthy, R.V.: Does UML make the grade? Insights from the software development community. Information and Software Technology 47, 383–397 (2005)

    Article  Google Scholar 

  36. Suess, J.G., Fritzson, P., Pop, A.: The Impreciseness of UML and Implications for ModelicaML. In: Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT 2008), pp. 17–26. Linköping University (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Iqbal, M.Z., Ali, S., Yue, T., Briand, L. (2012). Experiences of Applying UML/MARTE on Three Industrial Projects. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2012. Lecture Notes in Computer Science, vol 7590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33666-9_41

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33666-9_41

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33665-2

  • Online ISBN: 978-3-642-33666-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics