Software & Systems Modeling

, Volume 17, Issue 1, pp 343–361 | Cite as

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

  • Fabíola Gonçalves C. Ribeiro
  • Carlos E. Pereira
  • Achim Rettberg
  • Michel S. Soares
Regular Paper

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.

Keywords

Real-time systems Requirements engineering UML  SysML MARTE 

Notes

Acknowledgments

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

References

  1. 1.
    Agarwal, R., Sinha, A.P.: Object-oriented modeling with UML: a study of developers’ perceptions. Commun. ACM 46(9), 248–256 (2003)CrossRefGoogle Scholar
  2. 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)Google Scholar
  3. 3.
  4. 4.
    Bair, L.J., Tolk, A.: Towards a unified theory of validation. Proc. Simul. Conf. 2013(Winter), 1245–1256 (2013)Google Scholar
  5. 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. 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)Google Scholar
  7. 7.
    David, P., Idasiak, V., Kratz, F.: Reliability study of complex physical systems using SysML. Reliab. Eng. Syst. Saf. 95, 431–450 (2010)CrossRefGoogle Scholar
  8. 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)Google Scholar
  9. 9.
    Dhavleesh, R., Rajesh, B., Maninder, S.: Software clone detection: a systematic review. Inf. Softw. Technol. 55(7), 1165–1199 (2013)CrossRefGoogle Scholar
  10. 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)Google Scholar
  11. 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)Google Scholar
  12. 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)CrossRefGoogle Scholar
  13. 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)Google Scholar
  14. 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)Google Scholar
  15. 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)Google Scholar
  16. 16.
    Gomez, C., DeAntoni, J., Mallet, F.: Multi-view power modeling based on UML, MARTE and SysML. In: EUROMICRO-SEAA, pp. 17–20 (2012)Google Scholar
  17. 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)Google Scholar
  18. 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)Google Scholar
  19. 19.
    IEEE Std 830-1998. IEEE recommended practice for software requirements specifications, pp. 1–40 (1998)Google Scholar
  20. 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)Google Scholar
  21. 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)Google Scholar
  22. 22.
    Kumar, B., Jasperneite, J.: UML profiles for modeling real-time communication protocols. J Object Technol. 9, 178–198 (2010)CrossRefGoogle Scholar
  23. 23.
    Laplante, P.: Real-time Systems Design and Analysis, 3rd edn. Wiley India Pvt. Limited, New York (2006)Google Scholar
  24. 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)Google Scholar
  25. 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)Google Scholar
  26. 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)Google Scholar
  27. 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)Google Scholar
  28. 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)Google Scholar
  29. 29.
    OMG, M.: UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems Version, 1.1. Technical report, OMG. (2011a)Google Scholar
  30. 30.
    OMG, S.: Systems modeling language (sysml) specification—version 1.1. Technical report (2010)Google Scholar
  31. 31.
    OMG, U.: Unified modeling language—version 2.3. Technical report. version 2.3. (2011b)Google Scholar
  32. 32.
    Parviainen, P., Tihinen, M., Lormanms, M., Solingen, R.: Requirements engineering: dealing with the complexity of sociotechnical systems development. IdeaGroup Inc. Chapter 1. (2004)Google Scholar
  33. 33.
    Pinheiro, F.: Perspectives on Software Requirements, Chapter Requirements Traceability, pp. 93–113. Springer, Berlin (2003)Google Scholar
  34. 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)Google Scholar
  35. 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)Google Scholar
  36. 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)Google Scholar
  37. 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)Google Scholar
  38. 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)Google Scholar
  39. 39.
    Roger, P.R., Elena, S.P., William, R.M.: Traffic Engineering, 3rd edn. Prentice Hall, New Jersey (2003)Google Scholar
  40. 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)CrossRefGoogle Scholar
  41. 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)Google Scholar
  42. 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)Google Scholar
  43. 43.
    Soares, M.S.: A framework for multi-layered requirements documentation and analysis. In: Computer Software and Applications Conference (COMPSAC), pp. 308–313 (2011)Google Scholar
  44. 44.
    Soares, M.S., Vrancken, J.: Requirements specification and modeling through SysML. In: International Conference on Systems, Man and Cybernetics, pp. 1735–1740 (2007)Google Scholar
  45. 45.
    Soares, M.S., Vrancken, J.: Model-driven user requirements specification using SysML. J. Softw. 3, 57–69 (2008)CrossRefGoogle Scholar
  46. 46.
    Som, S.S.: Supporting use case based requirements engineering. Inf. Softw. Technol. 48, 43–58 (2006)CrossRefGoogle Scholar
  47. 47.
    Valles-Barajas, F.: A Formal model for the requirements diagrams of SysML. IEEE Latin Am. Trans. 8(3), 259–268 (2010)Google Scholar
  48. 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)Google Scholar
  49. 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)CrossRefGoogle Scholar
  50. 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)Google Scholar
  51. 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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  • Fabíola Gonçalves C. Ribeiro
    • 1
  • Carlos E. Pereira
    • 2
  • Achim Rettberg
    • 3
  • Michel S. Soares
    • 4
  1. 1.Federal Institute GoianoCatalãoBrazil
  2. 2.Federal University of Rio Grande do SulPorto AlegreBrazil
  3. 3.Carl von Ossietzky Universitt OldenburgOldenburgGermany
  4. 4.Federal University of SergipeSão CristóvãoBrazil

Personalised recommendations