{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T08:38:01Z","timestamp":1773909481715,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,4,7]],"date-time":"2016-04-07T00:00:00Z","timestamp":1459987200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s10270-016-0525-1","type":"journal-article","created":{"date-parts":[[2016,4,7]],"date-time":"2016-04-07T06:56:44Z","timestamp":1460012204000},"page":"343-361","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Model-based requirements specification of real-time systems with UML, SysML and MARTE"],"prefix":"10.1007","volume":"17","author":[{"given":"Fab\u00edola Gon\u00e7alves C.","family":"Ribeiro","sequence":"first","affiliation":[]},{"given":"Carlos E.","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"Achim","family":"Rettberg","sequence":"additional","affiliation":[]},{"given":"Michel S.","family":"Soares","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,7]]},"reference":[{"issue":"9","key":"525_CR1","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1145\/903893.903944","volume":"46","author":"R Agarwal","year":"2003","unstructured":"Agarwal, R., Sinha, A.P.: Object-oriented modeling with UML: a study of developers\u2019 perceptions. Commun. ACM 46(9), 248\u2013256 (2003)","journal-title":"Commun. ACM"},{"key":"525_CR2","unstructured":"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)"},{"key":"525_CR3","unstructured":"Argo (2015). http:\/\/argouml.tigris.org\/"},{"issue":"Winter","key":"525_CR4","first-page":"1245","volume":"2013","author":"LJ Bair","year":"2013","unstructured":"Bair, L.J., Tolk, A.: Towards a unified theory of validation. Proc. Simul. Conf. 2013(Winter), 1245\u20131256 (2013)","journal-title":"Proc. Simul. Conf."},{"key":"525_CR5","unstructured":"Bantegnie, E.: INTERoperable embedded systems toolchain for enhanced design, prototyping and code generation. In: http:\/\/www.interested-ip.eu\/project-description-objectives.html (2011)"},{"key":"525_CR6","doi-asserted-by":"crossref","unstructured":"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\u2013470 (2010)","DOI":"10.1007\/978-3-642-15579-6_38"},{"key":"525_CR7","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1016\/j.ress.2009.11.015","volume":"95","author":"P David","year":"2010","unstructured":"David, P., Idasiak, V., Kratz, F.: Reliability study of complex physical systems using SysML. Reliab. Eng. Syst. Saf. 95, 431\u2013450 (2010)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"525_CR8","doi-asserted-by":"crossref","unstructured":"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\u201357. IEEE Computer Society, Silver Spring, MD (2008)","DOI":"10.1109\/ISORC.2008.36"},{"issue":"7","key":"525_CR9","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1016\/j.infsof.2013.01.008","volume":"55","author":"R Dhavleesh","year":"2013","unstructured":"Dhavleesh, R., Rajesh, B., Maninder, S.: Software clone detection: a systematic review. Inf. Softw. Technol. 55(7), 1165\u20131199 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"525_CR10","doi-asserted-by":"crossref","unstructured":"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\u2013242 (2010)","DOI":"10.1109\/ICECCS.2010.2"},{"key":"525_CR11","doi-asserted-by":"crossref","unstructured":"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\u20131077 (2012)","DOI":"10.1109\/DATE.2012.6176654"},{"issue":"4","key":"525_CR12","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1109\/TCAD.2015.2394395","volume":"34","author":"ESM Ebeid","year":"2015","unstructured":"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\u2013614 (2015)","journal-title":"IEEE Trans. CAD Integr. Circuits Syst."},{"key":"525_CR13","unstructured":"Espinoza, H., Richter, K., G\u00e9rard, S.: Evaluating MARTE in an industry-driven environment: TIMMO\u015b challenges for AUTOSAR timing modeling. In: Conference on Design, Automation and Test in Europe (DATE), MARTE Workshop, volume 07002 (2008)"},{"key":"525_CR14","doi-asserted-by":"crossref","unstructured":"Espinoza, H., Cancila, D., Selic, B., G\u00e9rard, 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\u2014Foundations and Applications. Lecture Notes in Computer Science, vol. 5562, pp. 98\u2013113. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02674-4_8"},{"key":"525_CR15","doi-asserted-by":"crossref","unstructured":"Fishwick, P., Brailsford, S., Taylor, S. J.\u00a0E., Tolk, A., Uhrmacher, A.: Modeling for everyone: emphasizing the role of modeling in stem education. In: Proceedings of the 2014 Winter Simulation Conference, WSC \u201914, pp. 2786\u20132796 (2014)","DOI":"10.1109\/WSC.2014.7020121"},{"key":"525_CR16","doi-asserted-by":"crossref","unstructured":"Gomez, C., DeAntoni, J., Mallet, F.: Multi-view power modeling based on UML, MARTE and SysML. In: EUROMICRO-SEAA, pp. 17\u201320 (2012)","DOI":"10.1109\/SEAA.2012.66"},{"key":"525_CR17","doi-asserted-by":"crossref","unstructured":"Heisel, M., Cote, I.: A UML profile and tool support for evolutionary requirements engineering. In: 15th Software Maintenance and Reengineering, pp. 161\u2013179 (2011)","DOI":"10.1109\/CSMR.2011.22"},{"key":"525_CR18","doi-asserted-by":"crossref","unstructured":"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\u201357 (2010)","DOI":"10.1109\/REV.2010.5625659"},{"key":"525_CR19","unstructured":"IEEE Std 830-1998. IEEE recommended practice for software requirements specifications, pp. 1\u201340 (1998)"},{"key":"525_CR20","unstructured":"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)"},{"key":"525_CR21","doi-asserted-by":"crossref","unstructured":"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\u201912, pp. 642\u2013658 (2012)","DOI":"10.1007\/978-3-642-33666-9_41"},{"key":"525_CR22","doi-asserted-by":"crossref","first-page":"178","DOI":"10.5381\/jot.2010.9.2.a5","volume":"9","author":"B Kumar","year":"2010","unstructured":"Kumar, B., Jasperneite, J.: UML profiles for modeling real-time communication protocols. J Object Technol. 9, 178\u2013198 (2010)","journal-title":"J Object Technol."},{"key":"525_CR23","volume-title":"Real-time Systems Design and Analysis","author":"P Laplante","year":"2006","unstructured":"Laplante, P.: Real-time Systems Design and Analysis, 3rd edn. Wiley India Pvt. Limited, New York (2006)","edition":"3"},{"key":"525_CR24","doi-asserted-by":"crossref","unstructured":"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 \u2013 1251. (2011)","DOI":"10.1109\/ICRMS.2011.5979460"},{"key":"525_CR25","doi-asserted-by":"crossref","unstructured":"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\u2013351 (2007)","DOI":"10.1109\/EFTA.2007.4416788"},{"key":"525_CR26","doi-asserted-by":"crossref","unstructured":"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\u2013181 (2014)","DOI":"10.1109\/INDIN.2014.6945504"},{"key":"525_CR27","doi-asserted-by":"crossref","unstructured":"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\u20132191 (2013)","DOI":"10.1109\/WSC.2013.6721595"},{"key":"525_CR28","doi-asserted-by":"crossref","unstructured":"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\u2013208. (2008)","DOI":"10.1109\/FDL.2008.4641446"},{"key":"525_CR29","unstructured":"OMG, M.: UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems Version, 1.1. Technical report, OMG. (2011a)"},{"key":"525_CR30","unstructured":"OMG, S.: Systems modeling language (sysml) specification\u2014version 1.1. Technical report (2010)"},{"key":"525_CR31","unstructured":"OMG, U.: Unified modeling language\u2014version 2.3. Technical report. version 2.3. (2011b)"},{"key":"525_CR32","doi-asserted-by":"crossref","unstructured":"Parviainen, P., Tihinen, M., Lormanms, M., Solingen, R.: Requirements engineering: dealing with the complexity of sociotechnical systems development. IdeaGroup Inc. Chapter 1. (2004)","DOI":"10.4018\/978-1-59140-506-1.ch001"},{"key":"525_CR33","first-page":"93","volume-title":"Perspectives on Software Requirements, Chapter Requirements Traceability","author":"F Pinheiro","year":"2003","unstructured":"Pinheiro, F.: Perspectives on Software Requirements, Chapter Requirements Traceability, pp. 93\u2013113. Springer, Berlin (2003)"},{"key":"525_CR34","doi-asserted-by":"crossref","unstructured":"Quadri, I.R.: MARTE based modeling approach for partial dynamic reconfigurable FPGAs. In: Workshop on Embedded Systems for Real-Time Multimedia, pp. 47\u201352 (2008)","DOI":"10.1109\/ESTMED.2008.4696994"},{"key":"525_CR35","doi-asserted-by":"crossref","unstructured":"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\u20132 (2012a)","DOI":"10.1109\/ReCoSoC.2012.6322882"},{"key":"525_CR36","doi-asserted-by":"crossref","unstructured":"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\u20138 (2012b)","DOI":"10.1109\/ReCoSoC.2012.6322882"},{"key":"525_CR37","doi-asserted-by":"crossref","unstructured":"Ribeiro, F.G.C., Soares, M.S.: An approach for modeling real-time requirements with SysML and MARTE stereotypes. In: ICEIS 2013\u2014Proceedings of the 15th International Conference on Enterprise Information Systems, vol.\u00a02, pp. 70\u201381 (2013)","DOI":"10.5220\/0004449800700081"},{"key":"525_CR38","doi-asserted-by":"crossref","unstructured":"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\u2013191 (2005)","DOI":"10.1109\/WPC.2005.38"},{"key":"525_CR39","volume-title":"Traffic Engineering","author":"PR Roger","year":"2003","unstructured":"Roger, P.R., Elena, S.P., William, R.M.: Traffic Engineering, 3rd edn. Prentice Hall, New Jersey (2003)","edition":"3"},{"issue":"2","key":"525_CR40","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1109\/TSE.2010.107","volume":"38","author":"M Shousha","year":"2012","unstructured":"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\u2013374 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"525_CR41","unstructured":"Shuman, E.A.: Understanding executable architectures through an examination of language model elements. In: Proceedings of the 2010 Summer Computer Simulation Conference, SCSC \u201910, pp. 483\u2013497 (2010)"},{"key":"525_CR42","doi-asserted-by":"crossref","unstructured":"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\u201315 (2012)","DOI":"10.1007\/978-3-642-31128-4_1"},{"key":"525_CR43","doi-asserted-by":"crossref","unstructured":"Soares, M.S.: A framework for multi-layered requirements documentation and analysis. In: Computer Software and Applications Conference (COMPSAC), pp. 308\u2013313 (2011)","DOI":"10.1109\/COMPSAC.2011.47"},{"key":"525_CR44","unstructured":"Soares, M.S., Vrancken, J.: Requirements specification and modeling through SysML. In: International Conference on Systems, Man and Cybernetics, pp. 1735\u20131740 (2007)"},{"key":"525_CR45","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4304\/jsw.3.6.57-68","volume":"3","author":"MS Soares","year":"2008","unstructured":"Soares, M.S., Vrancken, J.: Model-driven user requirements specification using SysML. J. Softw. 3, 57\u201369 (2008)","journal-title":"J. Softw."},{"key":"525_CR46","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.infsof.2005.02.006","volume":"48","author":"SS Som","year":"2006","unstructured":"Som, S.S.: Supporting use case based requirements engineering. Inf. Softw. Technol. 48, 43\u201358 (2006)","journal-title":"Inf. Softw. Technol."},{"key":"525_CR47","unstructured":"Valles-Barajas, F.: A Formal model for the requirements diagrams of SysML. IEEE Latin Am. Trans. 8(3), 259\u2013268 (2010)"},{"key":"525_CR48","unstructured":"Von, B.M., Braun, P., Schroder, C.: Model based requirements engineering for embedded software. In: 10th IEEE International Requirements Engineering Conference, p. 92 (2002)"},{"key":"525_CR49","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1016\/S0164-1212(02)00052-3","volume":"65","author":"N Wilde","year":"2003","unstructured":"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\u2013114 (2003)","journal-title":"J. Syst. Softw."},{"key":"525_CR50","doi-asserted-by":"crossref","unstructured":"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.\u00a02, pp. 54\u201357 (2011)","DOI":"10.1109\/ICM.2011.201"},{"key":"525_CR51","doi-asserted-by":"crossref","unstructured":"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\u2013541 (2011)","DOI":"10.1109\/ISCI.2011.5958973"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0525-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0525-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0525-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0525-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T06:55:23Z","timestamp":1748847323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0525-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,7]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["525"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0525-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,7]]}}}