Skip to main content
SpringerLink
Log in

Model-based requirements specification of real-time systems with UML, SysML and MARTE

  • Regular Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

Activities of specification, analysis and design of real-time systems (RTS) are highly dependent on an effective understanding of the application domain and on the thorough representation of their basic requirements. Model-based approaches using modeling languages such as UML are often applied to contribute to handle complexity of RTS development. However, UML alone does not completely represent important features associated with these systems, such as relationship with hardware elements and an effective representation of timing constraints. This article explores the combined use of UML and its profiles SysML and MARTE for modeling hardware and software requirements of RTS, with application to a case of controlling urban road traffic. The SysML profile alone does not present the representation of temporal, behavioral and performance requirements. The MARTE profile provides key resources to specify non-functional requirements for RTS, in addition to a clear description of the various relevant aspects of requirements definition of RTS, as for instance, temporal aspects and constraints. The main objective is to present the combined application of SysML with MARTE stereotypes, which enables the specification of different features of individual software requirements. Thus, in addition to the factors mentioned above, we can say that the proposed approach has an important role to specify RTS at different levels of detail and levels of abstraction.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14

Similar content being viewed by others

References

  1. Agarwal, R., Sinha, A.P.: Object-oriented modeling with UML: a study of developers’ perceptions. Commun. ACM 46(9), 248–256 (2003)

    Article  Google Scholar 

  2. Albinet, A., Boulanger, J.-L., Dubois, H., Peraldi-Frati, M.-A., Sorel, Y., Van, Q.-D.: Model-based methodology for requirements traceability in embedded systems. In: Proceedings of 3rd European Conference on Model Driven Architecture Foundations and Applications (2007)

  3. Argo (2015). http://argouml.tigris.org/

  4. Bair, L.J., Tolk, A.: Towards a unified theory of validation. Proc. Simul. Conf. 2013(Winter), 1245–1256 (2013)

    Google Scholar 

  5. Bantegnie, E.: INTERoperable embedded systems toolchain for enhanced design, prototyping and code generation. In: http://www.interested-ip.eu/project-description-objectives.html (2011)

  6. Belategi, L., Sagardui, G., Etxeberria, L.: MARTE mechanisms to model variability when analyzing embedded software product lines. In: 14th Proceedings of the International Conference on Software Product Lines, pp. 466–470 (2010)

  7. David, P., Idasiak, V., Kratz, F.: Reliability study of complex physical systems using SysML. Reliab. Eng. Syst. Saf. 95, 431–450 (2010)

    Article  Google Scholar 

  8. Demathieu, S., Thomas, F., Andr, C., Grard, S., Terrier, T.: First experiments Using the UML Profile for MARTE. In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), pp. 50–57. IEEE Computer Society, Silver Spring, MD (2008)

  9. Dhavleesh, R., Rajesh, B., Maninder, S.: Software clone detection: a systematic review. Inf. Softw. Technol. 55(7), 1165–1199 (2013)

    Article  Google Scholar 

  10. Dubois, H., Peraldi-Frati, M., Lakhal, F.: A Model for requirements traceability in a heterogeneous model-based design process: application to automotive embedded systems. In: 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 233–242 (2010)

  11. Ebeid, E., Fummi, F., Quaglia, D., Stefanni, F.: Refinement of UML/MARTE models for the design of networked embedded systems. In: Europe Conference & Exhibition Design, Automation & Test, pp. 1072–1077 (2012)

  12. Ebeid, E.S.M., Fummi, F., Quaglia, D.: Model-driven design of network aspects of distributed embedded systems. IEEE Trans. CAD Integr. Circuits Syst. 34(4), 603–614 (2015)

    Article  Google Scholar 

  13. Espinoza, H., Richter, K., Gérard, S.: Evaluating MARTE in an industry-driven environment: TIMMOś challenges for AUTOSAR timing modeling. In: Conference on Design, Automation and Test in Europe (DATE), MARTE Workshop, volume 07002 (2008)

  14. Espinoza, H., Cancila, D., Selic, B., Gérard, S.: Challenges in combining SysML and MARTE for model-based design of embedded systems. In: Paige, R., Hartman, A., Rensink, A. (eds.) Model Driven Architecture—Foundations and Applications. Lecture Notes in Computer Science, vol. 5562, pp. 98–113. Springer, Berlin (2009)

  15. Fishwick, P., Brailsford, S., Taylor, S. J. E., Tolk, A., Uhrmacher, A.: Modeling for everyone: emphasizing the role of modeling in stem education. In: Proceedings of the 2014 Winter Simulation Conference, WSC ’14, pp. 2786–2796 (2014)

  16. Gomez, C., DeAntoni, J., Mallet, F.: Multi-view power modeling based on UML, MARTE and SysML. In: EUROMICRO-SEAA, pp. 17–20 (2012)

  17. Heisel, M., Cote, I.: A UML profile and tool support for evolutionary requirements engineering. In: 15th Software Maintenance and Reengineering, pp. 161–179 (2011)

  18. Helming, J., Schneider, F., Haeger, M., Kaminski, C., Bruegge, B., Berenbach, B.: Towards a unified requirements modeling language. In: 15th International Workshop on Requirements Engineering Visualization (REV), pp. 53–57 (2010)

  19. IEEE Std 830-1998. IEEE recommended practice for software requirements specifications, pp. 1–40 (1998)

  20. 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. Technical Report 2011-04, Version 2, Simula Research Laboratory, Technical Report (2011-04), Version 2 (2011)

  21. Iqbal, M.Z., Ali, S., Yue, T., Briand, L.: Experiences of applying UML/MARTE on three industrial projects. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS’12, pp. 642–658 (2012)

  22. Kumar, B., Jasperneite, J.: UML profiles for modeling real-time communication protocols. J Object Technol. 9, 178–198 (2010)

    Article  Google Scholar 

  23. Laplante, P.: Real-time Systems Design and Analysis, 3rd edn. Wiley India Pvt. Limited, New York (2006)

    Google Scholar 

  24. Li, L., Ma, L., Wang, N., Yang, Q.: Modeling method of military aircraft support process based SysML. In: International Conference in Reliability, Maintainability and Safety (ICRMS), pp. 1247 – 1251. (2011)

  25. Linhares, R.S., Oliveira, R.S., Farines, J.M., Vernadat, F.: Introducing the modeling and verification process in SysML. In: Conference on Emerging Technologies and Factory Automation, pp. 344–351 (2007)

  26. Marques, M. R.S., Siegert, E., Brisolara, L.: Integrating UML, MARTE and SysML to improve requirements specification and traceability in the embedded domain. In: 12th IEEE International Conference on Industrial Informatics (INDIN), pp. 176–181 (2014)

  27. Meng, C., Kim, S., Son, Y.-J., Kubota, C.: A SysML-based simulation model aggregation framework for seedling propagation system. Proc. Simul. Conf. 2013(Winter), 2180–2191 (2013)

  28. Mura, M., Murillo, L.G., Prevostini, M.: Model-based design space exploration for RTES with SysML and MARTE. In: Forum on Specification, Verification and Design Languages (FDL), pp. 203–208. (2008)

  29. OMG, M.: UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems Version, 1.1. Technical report, OMG. (2011a)

  30. OMG, S.: Systems modeling language (sysml) specification—version 1.1. Technical report (2010)

  31. OMG, U.: Unified modeling language—version 2.3. Technical report. version 2.3. (2011b)

  32. Parviainen, P., Tihinen, M., Lormanms, M., Solingen, R.: Requirements engineering: dealing with the complexity of sociotechnical systems development. IdeaGroup Inc. Chapter 1. (2004)

  33. Pinheiro, F.: Perspectives on Software Requirements, Chapter Requirements Traceability, pp. 93–113. Springer, Berlin (2003)

    Google Scholar 

  34. Quadri, I.R.: MARTE based modeling approach for partial dynamic reconfigurable FPGAs. In: Workshop on Embedded Systems for Real-Time Multimedia, pp. 47–52 (2008)

  35. Quadri, I.R., Soares, L., Gray, I., Indrusiak, L.S., Bagnato, A., Sadovykh, A.: MADES: a SysML/MARTE high level methodology for real-time and embedded systems . In: 7th International conference on High-Performance and Embedded Architectures and Compilers, pp. 1–2 (2012a)

  36. Quadri, I.R., Brosse, E., Gray, I., Matragkas, N.D., Indrusiak, L.S., Rossi, M., Bagnato, A., Sadovykh, A.: MADES FP7 EU Project: effective high level SysML/MARTE methodology for real-time and embedded avionics systems. In: 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), pp. 1–8 (2012b)

  37. Ribeiro, F.G.C., Soares, M.S.: An approach for modeling real-time requirements with SysML and MARTE stereotypes. In: ICEIS 2013—Proceedings of the 15th International Conference on Enterprise Information Systems, vol. 2, pp. 70–81 (2013)

  38. Robbins, J.E., Hilbert, D.M., Redmiles, D.F. : Theories, methods and tools in program comprehension: past, present and future. In: 13th International Workshop on Program Comprehension (IWPC), pp. 181–191 (2005)

  39. Roger, P.R., Elena, S.P., William, R.M.: Traffic Engineering, 3rd edn. Prentice Hall, New Jersey (2003)

    Google Scholar 

  40. Shousha, M., Briand, L.C., Labiche, Y.: A UML/MARTE model analysis method for uncovering scenarios leading to starvation and deadlocks in concurrent systems. IEEE Trans. Softw. Eng. 38(2), 354–374 (2012)

    Article  Google Scholar 

  41. Shuman, E.A.: Understanding executable architectures through an examination of language model elements. In: Proceedings of the 2010 Summer Computer Simulation Conference, SCSC ’10, pp. 483–497 (2010)

  42. Silvestre, E.A., Soares, M.S.: Modeling road traffic signals control using UML and the MARTE profile. In: 12th Computational Science and Its Applications (ICCSA 2012), pp. 1–15 (2012)

  43. Soares, M.S.: A framework for multi-layered requirements documentation and analysis. In: Computer Software and Applications Conference (COMPSAC), pp. 308–313 (2011)

  44. Soares, M.S., Vrancken, J.: Requirements specification and modeling through SysML. In: International Conference on Systems, Man and Cybernetics, pp. 1735–1740 (2007)

  45. Soares, M.S., Vrancken, J.: Model-driven user requirements specification using SysML. J. Softw. 3, 57–69 (2008)

    Article  Google Scholar 

  46. Som, S.S.: Supporting use case based requirements engineering. Inf. Softw. Technol. 48, 43–58 (2006)

    Article  Google Scholar 

  47. Valles-Barajas, F.: A Formal model for the requirements diagrams of SysML. IEEE Latin Am. Trans. 8(3), 259–268 (2010)

  48. Von, B.M., Braun, P., Schroder, C.: Model based requirements engineering for embedded software. In: 10th IEEE International Requirements Engineering Conference, p. 92 (2002)

  49. Wilde, N., Buckellew, M., Page, H., Rajlich, V., Pounds, L.: A comparison of methods for locating features in legacy software. J. Syst. Softw. 65, 104–114 (2003)

    Article  Google Scholar 

  50. Xu, J., Li, T., Xie, Z., Gao, T.: Use cases and feedback in functional requirements analysis. In: Information Technology, Computer Engineering and Management Sciences (ICM), vol. 2, pp. 54–57 (2011)

  51. Zaki, M. Z.M., Jawawi, D.N.A.: Model-based methodology for implementing marte in embedded real-time software. In: IEEE Symposium on Computers & Informatics (ISCI), pp. 536–541 (2011)

Download references

Acknowledgments

The authors would like to thank CNPq (www.cnpq.br) Grant 445500/2014-0 for the financial support.

Author information

Authors and Affiliations

  1. Federal Institute Goiano, Catalão, Brazil

    Fabíola Gonçalves C. Ribeiro

  2. Federal University of Rio Grande do Sul, Porto Alegre, Brazil

    Carlos E. Pereira

  3. Carl von Ossietzky Universitt Oldenburg, Oldenburg, Germany

    Achim Rettberg

  4. Federal University of Sergipe, São Cristóvão, Brazil

    Michel S. Soares

Authors
  1. Fabíola Gonçalves C. Ribeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carlos E. Pereira
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Achim Rettberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Michel S. Soares
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michel S. Soares.

Additional information

Communicated by Prof. Jean-Michel Bruel.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ribeiro, F.G.C., Pereira, C.E., Rettberg, A. et al. Model-based requirements specification of real-time systems with UML, SysML and MARTE. Softw Syst Model 17, 343–361 (2018). https://doi.org/10.1007/s10270-016-0525-1

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-016-0525-1

Keywords

Search

Navigation