{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:41:58Z","timestamp":1780674118740,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,9]],"date-time":"2011-10-09T00:00:00Z","timestamp":1318118400000},"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":[[2011,10,9]]},"DOI":"10.1145\/2039370.2039394","type":"proceedings-article","created":{"date-parts":[[2011,10,11]],"date-time":"2011-10-11T14:29:11Z","timestamp":1318343351000},"page":"139-148","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems"],"prefix":"10.1145","author":[{"given":"Reinhard","family":"Schneider","sequence":"first","affiliation":[{"name":"TU Munich, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dip","family":"Goswami","sequence":"additional","affiliation":[{"name":"TU Munich, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sohaib","family":"Zafar","sequence":"additional","affiliation":[{"name":"TU Munich, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Lukasiewycz","sequence":"additional","affiliation":[{"name":"TUM CREATE, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[{"name":"TU Munich, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.81"},{"key":"e_1_3_2_1_2_1","unstructured":"The FlexRay Communications System Specifications Ver. 2.1. www.flexray.com.  The FlexRay Communications System Specifications Ver. 2.1. www.flexray.com."},{"key":"e_1_3_2_1_3_1","volume-title":"Slides presented at the Vector FlexRay Symposium","author":"Schedl A.","year":"2007"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2007.4297360"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. ERTS'08","author":"Grenier M.","year":"2008"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874829"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9040-3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629435.1629485"},{"issue":"99","key":"e_1_3_2_1_9_1","first-page":"1","volume":"7","author":"Zeng H.","year":"2011","journal-title":"Sangiovanni-Vincentelli. Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. IEEE Transactions on Industrial Informatics"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1266366.1266380"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/VETECF.2010.5594414"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2010.5551383"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874636"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. of RTSS'96","author":"Deto D.","year":"1996"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/DELTA.2011.22"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1950815.1950869"},{"key":"e_1_3_2_1_17_1","unstructured":"SIMTOOLS GmbH. www.simtools.at.  SIMTOOLS GmbH. www.simtools.at."},{"key":"e_1_3_2_1_18_1","unstructured":"Elektrobit. www.elektrobit.com.  Elektrobit. www.elektrobit.com."},{"key":"e_1_3_2_1_19_1","unstructured":"K. Zhou J. C. Doyle and K. Glover. Robust and Optimal Control. Prentice Hall Upper Saddle River NJ 1996.   K. Zhou J. C. Doyle and K. Glover. Robust and Optimal Control. Prentice Hall Upper Saddle River NJ 1996."},{"key":"e_1_3_2_1_20_1","unstructured":"Control Tutorials for Matlab. http:\/\/www.engin.umich.edu\/group\/ctm.  Control Tutorials for Matlab. http:\/\/www.engin.umich.edu\/group\/ctm."},{"key":"e_1_3_2_1_21_1","unstructured":"Modeling a Car Suspension in States Space \/ State Space Systems with Matlab. http:\/\/www.swarthmore.edu\/NatSci\/echeeve1\/Class\/e12\/Lectures\/SS\/html\/MatlabForSS.html.  Modeling a Car Suspension in States Space \/ State Space Systems with Matlab. http:\/\/www.swarthmore.edu\/NatSci\/echeeve1\/Class\/e12\/Lectures\/SS\/html\/MatlabForSS.html."},{"key":"e_1_3_2_1_22_1","unstructured":"Python-Constraint. http:\/\/labix.org\/python-constraint.  Python-Constraint. http:\/\/labix.org\/python-constraint."}],"event":{"name":"ESWeek '11: Seventh Embedded Systems Week","location":"Taipei Taiwan","acronym":"ESWeek '11","sponsor":["CEDA","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"]},"container-title":["Proceedings of the seventh IEEE\/ACM\/IFIP international conference on Hardware\/software codesign and system synthesis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2039370.2039394","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2039370.2039394","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:36Z","timestamp":1750240476000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2039370.2039394"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,9]]},"references-count":22,"alternative-id":["10.1145\/2039370.2039394","10.1145\/2039370"],"URL":"https:\/\/doi.org\/10.1145\/2039370.2039394","relation":{},"subject":[],"published":{"date-parts":[[2011,10,9]]},"assertion":[{"value":"2011-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}