Experiences of Applying UML/MARTE on Three Industrial Projects

  • Muhammad Zohaib Iqbal
  • Shaukat Ali
  • Tao Yue
  • Lionel Briand
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7590)


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.


UML MARTE Real-time Embedded Systems Architecture Modeling Model-based Testing 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    OMG: Unified Modeling Language Superstructure, Version 2.3 (2010),
  2. 2.
    Artemis Joint Undertaking - The public private partnership for R & D Embedded Systems,
  3. 3.
    OMG: Modeling and Analysis of Real-time and Embedded systems (MARTE), Version 1.0 (2009),
  4. 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. 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. 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. 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. 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. 9.
  10. 10.
  11. 11.
  12. 12.
  13. 13.
    UML Profile for Schedulability, Performance and Time (SPT),
  14. 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. 15.
  16. 16.
    Yedduladoddi, R.: Aspect Oriented Software Development: An Approach to Composing UML Design Models. VDM Verlag, Dr. Müller (2009)Google Scholar
  17. 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. 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. 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)CrossRefGoogle Scholar
  20. 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. 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. 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. 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)CrossRefGoogle Scholar
  24. 24.
    OMG: Concrete Syntax for UML Action Language (Action Language for Foundational UML - ALF), Version 1.0 - Beta 1 (2010),
  25. 25.
    America, P., Thiel, S., Ferber, S., Mergel, M.: Introduction to Domain Analysis (2001),
  26. 26.
  27. 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. 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)CrossRefGoogle Scholar
  29. 29.
    Weilkiens, T.: Systems Engineering with SysML/UML: Modeling, Analysis, Design. Tim Weilkiens (2008)Google Scholar
  30. 30.
  31. 31.
  32. 32.
  33. 33.
  34. 34.
    Enterprise Architect,
  35. 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)CrossRefGoogle Scholar
  36. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Muhammad Zohaib Iqbal
    • 1
    • 2
  • Shaukat Ali
    • 1
  • Tao Yue
    • 1
  • Lionel Briand
    • 1
    • 3
  1. 1.Simula Research LaboratoryCertus Center for V & VLysakerNorway
  2. 2.Department of InformaticsUniversity of OsloNorway
  3. 3.SnT CenterUniversity of LuxembourgLuxembourg

Personalised recommendations