{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:35:11Z","timestamp":1730219711132,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/emeit.2011.6023309","type":"proceedings-article","created":{"date-parts":[[2011,10,12]],"date-time":"2011-10-12T16:24:52Z","timestamp":1318436692000},"page":"1197-1204","source":"Crossref","is-referenced-by-count":5,"title":["A survey of study of FlexRay systems for automotive net"],"prefix":"10.1109","author":[{"given":"Xuewen","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenli","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"567","article-title":"Bus access optimization for distributed embedded systems based on schedulability analysis","author":"pop","year":"2007","journal-title":"Proc Conf Des Autom Test Eur"},{"key":"17","article-title":"An approach to the pervasive formal specificationand verification of an automotive system","author":"der rieden","year":"2005","journal-title":"Copyright"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSNC.2009.67"},{"key":"15","article-title":"An open standardized software architecture for the automotic industry","author":"autosar","year":"2008","journal-title":"Ist AUTOSAR Open Conferenc & 8th AUTOSAR Premium Member Conference"},{"journal-title":"Freescale FlexRayTM Communications System [EB\/OL]","year":"0","key":"16"},{"key":"13","first-page":"83","article-title":"An overview of formal verification for the time-triggered architecture","author":"rushby","year":"2002","journal-title":"FTRTFT '02"},{"journal-title":"Specification[EB\/OL]","year":"0","key":"14"},{"key":"11","article-title":"Towards the formal verfication of a distributed real-time automotive system","author":"endres","year":"2010","journal-title":"Proceedings of NFM"},{"key":"12","first-page":"185","article-title":"On the formal verification of the flexray communication protocol","author":"zhang","year":"2006","journal-title":"AVoCS"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2008.2008653"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.58"},{"key":"22","article-title":"Markov chain-based performance evaluation of flexray dynamic segment","author":"nielsen","year":"2007","journal-title":"6th International Workshop on Real Time Networks"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCE.2009.5012290"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2006.31"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ICICISYS.2009.5358231"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086249"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1093\/ietisy\/e91-d.8.2115"},{"key":"28","article-title":"A hybrid GA-based scheduling method for static segment in flexray systems","author":"ding","year":"2010","journal-title":"CCDC"},{"journal-title":"Protocol Overview","year":"2003","author":"temple","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2008.4676987"},{"key":"2","first-page":"41","article-title":"Brief introduction on standard of automotive electromagnetic compatibility at home and abroad","volume":"92","author":"liu","year":"2008","journal-title":"Communications Standardization"},{"key":"10","volume":"11","author":"jablonski","year":"2008","journal-title":"Timing Analysis as a Safety Case"},{"journal-title":"Automotive Electromagnetic Compatibility","year":"2003","author":"rybak","key":"1"},{"key":"30","first-page":"203","article-title":"A static scheduling method for distributed automotive control systems","volume":"48","author":"murakami","year":"2007","journal-title":"IPSJ Trans Adv Comput Syst"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090781"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SIU.2008.4632661"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630131"},{"journal-title":"FlexRay Communications System Protocol Specification Version 2 1 Revision A [EB\/OL]","year":"0","author":"ray","key":"5"},{"key":"31","first-page":"556","article-title":"Pengo a simulation methodology for worst-case response time estimation of distributed real-time systems","author":"samii","year":"2008","journal-title":"Proc Design Conf"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.132"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.43"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70718"}],"event":{"name":"Mechanical Engineering and Information Technology (EMEIT)","start":{"date-parts":[[2011,8,12]]},"location":"Harbin, Heilongjiang, China","end":{"date-parts":[[2011,8,14]]}},"container-title":["Proceedings of 2011 International Conference on Electronic & Mechanical Engineering and Information Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5996364\/6022987\/06023309.pdf?arnumber=6023309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T00:51:34Z","timestamp":1490057494000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6023309\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/emeit.2011.6023309","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}