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.
Similar content being viewed by others
References
Agarwal, R., Sinha, A.P.: Object-oriented modeling with UML: a study of developers’ perceptions. Commun. ACM 46(9), 248–256 (2003)
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)
Argo (2015). http://argouml.tigris.org/
Bair, L.J., Tolk, A.: Towards a unified theory of validation. Proc. Simul. Conf. 2013(Winter), 1245–1256 (2013)
Bantegnie, E.: INTERoperable embedded systems toolchain for enhanced design, prototyping and code generation. In: http://www.interested-ip.eu/project-description-objectives.html (2011)
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)
David, P., Idasiak, V., Kratz, F.: Reliability study of complex physical systems using SysML. Reliab. Eng. Syst. Saf. 95, 431–450 (2010)
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)
Dhavleesh, R., Rajesh, B., Maninder, S.: Software clone detection: a systematic review. Inf. Softw. Technol. 55(7), 1165–1199 (2013)
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)
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)
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)
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)
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)
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)
Gomez, C., DeAntoni, J., Mallet, F.: Multi-view power modeling based on UML, MARTE and SysML. In: EUROMICRO-SEAA, pp. 17–20 (2012)
Heisel, M., Cote, I.: A UML profile and tool support for evolutionary requirements engineering. In: 15th Software Maintenance and Reengineering, pp. 161–179 (2011)
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)
IEEE Std 830-1998. IEEE recommended practice for software requirements specifications, pp. 1–40 (1998)
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)
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)
Kumar, B., Jasperneite, J.: UML profiles for modeling real-time communication protocols. J Object Technol. 9, 178–198 (2010)
Laplante, P.: Real-time Systems Design and Analysis, 3rd edn. Wiley India Pvt. Limited, New York (2006)
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)
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)
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)
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)
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)
OMG, M.: UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems Version, 1.1. Technical report, OMG. (2011a)
OMG, S.: Systems modeling language (sysml) specification—version 1.1. Technical report (2010)
OMG, U.: Unified modeling language—version 2.3. Technical report. version 2.3. (2011b)
Parviainen, P., Tihinen, M., Lormanms, M., Solingen, R.: Requirements engineering: dealing with the complexity of sociotechnical systems development. IdeaGroup Inc. Chapter 1. (2004)
Pinheiro, F.: Perspectives on Software Requirements, Chapter Requirements Traceability, pp. 93–113. Springer, Berlin (2003)
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)
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)
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)
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)
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)
Roger, P.R., Elena, S.P., William, R.M.: Traffic Engineering, 3rd edn. Prentice Hall, New Jersey (2003)
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)
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)
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)
Soares, M.S.: A framework for multi-layered requirements documentation and analysis. In: Computer Software and Applications Conference (COMPSAC), pp. 308–313 (2011)
Soares, M.S., Vrancken, J.: Requirements specification and modeling through SysML. In: International Conference on Systems, Man and Cybernetics, pp. 1735–1740 (2007)
Soares, M.S., Vrancken, J.: Model-driven user requirements specification using SysML. J. Softw. 3, 57–69 (2008)
Som, S.S.: Supporting use case based requirements engineering. Inf. Softw. Technol. 48, 43–58 (2006)
Valles-Barajas, F.: A Formal model for the requirements diagrams of SysML. IEEE Latin Am. Trans. 8(3), 259–268 (2010)
Von, B.M., Braun, P., Schroder, C.: Model based requirements engineering for embedded software. In: 10th IEEE International Requirements Engineering Conference, p. 92 (2002)
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)
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)
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)
Acknowledgments
The authors would like to thank CNPq (www.cnpq.br) Grant 445500/2014-0 for the financial support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Prof. Jean-Michel Bruel.
Rights and permissions
About this article
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
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-016-0525-1