{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:54:43Z","timestamp":1725666883820},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642285394"},{"type":"electronic","value":"9783642285400"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28540-0_7","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T14:48:22Z","timestamp":1331218102000},"page":"91-105","source":"Crossref","is-referenced-by-count":4,"title":["Verifying Worst Case Delays in Controller Area Network"],"prefix":"10.1007","author":[{"given":"Nikola","family":"Ivkovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario","family":"Kresic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai-Steffen","family":"Hielscher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"German","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"von der Wense, H.-C.: LIN Specification Package. LIN Consortium (2003)"},{"key":"7_CR2","unstructured":"MOST Cooperation: MOST Media Oriented Systems Transport. Rev 2.4 (2005)"},{"key":"7_CR3","unstructured":"FlexRay Consortium: FlexRay Communications System Protocol Specification. Ver. 2.1 (2005)"},{"key":"#cr-split#-7_CR4.1","unstructured":"ISO 11898-1:2003: Road vehicles - Controller area network"},{"key":"#cr-split#-7_CR4.2","unstructured":"(CAN) - Part 1: Data link layer and physical signalling. International Organization for Standardization (2003)"},{"key":"7_CR5","unstructured":"Tindell, K., Burns, A.: Guaranteed Message Latencies for Distributed Safety Critical Hard Real-Time Networks. Technical Report YCS 229, Dept. Computer Science, University of York (1994)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s11241-007-9012-7","volume":"35","author":"R.I. Davis","year":"2007","unstructured":"Davis, R.I., Burns, A., Bril, R.J., Lukkien, J.J.: Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems\u00a035, 239\u2013272 (2007)","journal-title":"Real-Time Systems"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Davare, A., DiNatale, M., Zhu, Q.: Period Optimization for Hard Real-time Distributed Automotive Systems. In: Proceedings of the 44th IEEE\/ACM Design Automaton Conference (2007)","DOI":"10.1109\/DAC.2007.375172"},{"key":"7_CR8","unstructured":"Krakora, J., Hanzalek, Z.: Verifying Real-Time Properties of CAN bus by Timed Automata. In: World Automotive Congress, FISITA 2004, Barcelona (2004)"},{"key":"7_CR9","unstructured":"Hamann, A., Racu, R., Ernst, R.: Formal Methods for Automotive Platform Analysis and Optimization. In: Proc. Future Trends in Automotive Electronics and Tool Integration Workshop (DATE Conference), Munich (2006)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Richardson, P., Sieh, L., Elkateeb, A., Haniak, P.: Real-time Controller Area Networks (CAN) managing transient surges. Integr. Comput.-Aided Eng.\u00a09 (2002)","DOI":"10.3233\/ICA-2002-9205"},{"key":"7_CR11","unstructured":"Klehmet, U., Herpel, T., Hielscher, K.-S.J., German, R.: Delay Bounds for CAN Communication in Automotive Applications. In: Bause, F., Buchholz, P. (eds.) Proceedings 14th GI\/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), Dortmund, Germany, March 31-April 2, pp. 157\u2013172. VDE Verlag (2008)"},{"key":"7_CR12","unstructured":"Lawrenz, W.: CAN Controller Area Network, 4th edn. H\u00fcthig Verlag (2000)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"7_CR14","unstructured":"UPPAAL, \n                    \n                      http:\/\/www.uppaal.org\/"},{"key":"7_CR15","unstructured":"Kresic, D., Hielscher, K.-S., German, R.: Specification and Implementation of CAN Arbitration in UPPAAL. Technical Report ISSN 2191-5008, Technische Fakult\u00e4t, University of Erlangen-Nuremberg (2010)"},{"key":"7_CR16","unstructured":"Tindell, K.W., Burns, A.: Guaranteeing message latencies on Controller Area Network (CAN). In: Proceedings of 1st International CAN Conference, pp. 1\u201311 (1994)"},{"issue":"8","key":"7_CR17","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1016\/0967-0661(95)00112-8","volume":"3","author":"K.W. Tindell","year":"1995","unstructured":"Tindell, K.W., Burns, A., Wellings, A.J.: Calculating Controller Area Network (CAN) message response times. Control Engineering Practice\u00a03(8), 1163\u20131169 (1995)","journal-title":"Control Engineering Practice"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Tindell, K.W., Hansson, H., Wellings, A.J.: Analysing real-time communications: Controller Area Network (CAN). In: Proceedings 15th Real-Time Systems Symposium (RTSS 1994), pp. 259\u2013263. IEEE Computer Society Press (1994)","DOI":"10.1109\/REAL.1994.342710"},{"key":"7_CR19","unstructured":"Bril, R.J., Lukkien, J.J., Davis, R.I., Burns, A.: Message response time analysis for ideal controller area network (CAN) refuted. CS-Report 06-19, Technische Universiteit Eindhoven (TU\/e) The Netherlands (2006)"}],"container-title":["Lecture Notes in Computer Science","Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28540-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T13:01:09Z","timestamp":1556456469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28540-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642285394","9783642285400"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28540-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}