{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T04:48:49Z","timestamp":1777610929826,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T00:00:00Z","timestamp":1287878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,10,24]]},"DOI":"10.1145\/1879021.1879039","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"129-138","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Schedulability and end-to-end latency in distributed ECU networks"],"prefix":"10.1145","author":[{"given":"A. C.","family":"Rajeev","sequence":"first","affiliation":[{"name":"General Motors Global Research and Development, Bangalore, India"}]},{"given":"Swarup","family":"Mohalik","sequence":"additional","affiliation":[{"name":"General Motors Global Research and Development, Bangalore, India"}]},{"given":"Manoj G.","family":"Dixit","sequence":"additional","affiliation":[{"name":"General Motors Global Research and Development, Bangalore, India"}]},{"given":"Devesh B.","family":"Chokshi","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[{"name":"General Motors Global Research and Development, Bangalore, India"}]}],"member":"320","published-online":{"date-parts":[[2010,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","first-page":"60","volume-title":"FORMATS","author":"Amnell T.","year":"2003","unstructured":"T. Amnell , E. Fersman , L. Mokrushin , P. Pettersson , and W. Yi . Times: A tool for schedulability analysis and code generation of real-time systems . In FORMATS , pages 60 -- 72 , 2003 . T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. Times: A tool for schedulability analysis and code generation of real-time systems. In FORMATS, pages 60--72, 2003."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289964"},{"key":"e_1_3_2_1_4_1","volume-title":"Model Checking","author":"Clarke E.","year":"2000","unstructured":"E. Clarke , O. Grumberg , and D. Peled . Model Checking . The MIT Press , 2000 . E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 2000."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278553"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9012-7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_15"},{"key":"e_1_3_2_1_8_1","volume-title":"CRTS","author":"Feiertag N.","year":"2008","unstructured":"N. Feiertag , K. Richter , J. Nordlander , and J. Jonsson . A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics . In CRTS , 2008 . N. Feiertag, K. Richter, J. Nordlander, and J. Jonsson. A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In CRTS, 2008."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.019"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11599555_20"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11596356_24"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_3_2_1_13_1","volume-title":"HyTech: A model checker for hybrid systems. STTT, 1(1--2):110--122","author":"Henzinger T. A.","year":"1997","unstructured":"T. A. Henzinger , P.-H. Ho , and H. Wong-Toi . HyTech: A model checker for hybrid systems. STTT, 1(1--2):110--122 , 1997 . T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: A model checker for hybrid systems. STTT, 1(1--2):110--122, 1997."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.5.390"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2774"},{"key":"e_1_3_2_1_16_1","volume-title":"UPPAAL in a nutshell","author":"Larsen K. G.","year":"1997","unstructured":"K. G. Larsen , P. Pettersson , and W. Yi . UPPAAL in a nutshell , 1997 . K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a nutshell, 1997."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.32"},{"key":"e_1_3_2_1_18_1","unstructured":"MLDesigner. ML Design Technologies. http:\/\/www.mldesigner.com.  MLDesigner. ML Design Technologies. http:\/\/www.mldesigner.com."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391544"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.16"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142980.1142984"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/774789.774828"},{"key":"e_1_3_2_1_23_1","unstructured":"Promela language manual. http:\/\/www.spinroot.com\/spin\/Man\/promela.html.  Promela language manual. http:\/\/www.spinroot.com\/spin\/Man\/promela.html."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1767111.1767112"},{"key":"e_1_3_2_1_25_1","unstructured":"SPIN model checker. http:\/\/www.spinroot.com.  SPIN model checker. http:\/\/www.spinroot.com."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"e_1_3_2_1_27_1","volume-title":"Department of Computer Science","author":"Tindell K.","year":"1994","unstructured":"K. Tindell . Adding time-offsets to schedulability analysis. Technical report , Department of Computer Science , University of York , 1994 . K. Tindell. Adding time-offsets to schedulability analysis. Technical report, Department of Computer Science, University of York, 1994."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-042237-4.50010-X"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/518908.828470"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0019-5"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.4271\/2006-01-1468"},{"issue":"4","key":"e_1_3_2_1_32_1","article-title":"Stochastic analysis of distributed real-time automotive systems","volume":"5","author":"Zeng H.","year":"2009","unstructured":"H. Zeng , M. D. Natale , P. Giusto , and A. Sangiovanni-Vincentelli . Stochastic analysis of distributed real-time automotive systems . IEEE Trans. on Industrial Informatics , 5 ( 4 ), 2009 . H. Zeng, M. D. Natale, P. Giusto, and A. Sangiovanni-Vincentelli. Stochastic analysis of distributed real-time automotive systems. IEEE Trans. on Industrial Informatics, 5(4), 2009.","journal-title":"IEEE Trans. on Industrial Informatics"},{"key":"e_1_3_2_1_33_1","first-page":"93","volume-title":"DATE","author":"Zheng W.","year":"2007","unstructured":"W. Zheng , M. D. Natale , C. Pinello , P. Giusto , and A. Sangiovanni-Vincentelli . Synthesis of task and message activation models in real-time distributed automotive systems . In DATE , pages 93 -- 98 , 2007 .. W. Zheng, M. D. Natale, C. Pinello, P. Giusto, and A. Sangiovanni-Vincentelli. Synthesis of task and message activation models in real-time distributed automotive systems. In DATE, pages 93--98, 2007.."}],"event":{"name":"ESWeek '10: Sixth Embedded Systems Week","location":"Scottsdale Arizona USA","acronym":"ESWeek '10","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","CEDA","IEEE CAS","IEEE CS"]},"container-title":["Proceedings of the tenth ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879021.1879039","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1879021.1879039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:09:05Z","timestamp":1750248545000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879021.1879039"}},"subtitle":["formal modeling and precise estimation"],"short-title":[],"issued":{"date-parts":[[2010,10,24]]},"references-count":33,"alternative-id":["10.1145\/1879021.1879039","10.1145\/1879021"],"URL":"https:\/\/doi.org\/10.1145\/1879021.1879039","relation":{},"subject":[],"published":{"date-parts":[[2010,10,24]]},"assertion":[{"value":"2010-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}