{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:52:54Z","timestamp":1742975574958,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":35,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461438786"},{"type":"electronic","value":"9781461438793"}],"license":[{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4614-3879-3_9","type":"book-chapter","created":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T12:35:31Z","timestamp":1374150931000},"page":"155-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Extracting End-to-End Timing Models from Component-Based Distributed Embedded Systems"],"prefix":"10.1007","author":[{"given":"Saad","family":"Mubeen","sequence":"first","affiliation":[]},{"given":"Jukka","family":"M\u00e4ki-Turja","sequence":"additional","affiliation":[]},{"given":"Mikael","family":"Sj\u00f6din","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,7,19]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Crnkovic, I., Larsson, M.: Building Reliable Component-Based Software Systems. Artech House, Inc., USA (2002)","DOI":"10.1145\/638574.638587"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Proceedings of the 14th international symposium on formal methods (FM), Lecture Notes in Computer Science, pp. 1\u201315. Springer, Heidelberg (2006)","DOI":"10.1007\/11813040_1"},{"key":"9_CR3","unstructured":"TIMMO Consortium: TIMMO-2-USE. http:\/\/www.timmo-2-use.org\/"},{"key":"9_CR4","unstructured":"TIMMO Consortium: TADL: Timing Augmented Description Language, Version 2. TIMMO (TIMing MOdel), Deliverable 6 (2009)"},{"key":"9_CR5","unstructured":"TIMMO Consortium: TIMMO Methodology, Version 2. TIMMO (TIMing MOdel), Deliverable 7. The TIMMO Consortium (2009)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"H\u00e4nninen K., et al.: The rubus component model for resource constrained real-time systems. In: 3rd IEEE International Symposium on Industrial Embedded Systems (2008)","DOI":"10.1109\/SIES.2008.4577697"},{"key":"9_CR7","unstructured":"Arcticus Systems AB: Arcticus Systems home page. http:\/\/www.arcticus-systems.com"},{"key":"9_CR8","unstructured":"BAE Systems: BAE Systems H\u00e4gglunds. http:\/\/www.baesystems.com\/hagglunds"},{"key":"9_CR9","unstructured":"Volvo AB: Volvo Construction Equipment. http:\/\/www.volvoce.com"},{"key":"9_CR10","unstructured":"Mecel AB: Home page. http:\/\/www.mecel.se"},{"key":"9_CR11","unstructured":"Knorr-Bremse AG: Home page. http:\/\/www.knorr-bremse.com"},{"key":"9_CR12","unstructured":"H\u00e4nninen, K.: Efficient memory utilization in resource constrained real-time systems. Ph.D. thesis, M\u00e4lardalen University, Sweden (2008)"},{"issue":"1","key":"9_CR13","doi-asserted-by":"crossref","first-page":"453","DOI":"10.2298\/CSIS120614011M","volume":"10","author":"S. Mubeen","year":"2013","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, M.: Support for end-to-end response-time and delay analysis in the industrial tool suite: Issues, experiences and a case study. Comput. Sci. Inf. Sys. 10(1), 453\u2013482, ISSN: 1361\u20131384, (2013)","journal-title":"Comput. Sci. Inf. Sys."},{"key":"9_CR14","unstructured":"Tindell, K.: Adding time-offsets to schedulability analysis. Department of Computer Science, University of York, England, Tech. rep (1994)"},{"key":"9_CR15","unstructured":"Palencia, J., Harbour, M.G.: Schedulability analysis for tasks with static and dynamic offsets. Real-Time Systems Symposium, IEEE International p. 26 (1998). URLhttp:\/\/doi.ieeecomputersociety.org\/10.1109\/REAL.1998.739728"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"M\u00e4ki-Turja, J., Nolin, M.: Efficient implementation of tight response-times for tasks with offsets. Real-Time Syst. 40(1), 77\u2013116 (2008). URLhttp:\/\/dx.doi.org\/10.1007\/s11241-008-9050-9","DOI":"10.1007\/s11241-008-9050-9"},{"key":"9_CR17","doi-asserted-by":"publisher","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, M.: Extending schedulability analysis of controller area network (CAN) for mixed (periodic\/sporadic) messages. In: 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) (2011). doi:10.1109\/ETFA.2011.6059010.","DOI":"10.1109\/ETFA.2011.6059010"},{"key":"9_CR18","doi-asserted-by":"publisher","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, M.: Extending response-time analysis of controller area network (CAN) with FIFO queues for mixed messages. In: 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1\u20134 (2011). doi:10.1109\/ETFA.2011.6059188.","DOI":"10.1109\/ETFA.2011.6059188"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, M.: Response-time analysis of mixed messages in controller area network with priority- and FIFO-queued nodes. In: 9th IEEE International Workshop on Factory Communication Systems (WFCS) (2012)","DOI":"10.1109\/WFCS.2012.6242537"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, M.: Worst-case response-time analysis for mixed messages with offsets in controller area network. In: 17th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) (2012)","DOI":"10.1109\/ETFA.2012.6489579"},{"key":"9_CR21","doi-asserted-by":"publisher","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, M., Carlson, J.: Analyzable modeling of legacy communication in component-based distributed embedded systems. In: 37th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 229\u2013238 (2011). doi:10.1109\/SEAA.2011.43","DOI":"10.1109\/SEAA.2011.43"},{"key":"9_CR22","unstructured":"AUTOSAR Consortium: AUTOSAR Technical Overview, Version 2.2.2. AUTOSAR - AUTomotive Open System ARchitecture, Release 3.1, The AUTOSAR Consortium, Aug (2008). http:\/\/autosar.org"},{"key":"9_CR23","unstructured":"Heinecke, H., et al.: AUTOSAR - Current results and preparations for exploitation. In: Proceedings of the 7th Euroforum Conference, EUROFORUM \u201906 (2006)"},{"key":"9_CR24","unstructured":"TIMMO Consortium: Mastering Timing Information for Advanced Automotive Systems Engineering - In the TIMMO-2-USE Brochure (2012). http:\/\/www.timmo-2-use.org\/pdf\/T2UBrochure.pdf"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Sentilles, S., Vulgarakis, A., Bures, T., Carlson, J., Crnkovic, I.: A Component Model for Control-Intensive Distributed Embedded Systems. In: 11th International Symposium on Component Based Software Engineering (CBSE2008), pp. 310\u2013317. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-87891-9_21"},{"key":"9_CR26","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Proc. of SEFM\u201906, pp. 3\u201312. IEEE Computer Society (2006)"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Bozga, M., et. al.: The IF Toolset. In: Formal Methods for the Design of Real-Time Systems, Lecture Notes in Computer Science, vol 3185, pp. 237\u2013267. Springer, Hedielberg (2004)","DOI":"10.1007\/978-3-540-30080-9_8"},{"key":"9_CR28","unstructured":"Gssler, G.: Prometheus - A Compositional Modeling Tool for Real-Time Systems. In , Workshop on Real-Time Tools (RT-TOOLS) (2001). (2001)"},{"key":"9_CR29","unstructured":"ROBOCOP Team: ROBOCOP project. http:\/\/www.hitech-projects.com\/euprojects\/robocop\/deliverables.htm"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Muskens, J., Chaudron, M.R.V., Lukkien, J.J.: A component framework for consumer electronics middleware. In: Component-Based Software Development for Embedded Systems. pp 164\u2013184, (2005)","DOI":"10.1007\/11591962_9"},{"key":"9_CR31","unstructured":"Scheickl, O., Rudorfer, M.: Automotive real time development using a timing-augmented AUTOSAR specification. ERTS, (2008)"},{"key":"9_CR32","unstructured":"Feiertag, N., Richter, K., Nordlander, J., Jonsson, J.: A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In: Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS) (2008)"},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, M.: Exploring Options for Modeling of Real-Time Network Communication in an Industrial Component Model for Distributed Embedded Systems. In: The 6th International Conference on Embedded and Multimedia Computing (EMC-2011), Lecture Notes in Electrical Engineering, vol. 102, pp. 441\u2013458. Springer Berlin \/ Heidelberg (2011)","DOI":"10.1007\/978-94-007-2105-0_40"},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, M.: Tracing event chains for holistic response-time analysis of component-based distributed real-time systems. In: 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011), WIP Session. ACM SIGBED, Review (2011)","DOI":"10.1145\/2038617.2038628"},{"key":"9_CR35","doi-asserted-by":"publisher","unstructured":"Ke, X., Sierszecki, K., Angelov, C.: COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems. In: 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2007, pp. 199\u2013208 (2007). doi:10.1109\/RTCSA.2007.29","DOI":"10.1109\/RTCSA.2007.29"}],"container-title":["Embedded Systems","Embedded Systems Development"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-3879-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T23:50:20Z","timestamp":1676332220000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-3879-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,19]]},"ISBN":["9781461438786","9781461438793"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-3879-3_9","relation":{},"ISSN":["2193-0155","2193-0163"],"issn-type":[{"type":"print","value":"2193-0155"},{"type":"electronic","value":"2193-0163"}],"subject":[],"published":{"date-parts":[[2013,7,19]]},"assertion":[{"value":"19 July 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}