{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:43:15Z","timestamp":1761489795390,"version":"3.41.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T00:00:00Z","timestamp":1444176000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"European Union Horizon 2020 Programme","award":["644080"],"award-info":[{"award-number":["644080"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1007\/s11241-015-9243-y","type":"journal-article","created":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T10:59:34Z","timestamp":1444215574000},"page":"88-112","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks"],"prefix":"10.1007","volume":"52","author":[{"given":"Daniel","family":"Thiele","sequence":"first","affiliation":[]},{"given":"Johannes","family":"Schlatow","sequence":"additional","affiliation":[]},{"given":"Philip","family":"Axer","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,7]]},"reference":[{"key":"9243_CR1","unstructured":"AUTOSAR (2015) Release 4.2.2, Specification of socket adapter"},{"key":"9243_CR2","unstructured":"Ayed H, Mifdaoui A, Fraboul C (2011) Gateway optimization for an heterogeneous avionics network afdx-can. In: IEEE real-time systems symposium (RTSS)"},{"key":"9243_CR3","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1109\/TII.2010.2055877","volume":"6","author":"H Bauer","year":"2010","unstructured":"Bauer H, Scharbarg JL, Fraboul C (2010) Improving the worst-case delay analysis of an afdx network using an optimized trajectory approach. IEEE Trans Ind Inf 6:521\u2013533","journal-title":"IEEE Trans Ind Inf"},{"issue":"3","key":"9243_CR4","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s11241-007-9012-7","volume":"35","author":"R Davis","year":"2007","unstructured":"Davis R, Burns A, Bril R, Lukkien J (2007) Controller area network (can) schedulability analysis: refuted, revisited and revised. Real-Time Syst 35(3):239\u2013272","journal-title":"Real-Time Syst"},{"key":"9243_CR5","doi-asserted-by":"crossref","unstructured":"Diemer J, Rox J, Negrean M, Stein S, Ernst R (2011) Real-time communication analysis for networks with two-stage arbitration. In: Proceedings of EMSOFT, pp 243\u2013252","DOI":"10.1145\/2038642.2038680"},{"key":"9243_CR6","unstructured":"Diemer J, Axer P, Ernst R (2012a) Compositional performance analysis in python with pycpa. In: Proceedings of WATERS. http:\/\/retis.sssup.it\/waters2012\/WATERS-2012-Proceedings.pdf"},{"key":"9243_CR7","doi-asserted-by":"crossref","unstructured":"Diemer J, Rox J, Ernst R (2012b) Modeling of ethernet avb networks for worst-case timing analysis. In: Proceedings of MATHMOD","DOI":"10.3182\/20120215-3-AT-3016.00150"},{"key":"9243_CR8","unstructured":"Feiertag N, Richter K, Nordlander J, Jonsson J (2008) A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In: Work on compositional theory and technology for real-time embedded systems CRTS"},{"issue":"2","key":"9243_CR9","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\u2014-the SymTA\/S approach. IEE Proc Comput Digit Tech 152(2):148\u2013166","journal-title":"IEE Proc Comput Digit Tech"},{"key":"9243_CR10","doi-asserted-by":"crossref","unstructured":"Herber C, Richter A, Wild T, Herkersdorf A (2015) Real-time capable can to avb ethernet gateway using frame aggregation and scheduling. In: Proceedings of design, automation and test in Europe (DATE)","DOI":"10.7873\/DATE.2015.0266"},{"key":"9243_CR11","doi-asserted-by":"crossref","unstructured":"Kern A, Reinhard D, Streichert T, Teich J (2011) Gateway strategies for embedding of automotive CAN-frames into ethernet-packets and vice versa. In: Architecture of computing systems, pp 259\u2013270","DOI":"10.1007\/978-3-642-19137-4_22"},{"key":"9243_CR12","doi-asserted-by":"crossref","unstructured":"Lehoczky J (1990) Fixed priority scheduling of periodic task sets with arbitrary deadlines. In: Proceedings of 11th RTSS, pp 201\u2013209. doi: 10.1109\/REAL.1990.128748","DOI":"10.1109\/REAL.1990.128748"},{"key":"9243_CR13","doi-asserted-by":"crossref","unstructured":"Nacer A, Jaffres-Runser K, Scharbarg JL, Fraboul C (2013) Strategies for the interconnection of can buses through an ethernet switch. In: IEEE international symposium on industrial embedded systems (SIES), pp 77\u201380","DOI":"10.1109\/SIES.2013.6601474"},{"key":"9243_CR14","doi-asserted-by":"crossref","unstructured":"Perathoner S, Rein T, Thiele L, Lampka K, Rox J (2010) Modeling structured event streams in system level performance analysis. In: ACM SIGPLAN\/SIGBED conference on languages, compilers and tools for embedded systems (LCTES). ACM, Sweden, pp 37\u201346","DOI":"10.1145\/1755888.1755895"},{"issue":"1","key":"9243_CR15","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1145\/1053271.1053276","volume":"4","author":"P Pop","year":"2005","unstructured":"Pop P, Eles P, Peng Z (2005) Schedulability-driven frame packing for multicluster distributed embedded systems. ACM Trans Embed Comput Syst 4(1):112\u2013140","journal-title":"ACM Trans Embed Comput Syst"},{"key":"9243_CR16","doi-asserted-by":"crossref","unstructured":"Revsbech K, Schi\u00f8ler H, Madsen TK, Nielsen JJ (2011) Worst-case traversal time modelling of ethernet based in-car networks using real time calculus. In: Proceedings of NEW2AN, pp 219\u2013230","DOI":"10.1007\/978-3-642-22875-9_20"},{"key":"9243_CR17","unstructured":"Richter K (2005) Compositional scheduling analysis using standard event models. Ph.D. Thesis, TU Braunschweig"},{"key":"9243_CR18","doi-asserted-by":"crossref","unstructured":"Rox J, Ernst R (2008) Modeling event stream hierarchies with hierarchical event models. In: Proceedings of design, automation and test in Europe DATE\u201908, pp 492\u2013497. doi: 10.1109\/DATE.2008.4484729","DOI":"10.1109\/DATE.2008.4484729"},{"key":"9243_CR19","doi-asserted-by":"crossref","unstructured":"Rox J, Ernst R (2010) Formal timing analysis of full duplex switched based ethernet network architectures. In: SAE World Congress, vol System level architecture design tools and methods","DOI":"10.4271\/2010-01-0455"},{"key":"9243_CR20","doi-asserted-by":"crossref","first-page":"93","DOI":"10.3233\/EMC-2006-00063","volume":"2","author":"R Saket","year":"2006","unstructured":"Saket R, Navet N (2006) Frame packing algorithms for automotive applications. J Embed Comput 2:93\u2013102","journal-title":"J Embed Comput"},{"key":"9243_CR21","doi-asserted-by":"crossref","unstructured":"Scharbarg J, Boyer M, Fraboul C (2005) Can-ethernet architectures for real-time applications. In: IEEE conference on emerging technologies and factory automation (ETFA), vol\u00a02, pp 8\u2013252","DOI":"10.1109\/ETFA.2005.1612687"},{"key":"9243_CR22","doi-asserted-by":"crossref","unstructured":"Schliecker S, Rox J, Ivers M, Ernst R (2008) Providing accurate event models for the analysis of heterogeneous multiprocessor systems. In: Proceedings of CODES-ISSS, pp 185\u2013190","DOI":"10.1145\/1450135.1450177"},{"key":"9243_CR23","doi-asserted-by":"crossref","unstructured":"Thiele D, Axer P, Ernst R, Seyler JR (2014) Improving formal timing analysis of switched ethernet by exploiting traffic stream correlations. In: Proceedings of CODE+ISSS, New Delhi","DOI":"10.1145\/2656075.2656090"},{"key":"9243_CR24","doi-asserted-by":"crossref","unstructured":"Thiele L, Chakraborty S, Naedele M (2000) Real-time calculus for scheduling hard real-time systems. In: Proceedings of IEEE international symposium on circuits and systems (ISCAS), vol\u00a04, pp 101\u2013104. doi: 10.1109\/ISCAS.2000.858698","DOI":"10.1109\/ISCAS.2000.858698"},{"issue":"1","key":"9243_CR25","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/TII.2012.2219540","volume":"9","author":"L Zhang","year":"2013","unstructured":"Zhang L, Gao H, Kaynak O (2013) Network-induced constraints in networked control systems\u2014a survey. IEEE Trans Ind Inf 9(1):403\u2013416","journal-title":"IEEE Trans Ind Inf"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-015-9243-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-015-9243-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-015-9243-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T22:58:52Z","timestamp":1748645932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-015-9243-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,7]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,1]]}},"alternative-id":["9243"],"URL":"https:\/\/doi.org\/10.1007\/s11241-015-9243-y","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2015,10,7]]}}}