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)

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.

Keywords

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    OMG: Unified Modeling Language Superstructure, Version 2.3 (2010), http://www.omg.org/spec/UML/2.3/
  2. 2.
    Artemis Joint Undertaking - The public private partnership for R & D Embedded Systems, http://artemis-ju.eu/embedded_systems
  3. 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. 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), http://www.omg.org/technology/documents/profile_catalog.htm
  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), http://www.omg.org/spec/ALF/
  25. 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. 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, http://www.sparxsystems.com/
  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