{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:27:12Z","timestamp":1743010032191,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":83,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401772662"},{"type":"electronic","value":"9789401772679"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-94-017-7267-9_25","type":"book-chapter","created":{"date-parts":[[2017,9,26]],"date-time":"2017-09-26T09:54:06Z","timestamp":1506419646000},"page":"753-792","source":"Crossref","is-referenced-by-count":2,"title":["Networked Real-Time Embedded Systems"],"prefix":"10.1007","author":[{"given":"Haibo","family":"Zeng","sequence":"first","affiliation":[]},{"given":"Prachi","family":"Joshi","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Thiele","sequence":"additional","affiliation":[]},{"given":"Jonas","family":"Diemer","sequence":"additional","affiliation":[]},{"given":"Philip","family":"Axer","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[]},{"given":"Petru","family":"Eles","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Andersson B, Tovar E (2009) The utilization bound of non-preemptive rate-monotonic scheduling in controller area networks is 25%. In: 2009 IEEE international symposium on industrial embedded systems, pp\u00a011\u201318","DOI":"10.1109\/SIES.2009.5196186"},{"key":"25_CR2","volume-title":"Formal timing analysis of automatic repeat request for switched real-time networks","author":"P Axer","year":"2014","unstructured":"Axer P, Thiele D, Ernst R (2014) Formal timing analysis of automatic repeat request for switched real-time networks. In: Proceedings of the SIES, Pisa"},{"key":"25_CR3","volume-title":"Exploiting shaper context to improve performance bounds of Ethernet AVB Networks","author":"P Axer","year":"2014","unstructured":"Axer P, Thiele D, Ernst R, Diemer J (2014) Exploiting shaper context to improve performance bounds of Ethernet AVB Networks. In: Proceedings of the DAC, San Francisco"},{"issue":"1","key":"25_CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1008030427220","volume":"17","author":"S Baruah","year":"1999","unstructured":"Baruah S, Chen D, Gorinsky S, Mok A (1999) Generalized multiframe tasks. Real-Time Syst 17(1):5\u201322","journal-title":"Real-Time Syst"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Broster I, Burns A, Rodriguez-Navas G (2002) Probabilistic analysis of can with faults. In: 23rd IEEE real-time systems symposium, pp\u00a0269\u2013278","DOI":"10.1109\/REAL.2002.1181581"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"von\u00a0der Bruggen G, Chen JJ, Huang WH (2015) Schedulability and optimization analysis for non-preemptive static priority scheduling based on task utilization and blocking factors. In: 2015 27th Euromicro conference on real-time systems (ECRTS). IEEE, pp\u00a090\u2013101","DOI":"10.1109\/ECRTS.2015.16"},{"key":"25_CR7","volume-title":"Volcano revolution in on-board communications","author":"L Casparsson","year":"1998","unstructured":"Casparsson L, Rajnak A, Tindell K, Malmberg P (1998) Volcano revolution in on-board communications. Technical report, Volvo"},{"key":"25_CR8","unstructured":"Chen Y, Kurachi R, Takada H, Zeng G (2011) Schedulability comparison for can message with offset: priority queue versus FIFO queue. In: 19th international conference on real-time and network systems, pp\u00a0181\u2013192"},{"key":"25_CR9","first-page":"495","volume-title":"Schedule optimization of static messages with precedence relations in FlexRay","author":"A Darbandi","year":"2014","unstructured":"Darbandi A, Kim MK (2014) Schedule optimization of static messages with precedence relations in FlexRay. In: Sixth international conference on ubiquitous and future networks, pp\u00a0495\u2013500"},{"issue":"6","key":"25_CR10","first-page":"195","volume":"8","author":"A Darbandi","year":"2014","unstructured":"Darbandi A, Kwon S, Kim MK (2014)Scheduling of time triggered messages in static segment of FlexRay. Int J Softw Eng Appl 8(6):195\u2013208","journal-title":"Int J Softw Eng Appl"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Davis R, Navet N (2012) Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues. In: 9th IEEE international workshop on factory communication systems, pp\u00a033\u201342","DOI":"10.1109\/WFCS.2012.6242538"},{"issue":"3","key":"25_CR12","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s11241-007-9012-7","volume":"35","author":"RI Davis","year":"2007","unstructured":"Davis RI, Burns A, Bril RJ, Lukkien JJ (2007) Controller area network (CAN) schedulability analysis: refuted, revisited and revised. Real-Time Syst 35(3):239\u2013272","journal-title":"Real-Time Syst"},{"issue":"1","key":"25_CR13","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s11241-012-9167-8","volume":"49","author":"RI Davis","year":"2013","unstructured":"Davis RI, Kollmann S, Pollex V, Slomka F (2013) Schedulability analysis for controller area network (CAN) with FIFO queues priority queues and gateways. Real-Time Syst 49(1): 73\u2013116","journal-title":"Real-Time Syst"},{"key":"25_CR14","first-page":"1","volume-title":"System identification and extraction of timing properties from controller area network (CAN) message traces","author":"M Natale Di","year":"2010","unstructured":"Di\u00a0Natale M, Zeng H (2010) System identification and extraction of timing properties from controller area network (CAN) message traces. In: IEEE conference on emerging technologies and factory automation, pp\u00a01\u20138"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Di\u00a0Natale M, Zeng H (2013) Practical issues with the timing analysis of the controller area network. In: 18th IEEE conference on emerging technologies factory automation, pp\u00a01\u20138","DOI":"10.1109\/ETFA.2013.6647940"},{"key":"25_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4614-0314-2","volume-title":"Understanding and using the controller area network communication protocol: theory and practice","author":"M Natale Di","year":"2012","unstructured":"Di\u00a0Natale M, Zeng H, Giusto P, Ghosal A (2012) Understanding and using the controller area network communication protocol: theory and practice. Springer Science & Business Media, New York"},{"key":"25_CR17","unstructured":"Diemer J (To appear) Predictable network-on-chip for general-purpose processors \u2013 formal worst-case guarantees for on-chip interconnects. Ph.D. thesis, Technische Universit\u00e4t Braunschweig, Braunschweig. N\/A"},{"key":"25_CR18","volume-title":"Compositional performance analysis in python with pyCPA","author":"J Diemer","year":"2012","unstructured":"Diemer J, Axer P, Ernst R (2012) Compositional performance analysis in python with pyCPA. In: International workshop on analysis tools and methodologies for embedded and real-time systems"},{"key":"25_CR19","volume-title":"Modeling of Ethernet AVB networks for worst-case timing analysis","author":"J Diemer","year":"2012","unstructured":"Diemer J, Rox J, Ernst R (2012) Modeling of Ethernet AVB networks for worst-case timing analysis. In: MATHMOD \u2013 Vienna international conference on mathematical modelling, Vienna"},{"key":"25_CR20","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1145\/2038642.2038680","volume-title":"Proceedings of the ninth ACM international conference on embedded software (EMSOFT 2011)","author":"J Diemer","year":"2011","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 the ninth ACM international conference on embedded software (EMSOFT 2011). ACM, Taipei, pp\u00a0243\u2013252"},{"key":"25_CR21","volume-title":"Formal worst-case timing analysis of ethernet topologies with strict-priority and AVB switching","author":"J Diemer","year":"2012","unstructured":"Diemer J, Thiele D, Ernst R (2012) Formal worst-case timing analysis of ethernet topologies with strict-priority and AVB switching. In: IEEE international symposium on industrial embedded systems. Invited Paper"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Ding S (2010) Scheduling approach for static segment using hybrid genetic algorithm in FlexRay systems. In: 10th IEEE international conference on computer and information technology, pp\u00a02355\u20132360","DOI":"10.1109\/CIT.2010.405"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Ding S, Murakami N, Tomiyama H, Takada H (2005) A ga-based scheduling method for FlexRay systems. In: 5th ACM international conference on embedded software, pp\u00a0110\u2013113","DOI":"10.1145\/1086228.1086249"},{"key":"25_CR24","first-page":"550","volume-title":"Computing robustness of FlexRay schedules to uncertainties in design parameters","author":"A Ghosal","year":"2010","unstructured":"Ghosal A, Zeng H, Di\u00a0Natale M, Ben-Haim Y (2010) Computing robustness of FlexRay schedules to uncertainties in design parameters. In: Proceedings of the conference on design, automation and test in Europe, pp\u00a0550\u2013555"},{"key":"25_CR25","unstructured":"G\u00f6tz FJ (2013) Alternative shaper for scheduled traffic in time sensitive networks. In: IEEE 802.1 TSN TG meeting, Vancouver"},{"key":"25_CR26","unstructured":"Grenier M, Havet L, Navet N (2008) Configuring the communication on FlexRay-the case of the static segment. In: 4th European congress on embedded real time software"},{"issue":"10","key":"25_CR27","doi-asserted-by":"crossref","first-page":"1115","DOI":"10.1016\/j.sysarc.2013.08.009","volume":"59","author":"G Han","year":"2013","unstructured":"Han G, Di\u00a0Natale M, Zeng H, Liu X, Dou W (2013) Optimizing the implementation of real-time simulink models onto distributed automotive architectures. J Syst Archit 59(10):1115\u20131127","journal-title":"J Syst Archit"},{"key":"25_CR28","volume-title":"SAFE: security-aware FlexRay scheduling engine","author":"G Han","year":"2014","unstructured":"Han G, Zeng H, Li Y, Dou W (2014) SAFE: security-aware FlexRay scheduling engine. In: Design, automation and test in Europe conference and exhibition"},{"key":"25_CR29","volume-title":"System level performance analysis \u2013 the SymTA\/S approach","author":"R Henia","year":"2005","unstructured":"Henia R, Hamann A, Jersak M, Racu R, Richter K, Ernst R (2005) System level performance analysis \u2013 the SymTA\/S approach. In: IEE proceedings computers and digital techniques"},{"issue":"3","key":"25_CR30","doi-asserted-by":"crossref","first-page":"1817","DOI":"10.1109\/TII.2014.2327389","volume":"10","author":"M Hu","year":"2014","unstructured":"Hu M, Luo J, Wang Y, Lukasiewycz M, Zeng Z (2014) Holistic scheduling of real-time applications in time-triggered in-vehicle networks. IEEE Trans Ind Inf 10(3): 1817\u20131828","journal-title":"IEEE Trans Ind Inf"},{"key":"25_CR31","unstructured":"IEEE Audio Video Bridging Task Group (2010) 802.1Qav \u2013 forwarding and queuing enhancements for time-sensitive streams. \n            http:\/\/www.ieee802.org\/1\/pages\/802.1av.html"},{"key":"25_CR32","unstructured":"IEEE Audio Video Bridging Task Group (2016) 802.1Qch \u2013 cyclic queuing and forwarding. \n            http:\/\/www.ieee802.org\/1\/pages\/802.1ch.html"},{"key":"25_CR33","unstructured":"IEEE P802.3br Interspersing Express Traffic Task Force. P802.3br \u2013 standard for ethernet amendment specification and management parameters for interspersing express traffic. \n            https:\/\/standards.ieee.org\/develop\/project\/802.3br.html"},{"key":"25_CR34","unstructured":"IEEE Time-Sensitive Networking Task Group. 802.1Qbu \u2013 frame preemption. \n            http:\/\/www.ieee802.org\/1\/pages\/802.1bu.html"},{"key":"25_CR35","unstructured":"IEEE Time-Sensitive Networking Task Group (2015) P802.1Qbv (Draft 3.0) \u2013 enhancements for scheduled traffic. \n            http:\/\/www.ieee802.org\/1\/pages\/802.1bv.html"},{"key":"25_CR36","unstructured":"International Standards Organisation (ISO) (1993) ISO 11898-1. Road vehicles \u2013 interchange of digital information \u2013 controller area network (CAN) for high-speed communication. ISO Standard-11898"},{"key":"25_CR37","unstructured":"International Standards Organisation (ISO) (2013) Road vehicles \u2013 FlexRay communications system\u00a0\u2013 part 1: general information and use case definition. ISO Standard-17458"},{"issue":"1","key":"25_CR38","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1016\/S0304-3975(03)00363-3","volume":"306","author":"K Jansen","year":"2003","unstructured":"Jansen K, Solis-Oba R (2003) An asymptotic fully polynomial time approximation scheme for bin covering. Theor Comput Sci 306(1):543\u2013551","journal-title":"Theor Comput Sci"},{"issue":"9","key":"25_CR39","doi-asserted-by":"crossref","first-page":"4001","DOI":"10.1109\/TIE.2012.2208433","volume":"60","author":"M Kang","year":"2013","unstructured":"Kang M, Park K, Jeong MK (2013) Frame packing for minimizing the bandwidth consumption of the FlexRay static segment. IEEE Trans Ind Electron 60(9):4001\u20134008","journal-title":"IEEE Trans Ind Electron"},{"key":"25_CR40","doi-asserted-by":"crossref","unstructured":"Khan D, Bril R, Navet N (2010) Integrating hardware limitations in can schedulability analysis. In: 8th IEEE international workshop on factory communication systems, pp\u00a0207\u2013210","DOI":"10.1109\/WFCS.2010.5548604"},{"key":"25_CR41","doi-asserted-by":"crossref","unstructured":"Khan D, Davis R, Navet N (2011) Schedulability analysis of can with non-abortable transmission requests. In: 16th IEEE conference on emerging technologies factory automation, pp\u00a01\u20138","DOI":"10.1109\/ETFA.2011.6058998"},{"issue":"1","key":"25_CR42","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/JPROC.2014.2371999","volume":"103","author":"D Kreutz","year":"2015","unstructured":"Kreutz D, Ramos F, Esteves\u00a0Verissimo P, Esteve\u00a0Rothenberg C, Azodolmolky S, Uhlig S (2015) Software-defined networking: a comprehensive survey. Proc IEEE 103(1):14\u201376","journal-title":"Proc IEEE"},{"key":"25_CR43","unstructured":"Li W, Di\u00a0Natale M, Zheng W, Giusto P, Sangiovanni-Vincentelli A, Seshia S (2009) Optimizations of an application-level protocol for enhanced dependability in flexray. In: Design, automation test in Europe conference exhibition (DATE 2009), pp\u00a01076\u20131081"},{"key":"25_CR44","doi-asserted-by":"crossref","unstructured":"Lincoln B, Cervin A (2002) Jitterbug: a tool for analysis of real-time control performance. In: Proceedings of the 41st IEEE conference on decision and control, vol\u00a02, pp\u00a01319\u20131324","DOI":"10.1109\/CDC.2002.1184698"},{"key":"25_CR45","unstructured":"Liu M, Behnam M, Nolte T (2013) An EVT-based worst-case response time analysis of complex real-time systems. In: 8th IEEE international symposium on industrial embedded systems, pp\u00a0249\u2013258"},{"key":"25_CR46","doi-asserted-by":"crossref","unstructured":"Liu M, Behnam M, Nolte T (2013) Schedulability analysis of multi-frame messages over controller area networks with mixed-queues. In: 18th IEEE conference on emerging technologies factory automation, pp\u00a01\u20136","DOI":"10.1109\/ETFA.2013.6648082"},{"key":"25_CR47","doi-asserted-by":"crossref","unstructured":"Liu M, Behnam M, Nolte T (2014) Schedulability analysis of GMF-modeled messages over controller area networks with mixed-queues. In: 10th IEEE workshop on factory communication systems, pp\u00a01\u201310","DOI":"10.1109\/WFCS.2014.6837606"},{"key":"25_CR48","doi-asserted-by":"crossref","unstructured":"Lukasiewycz M, Gla\u00df M.\u00a0Teich J, Milbredt P (2009) FlexRay schedule optimization of the static segment. In: 7th IEEE\/ACM international conference on hardware\/software codesign and system synthesis, pp\u00a0363\u2013372","DOI":"10.1145\/1629435.1629485"},{"key":"25_CR49","doi-asserted-by":"crossref","unstructured":"Lukasiewycz M, Schneider R, Goswami D, Chakraborty S (2012) Modular scheduling of distributed heterogeneous time-triggered automotive systems. In: 17th Asia and South Pacific design automation conference, pp\u00a0665\u2013670","DOI":"10.1109\/ASPDAC.2012.6165039"},{"key":"25_CR50","doi-asserted-by":"crossref","unstructured":"Mok A, Chen D (1996) A multiframe model for real-time tasks. In: 17th IEEE real-time systems symposium, pp\u00a022\u201329","DOI":"10.1109\/REAL.1996.563696"},{"key":"25_CR51","doi-asserted-by":"crossref","unstructured":"Mubeen S, M\u00e4ki-Turja J, Sj\u00f6din M (2011) Extending schedulability analysis of controller area network (CAN) for mixed (periodic\/sporadic) messages. In: 16th IEEE conference on emerging technologies factory automation, pp\u00a01\u201310","DOI":"10.1109\/ETFA.2011.6059010"},{"key":"25_CR52","doi-asserted-by":"crossref","unstructured":"Mubeen S, M\u00e4ki-Turja J, Sj\u00f6din M (2012) Extending response-time analysis of mixed messages in can with controllers implementing non-abortable transmit buffers. In: 17th IEEE conference on emerging technologies factory automation, pp\u00a01\u20134","DOI":"10.1109\/ETFA.2012.6489732"},{"key":"25_CR53","doi-asserted-by":"crossref","unstructured":"Mubeen S, M\u00e4ki-Turja J, Sj\u00f6din M (2012) Response time analysis for mixed messages in can supporting transmission abort requests. In: 7th IEEE international symposium on industrial embedded systems, pp\u00a0291\u2013294","DOI":"10.1109\/SIES.2012.6356599"},{"key":"25_CR54","doi-asserted-by":"crossref","unstructured":"Mubeen S, M\u00e4ki-Turja J, Sj\u00f6din M (2012) 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, pp\u00a023\u201332","DOI":"10.1109\/WFCS.2012.6242537"},{"key":"25_CR55","doi-asserted-by":"crossref","unstructured":"Mubeen S, M\u00e4ki-Turja J, Sj\u00f6din M (2012) Worst-case response-time analysis for mixed messages with offsets in controller area network. In: 17th IEEE conference on emerging technologies factory automation, pp\u00a01\u201310","DOI":"10.1109\/ETFA.2012.6489579"},{"key":"25_CR56","doi-asserted-by":"crossref","unstructured":"Mubeen S, M\u00e4ki-Turja J, Sj\u00f6din M (2013) Extending offset-based response-time analysis for mixed messages in controller area network. In: 18th IEEE conference on emerging technologies factory automation, pp\u00a01\u201310","DOI":"10.1109\/ETFA.2013.6648056"},{"key":"25_CR57","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1109\/ACCESS.2014.2319255","volume":"2","author":"S Mubeen","year":"2014","unstructured":"Mubeen S, M\u00e4ki-Turja J, Sj\u00f6din M (2014) Extending worst case response-time analysis for mixed messages in controller area network with priority and FIFO queues. IEEE Access 2:365\u2013380","journal-title":"IEEE Access"},{"key":"25_CR58","doi-asserted-by":"crossref","unstructured":"Mubeen S, M\u00e4ki-Turja J, Sj\u00f6din M (2014) Response time analysis with offsets for mixed messages in can supporting transmission abort requests. In: Emerging technology and factory automation (ETFA 2014). IEEE, pp\u00a01\u201310","DOI":"10.1109\/ETFA.2014.7005167"},{"key":"25_CR59","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.jss.2014.09.005","volume":"99","author":"S Mubeen","year":"2015","unstructured":"Mubeen S, M\u00e4ki-Turja J, Sj\u00f6din M (2015) Integrating mixed transmission and practical limitations with the worst-case response-time analysis for controller area network. J Syst Softw 99:66\u201384","journal-title":"J Syst Softw"},{"key":"25_CR60","doi-asserted-by":"crossref","unstructured":"Mundhenk P, Steinhorst S, Lukasiewycz M, Fahmy SA, Chakraborty S (2015) Security analysis of automotive architectures using probabilistic model checking. In: 52nd ACM\/IEEE design automation conference (DAC), pp\u00a01\u20136","DOI":"10.1145\/2744769.2744906"},{"key":"25_CR61","unstructured":"Natale MD (2006) Evaluating message transmission times in controller area networks without buffer preemption. In: 8th Brazilian workshop on real-time systems"},{"issue":"7","key":"25_CR62","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1016\/S1383-7621(99)00016-8","volume":"46","author":"N Navet","year":"2000","unstructured":"Navet N, Song YQ, Simonot F (2000) Worst-case deadline failure probability in real-time applications distributed over controller area network. J Syst Archit 46(7):607\u2013617","journal-title":"J Syst Archit"},{"key":"25_CR63","doi-asserted-by":"crossref","unstructured":"Neukirchner M, Negrean M, Ernst R, Bone TT (2012) Response-time analysis of the FlexRay dynamic segment under consideration of slot-multiplexing. In: 7th IEEE international symposium on industrial embedded systems, pp\u00a021\u201330","DOI":"10.1109\/SIES.2012.6356566"},{"key":"25_CR64","doi-asserted-by":"crossref","unstructured":"Nolte T, Hansson H, Norstrom C (2003) Probabilistic worst-case response-time analysis for the controller area network. In: 9th IEEE real-time and embedded technology and applications symposium, pp\u00a0200\u2013207","DOI":"10.1109\/RTTAS.2003.1203052"},{"issue":"1\u20133","key":"25_CR65","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/s11241-007-9040-3","volume":"39","author":"T Pop","year":"2008","unstructured":"Pop T, Pop P, Eles P, Peng Z, Andrei A (2008) Timing analysis of the FlexRay communication protocol. Real-Time Syst 39(1\u20133):205\u2013235","journal-title":"Real-Time Syst"},{"key":"25_CR66","first-page":"1","volume-title":"Optimal scheduling of switched FlexRay networks","author":"T Schenkelaars","year":"2011","unstructured":"Schenkelaars T, Vermeulen B, Goossens K (2011) Optimal scheduling of switched FlexRay networks. In: Design, automation test in Europe conference exhibition, pp\u00a01\u20136"},{"issue":"5","key":"25_CR67","doi-asserted-by":"crossref","first-page":"2170","DOI":"10.1109\/TVT.2008.2008654","volume":"58","author":"K Schmidt","year":"2009","unstructured":"Schmidt K, Schmidt E (2009) Message scheduling for the FlexRay protocol: the static segment. IEEE Trans Veh Technol 58(5):2170\u20132179","journal-title":"IEEE Trans Veh Technol"},{"key":"25_CR68","doi-asserted-by":"crossref","unstructured":"Tanasa B, Bordoloi UD, Kosuch S, Eles P, Peng Z (2012) Schedulability analysis for the dynamic segment of FlexRay: a generalization to slot multiplexing. In: 18th IEEE real-time and embedded technology and applications symposium, pp\u00a0185\u2013194","DOI":"10.1109\/RTAS.2012.10"},{"key":"25_CR69","first-page":"175","volume-title":"Reliability-aware frame packing for the static segment of FlexRay","author":"B Tanasa","year":"2011","unstructured":"Tanasa B, Dutta\u00a0Bordoloi U, Eles P, Peng Z (2011) Reliability-aware frame packing for the static segment of FlexRay. In: Proceedings of the ninth ACM international conference on embedded software, pp\u00a0175\u2013184"},{"key":"25_CR70","doi-asserted-by":"crossref","unstructured":"Thiele D, Axer P, Ernst R (2015) Improving formal timing analysis of switched ethernet by exploiting FIFO scheduling. In: Design automation conference (DAC), San Francisco","DOI":"10.1145\/2744769.2744854"},{"key":"25_CR71","volume-title":"Improved formal worst-case timing analysis of weighted round robin scheduling for ethernet","author":"D Thiele","year":"2013","unstructured":"Thiele D, Diemer J, Axer P, Ernst R, Seyler J (2013) Improved formal worst-case timing analysis of weighted round robin scheduling for ethernet. In: Proceedings of the CODES+ISSS, Montreal"},{"key":"25_CR72","doi-asserted-by":"crossref","unstructured":"Thiele D, Ernst R (2016) Formal analysis based evaluation of software defined networking for time-sensitive ethernet. In: Proceedings of the design, automation, and test in Europe (DATE), Dresden","DOI":"10.3850\/9783981537079_0171"},{"key":"25_CR73","doi-asserted-by":"crossref","unstructured":"Thiele D, Ernst R (2016) Formal worst-case performance analysis of time-sensitive Ethernet with frame preemption. In: Proceedings of emerging technologies and factory automation (ETFA), Berlin, p\u00a09","DOI":"10.1109\/ETFA.2016.7733740"},{"key":"25_CR74","doi-asserted-by":"crossref","unstructured":"Thiele D, Ernst R (2016) Formal worst-case timing analysis of Ethernet TSN\u2019s burst-limiting shaper. In: Proceedings of the design, automation, and test in Europe (DATE), Dresden","DOI":"10.3850\/9783981537079_0276"},{"key":"25_CR75","doi-asserted-by":"crossref","unstructured":"Thiele D, Ernst R, Diemer J (2015) Formal worst-case timing analysis of Ethernet TSN\u2019s time-aware and peristaltic shapers. In: IEEE vehicular networking conference (VNC)","DOI":"10.1109\/VNC.2015.7385584"},{"key":"25_CR76","doi-asserted-by":"crossref","unstructured":"Thiele D, Schlatow J, Axer P, Ernst R (2015) Formal timing analysis of can-to-ethernet gateway strategies in automotive networks. Real-Time Syst. \n            http:\/\/dx.doi.org\/10.1007\/s11241-015-9243-y","DOI":"10.1007\/s11241-015-9243-y"},{"key":"25_CR77","first-page":"259","volume-title":"Analysing real-time communications: controller area network (CAN)","author":"K Tindell","year":"1994","unstructured":"Tindell K, Hansson H, Wellings A (1994) Analysing real-time communications: controller area network (CAN). In: IEEE real-time systems symposium, pp\u00a0259\u2013263"},{"key":"25_CR78","unstructured":"Vector. CANbedded interaction layer. [Online] \n            http:\/\/www.vector.com"},{"key":"25_CR79","doi-asserted-by":"crossref","unstructured":"Yomsi P, Bertrand D, Navet N, Davis R (2012) Controller area network (CAN): response time analysis with offsets. In: 9th IEEE international workshop on factory communication systems, pp\u00a043\u201352","DOI":"10.1109\/WFCS.2012.6242539"},{"issue":"1","key":"25_CR80","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TII.2010.2089465","volume":"7","author":"H Zeng","year":"2011","unstructured":"Zeng H, Di\u00a0Natale M, Ghosal A, Sangiovanni-Vincentelli A (2011) Schedule optimization of time-triggered systems communicating over the FlexRay static segment. IEEE Transactions on Industrial Informatics 7(1):1\u201317","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"4","key":"25_CR81","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1109\/TII.2009.2032067","volume":"5","author":"H Zeng","year":"2009","unstructured":"Zeng H, Di\u00a0Natale M, Giusto P, Sangiovanni-Vincentelli A (2009) Stochastic analysis of CAN-based real-time automotive systems. IEEE Transactions on Industrial Informatics 5(4):388\u2013401","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"4","key":"25_CR82","doi-asserted-by":"crossref","first-page":"678","DOI":"10.1109\/TII.2010.2050143","volume":"6","author":"H Zeng","year":"2010","unstructured":"Zeng H, Di\u00a0Natale M, Giusto P, Sangiovanni-Vincentelli A (2010) Using statistical methods to compute the probability distribution of message response time in controller area network. IEEE Transactions on Industrial Informatics 6(4):678\u2013691","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"25_CR83","doi-asserted-by":"crossref","unstructured":"Zeng H, Ghosal A, Di\u00a0Natale M (2010) Timing analysis and optimization of FlexRay dynamic segment. In: 7th IEEE international conference on embedded software and systems, pp\u00a01932\u20131939","DOI":"10.1109\/CIT.2010.329"}],"container-title":["Handbook of Hardware\/Software Codesign"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-7267-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T08:01:47Z","timestamp":1506499307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-017-7267-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789401772662","9789401772679"],"references-count":83,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-7267-9_25","relation":{},"subject":[],"published":{"date-parts":[[2017]]}}}