{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:57:03Z","timestamp":1766066223651,"version":"3.40.3"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T00:00:00Z","timestamp":1348531200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10009-012-0260-z","type":"journal-article","created":{"date-parts":[[2012,9,24]],"date-time":"2012-09-24T02:21:49Z","timestamp":1348453309000},"page":"171-187","source":"Crossref","is-referenced-by-count":10,"title":["Compositional performance analysis with improved analysis techniques for obtaining viable end-to-end latencies in distributed embedded systems"],"prefix":"10.1007","volume":"15","author":[{"given":"Jonas","family":"Rox","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,25]]},"reference":[{"key":"260_CR1","doi-asserted-by":"crossref","unstructured":"Albers, K., Bodmann, F., Slomka, F.: Hierarchical event streams and event dependency graphs: a new computational model for embedded real-time systems. In: Proceedings of the 18th Euromicro Conference on Real-Time Systems, pp. 97\u2013106 (2006)","DOI":"10.1109\/ECRTS.2006.12"},{"key":"260_CR2","doi-asserted-by":"crossref","unstructured":"Albers, K., Bodmann, F., Slomka, F.: Advanced hierarchical event-stream model. In: Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS) (2008)","DOI":"10.1109\/ECRTS.2008.19"},{"key":"260_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Dill, D.L.: Automata for modeling real-time systems. In: ICALP, pp. 322\u2013335 (1990)","DOI":"10.1007\/BFb0032042"},{"key":"260_CR4","doi-asserted-by":"crossref","unstructured":"AUTOSAR: AUTOSAR Specification of Communication V. 2.0.1, AUTOSAR Partnership (2006). http:\/\/www.autosar.org","DOI":"10.1007\/BF03242086"},{"key":"260_CR5","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-540-88387-6_7","volume":"5311","author":"S Bensalem","year":"2008","unstructured":"Bensalem, S., Bozga, M., Sifakis, J., Nguyen, T.H.: Compositional verification for component-based systems and application. Autom. Technol. Verifi. Anal. 5311, 64\u201379 (2008)","journal-title":"Autom. Technol. Verifi. Anal."},{"key":"260_CR6","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caspi, P., di Natale, M., Pinello, C., Sangiovanni-Vincentelli, A., Tripakis, S.: Loosely time-triggered architectures based on communication-by-sampling. In: EMSOFT \u201907: Proceedings of the 7th ACM and IEEE International Conference on Embedded Software, pp. 231\u2013239. ACM Press, New York (2007)","DOI":"10.1145\/1289927.1289964"},{"issue":"6","key":"260_CR7","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1007\/BF00263648","volume":"22","author":"P Caspi","year":"1986","unstructured":"Caspi, P., Halbwachs, N.: A functional model for describing and reasoning about time behaviour of computing systems. Acta Inf. 22(6), 595\u2013627 (1986)","journal-title":"Acta Inf."},{"key":"260_CR8","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., K\u00fcnzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: Design, Automation and Test in Europe Conference and Exhibition 2003, pp. 190\u2013195 (2003)","DOI":"10.1109\/DATE.2003.1253607"},{"key":"260_CR9","doi-asserted-by":"crossref","unstructured":"David, A., Rasmussen, J.I., Larsen, K.G., Skou, A.: Model-Based Design for Embedded Systems, Chapter Model-based Framework for Schedulability Analysis Using Uppaal 4.1. C R C Press LLC, Boca Raton (2009)","DOI":"10.1201\/9781420067859-c4"},{"key":"260_CR10","doi-asserted-by":"crossref","unstructured":"Davis, R.I., Bril, R.J., Burns, A., Lukkien, J.J.: Controller area network (can) schedulability analysis: refuted, revisited and revised. In: Real-Time Systems, vol. 35, pp. 239\u2013272 (2007)","DOI":"10.1007\/s11241-007-9012-7"},{"key":"260_CR11","doi-asserted-by":"crossref","unstructured":"Gresser, K.: An event model for deadline verification of hard real-time systems. In: Proceedings 5th Euromicro Workshop on Real-Time Systems, pp. 118\u2013123, Oulu, Finland (1993)","DOI":"10.1109\/EMWRT.1993.639067"},{"key":"260_CR12","doi-asserted-by":"crossref","unstructured":"Guti\u00e9rrez, J.C.P., Garc\u00eda, J.J.G., Harbour, M.G.: On the schedulability analysis for distributed hard real-time systems. In: Proceedings of the 9th Euromicro Workshop on Real-Time Systems, Toledo, Spain, pp. 136\u2013143 (1997)","DOI":"10.1109\/EMWRTS.1997.613774"},{"key":"260_CR13","doi-asserted-by":"crossref","unstructured":"Henia, R., Ernst, R.: Improved offset-analysis using multiple timing-references. In: Proceedings of the Conference on Design, Automation and Test in Europe: Proceedings, pp. 450\u2013455 (2006)","DOI":"10.1109\/DATE.2006.243802"},{"key":"260_CR14","unstructured":"Henia, R., Racu, R., Ernst, R.: Improved output Jitter calculation for compositional performance analysis of distributed systems. In: Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International, pp. 1\u20138 (2007)"},{"key":"260_CR15","unstructured":"Henia, R., Ernst, R.: Context-aware scheduling analysis of distributed systems with tree-shaped task-dependencies. In: Proceeding Design Automation and Test in Europe (2005)"},{"key":"260_CR16","doi-asserted-by":"crossref","unstructured":"Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis\u2014 the symta\/s approach. In: IEE Proceedings Computers and Digital Techniques (2005)","DOI":"10.1049\/ip-cdt:20045088"},{"key":"260_CR17","doi-asserted-by":"crossref","unstructured":"Henzinger, T., Matic, S.: An interface algebra for real-time components. In: Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (2006)","DOI":"10.1109\/RTAS.2006.11"},{"key":"260_CR18","unstructured":"Examples for indutrial applications of symta\/s. http:\/\/www.symtavision.com\/success.html . Accessed on 24 November 2011"},{"key":"260_CR19","doi-asserted-by":"crossref","unstructured":"Huang, K., Thiele, L., Stefanov, T., Deprettere, Ed.: Performance analysis of multimedia applications using correlated streams. In: Design, Automation and Test in Europe (DATE 07), pp. 912\u2013917, Nice, France (2007)","DOI":"10.1109\/DATE.2007.364409"},{"key":"260_CR20","unstructured":"Jersak, M.: Compositional performance analysis for complex embedded applications. Ph.D. thesis, Technical University of Braunschweig, Department of Electrical Engineering and Information Technology (2004)"},{"issue":"5","key":"260_CR21","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M Joseph","year":"1986","unstructured":"Joseph, M., Pandya, P.: Finding response times in a real-time system. Comput. J. 29(5), 390 (1986)","journal-title":"Comput. J."},{"key":"260_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45318-0","volume-title":"Network Calculus: A Theory of Deterministic Queuing Systems for the Internet","author":"JY Le Boudec","year":"2001","unstructured":"Le Boudec, J.Y., Thiran, P.: Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer, Berlin (2001)"},{"key":"260_CR23","doi-asserted-by":"crossref","unstructured":"Lehoczky, J.: Fixed priority scheduling of periodic task sets with arbitrary deadlines. In: 11th IEEE Proceedings of Real-Time Systems Symposium, 1990, pp. 201\u2013209 (1990)","DOI":"10.1109\/REAL.1990.128748"},{"key":"260_CR24","doi-asserted-by":"crossref","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithm for multiprogramming in a hard-real-time environment. J. ACM. 20 (1973)","DOI":"10.1145\/321738.321743"},{"key":"260_CR25","unstructured":"Maxiaguine, A., K\u00fcnzli, S., Thiele, L.: Workload characterization model for tasks with variable execution demand. In: Proceedings of Design Automation and Test in Europe, Paris, France (2004)"},{"key":"260_CR26","unstructured":"Norstrom, C., Wall, A., Yi, W.: Timed automata as task models for event-driven systems. In: Sixth International Conference on Real-Time Computing Systems and Applications, 1999. RTCSA \u201999, pp. 182\u2013189 (1999)"},{"key":"260_CR27","unstructured":"Palencia, J.C., Harbour, M.G.: Schedulability analysis for tasks with static and dynamic offsets. In: Proceedings of the 19th IEEE Real-Time Systems, Symposium (RTSS98) (1998)"},{"key":"260_CR28","unstructured":"Palencia, J.C., Harbour, M.G.: Exploiting precedence relations in the schedulablilty analysis of distributed real-time systems. In: Proceedings of the 20th IEEE Real-Time Systems, Symposium (RTSS99) (1999)"},{"key":"260_CR29","unstructured":"Palencia, J.C., Harbour, M.G.: Offset-based response time analysis of distributed systems scheduled under edf. In: Real-Time Systems, 2003. Proceedings of the 15th Euromicro Conference, pp. 3\u201312 (2003)"},{"key":"260_CR30","doi-asserted-by":"crossref","unstructured":"Perathoner, S., Rein, T., Thiele, L., Lampka, K., Rox, J.: Modeling structured event streams in system level performance analysis. In: Proceedings of ACM SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, pp. 37\u201346 (2010)","DOI":"10.1145\/1755951.1755895"},{"key":"260_CR31","doi-asserted-by":"crossref","unstructured":"Perathoner, S., Wandeler, E., Thiele, L., Hamann, A., Schliecker, S., Henia, R., Racu, R., Ernst, R., Harbour, M.G.: Influence of different abstractions on the performance analysis of distributed hard real-time systems. In: Design Automation for Embedded Systems (2008)","DOI":"10.1145\/1289927.1289959"},{"key":"260_CR32","doi-asserted-by":"crossref","unstructured":"Pop, P., Eles, P., Peng, Z.: Schedulability analysis and optimization for the synthesis of multi-cluster distributed embedded systems. In: Design, Automation and Test in Europe Conference and Exhibition, pp. 184\u2013189 (2003)","DOI":"10.1109\/DATE.2003.1253606"},{"key":"260_CR33","doi-asserted-by":"crossref","unstructured":"Pop, T., Pop, P., Eles, P., Peng, Z., Andrei, A.: Timing analysis of the FlexRay communication protocol. In: Proceedings of 18th EuroMicro Conference on Real-Time Systems, Dresden, pp. 203\u2013213 (2006)","DOI":"10.1109\/ECRTS.2006.31"},{"key":"260_CR34","unstructured":"Puschner, P., Schoeberl, M.: On composable system timing, task timing, and WCET analysis. In: Proceedings of the 8th International Workshop on Worst-Case Execution Time (WCET) Analysis, Prague, Czech Republic (2008)"},{"key":"260_CR35","doi-asserted-by":"crossref","unstructured":"Richter, K., Racu, R., Ernst, R.: Scheduling analysis integration for heterogeneous multiprocessor SoC. In: Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS), Cancun, Mexico (2003)","DOI":"10.1109\/REAL.2003.1253270"},{"key":"260_CR36","unstructured":"Richter, K.: Compositional scheduling analysis using standard event models. Ph.D. thesis, Technical University of Braunschweig (2004)"},{"key":"260_CR37","doi-asserted-by":"crossref","unstructured":"Richter, K., Ziegenbein, D., Jersak, M., Ernst, R.: Model composition for scheduling analysis in platform design. In: Proceedings of 39th Design Automation Conference (DAC 2002) (2002)","DOI":"10.1109\/DAC.2002.1012637"},{"key":"260_CR38","doi-asserted-by":"crossref","unstructured":"Rox, J., Ernst, R.: Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers. ECRTS (2008)","DOI":"10.1109\/ECRTS.2008.13"},{"key":"260_CR39","doi-asserted-by":"crossref","unstructured":"Rox, J., Ernst, R.: Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks. In: Proceedings Design, Automation and Test in Europe (DATE 10), p. 226, Dresden, Germany (2010)","DOI":"10.1109\/DATE.2010.5457208"},{"key":"260_CR40","doi-asserted-by":"crossref","unstructured":"Rox, J., Ernst, R.: Modeling event stream hierarchies with hierarchical event models. In: Proceedings of Design, Automation and Test in Europe (DATE 2008), Munich, Germany (2008)","DOI":"10.1109\/DATE.2008.4484729"},{"issue":"4","key":"260_CR41","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1109\/TII.2009.2032068","volume":"5","author":"S Schliecker","year":"2009","unstructured":"Schliecker, S., Negrean, M., Ernst, R.: Response time analysis in multicore ecus with shared resources. IEEE Trans. Ind. Inform. 5(4), 402\u2013413 (2009)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"260_CR42","unstructured":"Suppiger, U., Perathoner, S., Lampka, K., Thiele, L.: Modular performance analysis of large-scale distributed embedded systems: an industrial case study. Technical report, ETH Zurich (2010)"},{"key":"260_CR43","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. Circuits and Systems, 2000. In: Proceedings. ISCAS 2000 Geneva. The 2000 IEEE International Symposium, vol. 4 (2000)","DOI":"10.1109\/ISCAS.2000.858698"},{"issue":"2\u20133","key":"260_CR44","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogr. 40(2\u20133), 117\u2013134 (1994)","journal-title":"Microprocess. Microprogr."},{"key":"260_CR45","unstructured":"Tindell, K.W.: Adding time-offsets to schedulability analysis. University of York, Technical report (1994)"},{"issue":"2","key":"260_CR46","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF01088593","volume":"6","author":"KW Tindell","year":"1994","unstructured":"Tindell, K.W., Burns, A., Wellings, A.J.: An extendible approach for analyzing fixed priority hard real-time tasks. Real-Time Syst. 6(2), 133\u2013151 (1994)","journal-title":"Real-Time Syst."},{"key":"260_CR47","unstructured":"Traub, M., Conrath, M., Hedenetz, B., Lauer, V., Richter, K., Jersak, M., Reichmann, C.: Search for the best migration strategy from can to flexray. Hanser Automotive FLEXRAY SPECIAL 2009 (2009)"},{"key":"260_CR48","doi-asserted-by":"crossref","unstructured":"Traub, M., Lauer, V., Weber, T., Jersak, M., Richter, K., Becker, J.: Timing analysis for verification of network architectures. ATZ, Elektronik (2009)","DOI":"10.1007\/BF03242221"},{"key":"260_CR49","doi-asserted-by":"crossref","unstructured":"Wandeler, E., Maxiaguine, A., Thiele, L.: Performance analysis of greedy shapers in real-time systems. In: Proceedings of the Conference on Design, Automation and Test in Europe: Proceedings, pp. 444\u2013449 (2006)","DOI":"10.1109\/DATE.2006.243801"},{"key":"260_CR50","unstructured":"Wandeler, E.: Modular performance analysis and interface-based design of embedded systems. PhD thesis, Swiss Federal Institute of Technology (2006)"},{"key":"260_CR51","doi-asserted-by":"crossref","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand C., Heckmann R., Mitra T., Mueller F., Puaut I., Puschner P., Staschulat J., Stenstr\u00f6m P.: The worst-case execution time problem\u2014overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(36):1\u201336:53 (2008)","DOI":"10.1145\/1347375.1347389"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0260-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0260-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0260-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T08:23:57Z","timestamp":1744187037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0260-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,25]]},"references-count":51,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["260"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0260-z","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2012,9,25]]}}}