{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:50:30Z","timestamp":1740124230591,"version":"3.37.3"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T00:00:00Z","timestamp":1465776000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002765","name":"Bundesministerium fur Wirtschaft und Technologie","doi-asserted-by":"publisher","award":["KF2110104KM4"],"award-info":[{"award-number":["KF2110104KM4"]}],"id":[{"id":"10.13039\/501100002765","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11219-016-9323-9","type":"journal-article","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T07:51:04Z","timestamp":1465804264000},"page":"671-701","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems"],"prefix":"10.1007","volume":"25","author":[{"given":"Arne","family":"Noyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Padma","family":"Iyenghar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Engelhardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elke","family":"Pulvermueller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gert","family":"Bikker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,13]]},"reference":[{"key":"9323_CR1","unstructured":"Albinet, A., Begoc, S., Boulanger, J. L., Casse, O., & Dal, I. et al. (2008). The MeMVaTEx methodology: From requirements to models in automotive application design. In 4th European congress ERTS (embedded real time software), Toulouse, France."},{"key":"9323_CR2","unstructured":"ATESST Consortium. (2008). East-ADL2 Specification. Technical report, ITEA. \n                        http:\/\/www.atesst.org\/home\/liblocal\/docs\/EAST-ADL-2.0-Specification_2008-02-29.pdf\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR3","unstructured":"AUTOSAR. AUTomotive Open System ARchitecture Website. (2016). \n                        http:\/\/www.autosar.org\/\n                        \n                    . Accessed on 09 May 2016"},{"key":"9323_CR4","unstructured":"Burke, P. W., & Sweany, P. (2007). Automatic code generation through model-driven design. In 20th system and software technology conference, Las Vegas, NV."},{"key":"9323_CR5","unstructured":"Cansell, D., M\u00e9ry, D., & Rehm, J. (2007). Time constraint patterns for event B development. In B 2007: Formal specification and development in B (pp. 140\u2013154). Berlin, Heidelberg: Springer"},{"issue":"12","key":"9323_CR6","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1109\/TSE.2004.91","volume":"30","author":"N Delgado","year":"2004","unstructured":"Delgado, N., Gates, A. Q., & Roach, S. (2004). A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Transactions on Software Engineering, 30(12), 859\u2013872.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9323_CR7","unstructured":"Eclipse Foundation. (2015a). ProR requirements engineering platform website. \n                        http:\/\/eclipse.org\/rmf\/pror\/\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR8","unstructured":"Eclipse Foundation. (2015b). Papyrus UML website. \n                        http:\/\/www.eclipse.org\/papyrus\/\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR9","unstructured":"Eclipse Foundation. (2015c). Atlas transformation language (ATL). \n                        https:\/\/eclipse.org\/atl\/\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR10","unstructured":"Eclipse Foundation. (2015d). Requirements management for eclipse\u2014Requirements modeling framework (RMF). \n                        http:\/\/www.eclipse.org\/rmf\/\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR11","unstructured":"Ellidiss Software. (2015). AADL inspector website. \n                        http:\/\/www.ellidiss.com\/products\/aadl-inspector\/\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR12","unstructured":"Event-B. (2016). Event-B and the Rodin platform. \n                        http:\/\/www.event-b.org\/index.html\n                        \n                    . Accessed on 12 May 2016"},{"issue":"4","key":"9323_CR13","doi-asserted-by":"crossref","first-page":"652","DOI":"10.1109\/TII.2010.2068304","volume":"6","author":"S Fischmeister","year":"2010","unstructured":"Fischmeister, S., & Lam, P. (2010). Time-aware instrumentation of embedded software. IEEE Transactions on Industrial Informatics, 6(4), 652\u2013663.","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"9323_CR14","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/MC.2006.65","volume":"39","author":"RB France","year":"2006","unstructured":"France, R. B., Ghosh, S., Dinh-Trong, T., & Solberg, A. (2006). Model-driven development using UML 2.0: Promises and pitfalls. Computer, 39, 59\u201366.","journal-title":"Computer"},{"key":"9323_CR15","volume-title":"The art of designing embedded systems","author":"J Ganssle","year":"1999","unstructured":"Ganssle, J. (2008). The art of designing embedded systems. Oxford: Newnes."},{"key":"9323_CR16","doi-asserted-by":"crossref","unstructured":"G\u00e9rard, S., Terrier, F., & Tanguy, Y. (2002). Using the model paradigm for real-time systems development: Accord\/uml. In J.-M.\u00a0Bruel, & Z.\u00a0Bellahsene\u00a0(Eds.),\u00a0Advances in object-oriented information systems (pp. 260\u2013269). Berlin, Heidelberg: Springer.","DOI":"10.1007\/3-540-46105-1_30"},{"key":"9323_CR17","doi-asserted-by":"crossref","unstructured":"Graf, P., M\u00fcller, K. D., & Reichmann, C. (2007). Nonintrusive black-and white-box testing of embedded systems software against UML models. In 18th IEEE\/IFIP international workshop on rapid system prototyping, 2007. RSP 2007 (pp. 130\u2013138). IEEE.","DOI":"10.1109\/RSP.2007.30"},{"key":"9323_CR18","doi-asserted-by":"crossref","unstructured":"Hagner, M., & Goltz, U. (2010). Integration of scheduling analysis into UML based development processes through model transformation. In Proceedings of the 2010 international multiconference on computer science and information technology (IMCSIT) (pp. 797\u2013804). IEEE.","DOI":"10.1109\/IMCSIT.2010.5679736"},{"key":"9323_CR19","unstructured":"Hagner, M., & Huhn, M. (2008). Tool support for a scheduling analysis view. In MARTE workshop at DATE\u201908 (pp. 41\u201346)."},{"issue":"2","key":"9323_CR20","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1049\/ip-cdt:20045088","volume":"152","author":"R Henia","year":"2005","unstructured":"Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., & Ernst, R. (2005). System level performance analysis\u2014The SymTA\/S approach. IEE Proceedings-Computers and Digital Techniques, 152(2), 148\u2013166.","journal-title":"IEE Proceedings-Computers and Digital Techniques"},{"issue":"3","key":"9323_CR21","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/s10009-010-0184-4","volume":"14","author":"X Huang","year":"2012","unstructured":"Huang, X., Seyster, J., Callanan, S., Dixit, K., Grosu, R., Smolka, S. A., et al. (2012). Software monitoring with controllable overhead. International Journal on Software Tools for Technology Transfer, 14(3), 327\u2013347.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"9323_CR22","unstructured":"IBM. (2009). Rational rhapsody API reference manual. \n                        https:\/\/www.ibm.com\/developerworks\/community\/blogs\/a8b06f94-c701-42e5-a15f-e86cf8a8f62e\/resource\/Documents\/rhapsody_api_reference_manual.pdf?lang=en\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR23","unstructured":"IBM. (2010). IBM rational rhapsody gateway add on user manual. \n                        http:\/\/pic.dhe.ibm.com\/infocenter\/rhaphlp\/v7r5\/topic\/com.ibm.rhapsody.oem.pdf.doc\/pdf\/manual.pdf\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR24","unstructured":"IBM. (2015a). Rational DOORS website. \n                        http:\/\/www-03.ibm.com\/software\/products\/en\/ratidoor\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR25","unstructured":"IBM. (2015b). Rational rhapsody family website. \n                        http:\/\/www-03.ibm.com\/software\/products\/en\/ratirhapfami\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR26","unstructured":"IBM. (2015c). Rational DOORS next generation website. \n                        http:\/\/www-03.ibm.com\/software\/products\/en\/ratidoorng\/\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR27","unstructured":"ISO\/IEC. (2011). ISO\/IEC 25010:2011\u2014Systems and software engineering\u2014Systems and software Quality Requirements and Evaluation (SQuaRE)\u2014System and software quality models. \n                        http:\/\/www.iso.org\/iso\/home\/store\/catalogue_ics\/catalogue_detail_ics.htm?csnumber=35733\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR28","doi-asserted-by":"crossref","unstructured":"Iyenghar, P., Pulvermueller, E., Spieker, M., Wuebbelmann, J., & Westerkamp, C. (2013). Time and memory-aware runtime monitoring for executing model-based test cases in embedded systems. In 2013 11th IEEE international conference on industrial informatics (INDIN) (pp. 506\u2013512). IEEE.","DOI":"10.1109\/INDIN.2013.6622936"},{"key":"9323_CR29","unstructured":"Iyenghar, P., Samson, B., Spieker, M., Noyer, A., Wuebbelmann, J., Westerkamp, C., Pulvermueller, E. (2015). A mechanism for data interchange between embedded software sub-systems developed using heterogenous modeling domains. In International conference on model-driven engineering and software development (MODELSWARD 2015)"},{"key":"9323_CR30","doi-asserted-by":"crossref","unstructured":"Iyenghar, P., Westerkamp, C., Wuebbelmann, J., & Pulvermueller, E. (2010, October). A model based approach for debugging embedded systems in real-time. In Proceedings of the tenth ACM international conference on embedded software (pp. 69\u201378). ACM.","DOI":"10.1145\/1879021.1879031"},{"key":"9323_CR31","doi-asserted-by":"crossref","unstructured":"Iyenghar, P., Westerkamp, C., Wuebbelmann, J., Pulvermueller, E. (2011). Design level debugging of timing behavior in embedded systems: Using a model-based approach. In 2011 9th IEEE international conference on industrial informatics (INDIN) (pp. 889\u2013894). IEEE.","DOI":"10.1109\/INDIN.2011.6035011"},{"key":"9323_CR32","doi-asserted-by":"crossref","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I., & Valduriez, P. (2006). ATL: a QVT-like transformation language. In Companion to the 21st ACM SIGPLAN symposium on object-oriented programming systems, languages, and applications (pp. 719\u2013720). ACM.","DOI":"10.1145\/1176617.1176691"},{"key":"9323_CR33","unstructured":"Karlsson, D. (2012). TIMMO-2-USE innovation report. In ITEA-2 Magazine, 14, 24-25. \n                        https:\/\/itea3.org\/project\/result\/download\/6631\/09033-TIMMO-2-USE-TIMMO-2-USE%20Innovation%20Report.pdf\n                        \n                    . Accessed on 18 November 2015"},{"issue":"3","key":"9323_CR34","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/s11334-008-0053-4","volume":"4","author":"H Dang Le","year":"2008","unstructured":"Le Dang, H., Dubois, H., & G\u00e9rard, S. (2008). Towards a traceability model in a MARTE-based methodology for real-time embedded systems. Innovations in Systems and Software Engineering, 4(3), 189\u2013193.","journal-title":"Innovations in Systems and Software Engineering"},{"key":"9323_CR35","unstructured":"Mathworks. (2016). Matlab, Simulink, \n                        http:\/\/www.mathworks.com\/\n                        \n                    . Accessed on 12 May 2016"},{"issue":"1","key":"9323_CR36","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/1967021.1967030","volume":"8","author":"JL Medina","year":"2011","unstructured":"Medina, J. L., & Cuesta, \u00c1. G. (2011). From composable design models to schedulability analysis with uml and the uml profile for marte. ACM SIGBED Review, 8(1), 64\u201368.","journal-title":"ACM SIGBED Review"},{"issue":"1","key":"9323_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1921532.1921555","volume":"36","author":"C Mraidha","year":"2011","unstructured":"Mraidha, C., Tucci-Piergiovanni, S., & Gerard, S. (2011). Optimum: A marte-based methodology for schedulability analysis at early design stages. ACM SIGSOFT Software Engineering Notes, 36(1), 1\u20138.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"9323_CR38","doi-asserted-by":"crossref","unstructured":"Noyer, A., Iyenghar, P., Pulvermueller, E., Engelhardt, J., Pramme, F., Bikker, G. (2015). A model-based workflow from specification until validation of timing requirements in embedded software systems. In 10th IEEE international symposium on industrial embedded systems (SIES) (pp. 1\u20134)","DOI":"10.1109\/SIES.2015.7185056"},{"key":"9323_CR39","unstructured":"Noyer, A., Iyenghar, P., Pulvermueller, E., Pramme, F., Engelhardt, J., Samson, B., & Bikker, G. (2014). Tool independent code generation for the UML closing the gap between proprietary models and the standardized UML model. In 2014 International conference on evaluation of novel approaches to software engineering (ENASE) (pp. 1\u20139). IEEE."},{"key":"9323_CR40","unstructured":"Object Management Group. (2011). UML Profile for MARTE: Modeling and analysis of real-time embedded systems Version 1.1. \n                        http:\/\/www.omg.org\/spec\/MARTE\/1.1\/PDF\n                        \n                    . Accessed on 18 November 2011"},{"key":"9323_CR41","unstructured":"Object Management Group. (2012). SysML specification Version 1.3. \n                        http:\/\/www.omg.org\/spec\/SysML\/1.3\/PDF\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR42","unstructured":"Object Management Group. (2013). Requirements interchange format (ReqIF) Version 1.1. \n                        http:\/\/www.omg.org\/spec\/ReqIF\/1.1\/PDF\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR43","unstructured":"Object Management Group. (2015a). Object Management Group website. \n                        http:\/\/www.omg.org\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR44","unstructured":"Object Management Group. (2015b). OMG unified modeling language (OMG UML) Version 2.5 \n                        http:\/\/www.omg.org\/spec\/UML\/2.5\/PDF\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR45","unstructured":"Open Services for Lifecycle Collaboration. (2015). OSLC website. \n                        http:\/\/open-services.net\/\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR46","unstructured":"Peraldi-Frati, M. A., & Sorel, Y. (2008). From high-level modelling of time in MARTE to real-time scheduling analysis. In International workshop on model based architecting and construction of embedded systems, ACESMB (p. 129)."},{"key":"9323_CR47","doi-asserted-by":"crossref","first-page":"756","DOI":"10.1109\/TSE.1984.5010304","volume":"6","author":"B Plattner","year":"1984","unstructured":"Plattner, B. (1984). Real-time execution monitoring. IEEE Transactions on Software Engineering, 6, 756\u2013764.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9323_CR48","unstructured":"Polarion Software. (2015). Polarion ALM website. \n                        https:\/\/www.polarion.com\/products\/alm\/index.php\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR49","unstructured":"Roemer, E., & Willert, A. (2014). RXF certification package\u2014Specification and delivery. \n                        http:\/\/www.willert.de\/assets\/Datenblaetter\/DatS-RXF-Safety-Package-V2.0.pdf\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR50","volume-title":"Modeling and analysis of real-time and embedded systems with UML and MARTE: Developing cyber-physical systems","author":"B Selic","year":"2013","unstructured":"Selic, B., & G\u00e9rard, S. (2013). Modeling and analysis of real-time and embedded systems with UML and MARTE: Developing cyber-physical systems. London: Elsevier."},{"key":"9323_CR51","unstructured":"Sparx Systems. (2010). Enterprise Architect Software Developer\u2019s kit. \n                        http:\/\/www.sparxsystems.com.au\/downloads\/resources\/booklets\/enterprise_architect_sdk.pdf\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR52","unstructured":"Sparx Systems. (2015). Enterprise Architect Website. \n                        http:\/\/www.sparxsystems.de\/\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR53","unstructured":"Symtavision. (2015). SymTA\/S and traceanalyzer website. \n                        https:\/\/www.symtavision.com\/products\/symtas-traceanalyzer\/\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR54","unstructured":"Ul Haq, E. (2013). Tool integration using OSLC. Master Thesis, M\u00e4lardalen University, V\u00e4steras, Sweden. \n                        http:\/\/www.idt.mdh.se\/utbildning\/exjobb\/files\/TR1420.pdf\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR55","unstructured":"University of Cantabria. (2015). Modeling and analysis suite for real-time applications. \n                        http:\/\/mast.unican.es\/\n                        \n                    . Accessed on 18 November 2015"},{"key":"9323_CR56","doi-asserted-by":"publisher","unstructured":"Walderhaug, S., Stav, E., Johansen, U., & Olsen, G. K. (2008). Traceability in model-driven software development. In\u00a0P. Tiako (Ed.),\u00a0Designing\u00a0software-intensive systems:\u00a0Methods and principles, (pp. 133\u2013159).\u00a0Idea Group Publishing: Hershey. doi:\n                        10.4018\/978-1-59904-699-0.ch006","DOI":"10.4018\/978-1-59904-699-0.ch006"},{"issue":"5","key":"9323_CR57","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1049\/iet-sen:20060076","volume":"1","author":"C Watterson","year":"2007","unstructured":"Watterson, C., & Heffernan, D. (2007). Runtime verification and monitoring of embedded systems. Software, IET, 1(5), 172\u2013179.","journal-title":"Software, IET"},{"issue":"4","key":"9323_CR58","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/s10270-009-0145-0","volume":"9","author":"S Winkler","year":"2010","unstructured":"Winkler, S., & Pilgrim, J. (2010). A survey of traceability in requirements engineering and model-driven development. Software and Systems Modeling, 9(4), 529\u2013565.","journal-title":"Software and Systems Modeling"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-016-9323-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9323-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9323-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9323-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,25]],"date-time":"2017-07-25T01:24:12Z","timestamp":1500945852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-016-9323-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,13]]},"references-count":58,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["9323"],"URL":"https:\/\/doi.org\/10.1007\/s11219-016-9323-9","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2016,6,13]]}}}