{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T15:07:09Z","timestamp":1730300829112,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/tencon.2018.8650512","type":"proceedings-article","created":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T21:10:38Z","timestamp":1552943438000},"page":"1753-1757","source":"Crossref","is-referenced-by-count":0,"title":["Modeling TTEthernet Startup Service in SystemC for Verifying Fault-Tolerant Protocol under Fail-Omission Scenarios"],"prefix":"10.1109","author":[{"given":"Jing","family":"Li","sequence":"first","affiliation":[]},{"given":"Qiao","family":"Li","sequence":"additional","affiliation":[]},{"given":"Xueqian","family":"Tang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489749"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISPCS.2007.4383771"},{"key":"ref12","first-page":"61","article-title":"Simulation and Performance Verification for Clock Synchronization of Time-Triggered Ethernet","author":"wang","year":"2014","journal-title":"Electronics Optics and Control"},{"key":"ref13","article-title":"ETHERNET FORSPACE APPLICATION: TTETHERNET","author":"steiner","year":"2008","journal-title":"International SpaceWire Conference"},{"key":"ref14","article-title":"time-triggered Ethernet AS6802","author":"aerospace","year":"2011","journal-title":"SAE International"},{"key":"ref15","first-page":"122","article-title":"Research on Time-Triggerd-Ethernet Synchronization and Scheduling Mechanism","volume":"41","author":"liu","year":"2011","journal-title":"Aeronautical Computing Technique"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"10 399","DOI":"10.3390\/s150510399","article-title":"Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications","volume":"15","author":"stoppe","year":"2015","journal-title":"SENSORS"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457136"},{"key":"ref18","first-page":"51","article-title":"Verifying SystemC: a software model checking approach","author":"cimatti","year":"2010","journal-title":"Conference on Formal Methods in Computer-Aided Design"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6164991"},{"key":"ref4","first-page":"117","article-title":"SystemC: From the Ground Up","author":"black","year":"2005"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4271\/2017-01-2111"},{"key":"ref6","article-title":"Simulation and Performance Verification of Time-Triggered Ethernet Based on Stateflow","author":"yue","year":"2016","journal-title":"Journal of Telemetry Tracking and Command"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4108\/icst.simutools.2011.245510"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38853-8_29"},{"key":"ref7","article-title":"Research and Implementation of TTE Synchronization Technology","author":"guo","year":"2013","journal-title":"Ph D Dissertation"},{"key":"ref2","article-title":"TTEthernet Standard Research","author":"lan","year":"2013","journal-title":"Aeronautic Standardization & Quality"},{"key":"ref1","first-page":"49","article-title":"Application of TTE Communication Technology in Avionics System","volume":"22","author":"zhang","year":"2015","journal-title":"Electronics Optics and Control"},{"key":"ref9","first-page":"229","article-title":"Research on time synchronization algorithm of TTE multi-hop system based on IEEE1588 protocol","author":"q","year":"2017","journal-title":"Computer and Communications"},{"key":"ref20","first-page":"101","article-title":"NoC Testbench Based on SystemVerilog","volume":"33","author":"xia-zhi","year":"2011","journal-title":"Computer Engineering"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.06.039"}],"event":{"name":"TENCON 2018 - 2018 IEEE Region 10 Conference","start":{"date-parts":[[2018,10,28]]},"location":"Jeju, Korea (South)","end":{"date-parts":[[2018,10,31]]}},"container-title":["TENCON 2018 - 2018 IEEE Region 10 Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8643125\/8650051\/08650512.pdf?arnumber=8650512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:34:06Z","timestamp":1598229246000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8650512\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/tencon.2018.8650512","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}