{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T05:49:39Z","timestamp":1748929779942,"version":"3.37.3"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"crossref","award":["61527812"],"award-info":[{"award-number":["61527812"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"National Science and Technology Major Project","award":["2016ZX01038101"],"award-info":[{"award-number":["2016ZX01038101"]}]},{"name":"MIIT IT funds (Research and application of TCN key technologies) of China"},{"name":"National Key Technology R&D Program","award":["2015BAG14B01-02"],"award-info":[{"award-number":["2015BAG14B01-02"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Electron."],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1109\/tie.2018.2833022","type":"journal-article","created":{"date-parts":[[2018,5,3]],"date-time":"2018-05-03T19:22:42Z","timestamp":1525375362000},"page":"1345-1355","source":"Crossref","is-referenced-by-count":4,"title":["Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup"],"prefix":"10.1109","volume":"66","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5888-4238","authenticated-orcid":false,"given":"Lifan","family":"Su","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9608-5808","authenticated-orcid":false,"given":"Hai","family":"Wan","sequence":"additional","affiliation":[]},{"given":"Yufang","family":"Qin","sequence":"additional","affiliation":[]},{"given":"Xibin","family":"Zhao","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4971-590X","authenticated-orcid":false,"given":"Yue","family":"Gao","sequence":"additional","affiliation":[]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1709-6769","authenticated-orcid":false,"given":"Chenyang","family":"Lu","sequence":"additional","affiliation":[]},{"given":"Ming","family":"Gu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","first-page":"879","article-title":"On generating random network structures: Trees","author":"rodionov","year":"0","journal-title":"Proc Int Conf Comput Sci"},{"key":"ref10","first-page":"1","article-title":"The YICES SMT solver","volume":"2","author":"dutertre","year":"2006","journal-title":"Tool paper"},{"key":"ref11","first-page":"385","article-title":"Scheduling for fault-tolerant communication\n on the static segment of FlexRay","author":"tanasa","year":"0","journal-title":"Proc 31st Real-Time Systems Symp"},{"key":"ref12","first-page":"396","article-title":"Tolerating transient communication\n faults with online traffic scheduling","author":"marques","year":"0","journal-title":"Proc IEEE Int Conf Ind Technol"},{"key":"ref13","first-page":"4001","article-title":"Fault-tolerant topology selection for TTEthernet networks","author":"gavrilut","year":"0","journal-title":"Proc Safety Rel Complex Eng Syst Conf"},{"key":"ref14","first-page":"1","article-title":"A comparison of fault-tolerance concepts for IEEE 802.1 Time Sensitive Networks (TSN)","author":"kehrer","year":"0","journal-title":"Proc IEEE Emerging Technol Factory Autom"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2015.2509915"},{"key":"ref16","first-page":"1","article-title":"Synthesizing time-triggered schedules for switched networks with faulty links","author":"avni","year":"0","journal-title":"Proc Int Conf Embedded Softw"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498576"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.892851"},{"key":"ref19","first-page":"111","article-title":"A novel loop-free IP fast reroute algorithm","author":"enyedi","year":"0","journal-title":"Proc Meet Eur Netw Univ Companies Inf Commun Eng"},{"key":"ref28","first-page":"199","article-title":"Comparing time-triggered ethernet with FlexRay: An evaluation of competing approaches to real-time for in-vehicle\n networks","author":"steinbach","year":"0","journal-title":"Proc IEEE Int Workshop Factory Commun Syst"},{"key":"ref4","first-page":"375","article-title":"An evaluation of SMT-based schedule synthesis for time-triggered\n multi-hop networks","author":"steiner","year":"0","journal-title":"Proc 31st Real-Time Systems Symp"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.68"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.869934"},{"key":"ref6","first-page":"375","article-title":"Automated formal verification of the TTEthernet synchronization quality","author":"steiner","year":"0","journal-title":"Proc"},{"key":"ref29","first-page":"375","article-title":"An extension of the OMNeT++ INET\n framework for simulating real-time ethernet with high accuracy","author":"steinbach","year":"0","journal-title":"Proc Int Conf Simul Tools Tech"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/0471219282.eot281"},{"key":"ref8","first-page":"207","article-title":"Flexray—A communication network for automotive control systems","author":"makowitz","year":"0","journal-title":"Proc IEEE Int Workshop Factory Commun Syst"},{"key":"ref7","first-page":"1","article-title":"Communications for integrated modular avionics","author":"alena","year":"0","journal-title":"Proc IEEE Aerosp Conf"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2009.2035462"},{"journal-title":"IEEE 802 1d standard","year":"2004","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2010.2062473"},{"key":"ref20","first-page":"1","article-title":"RPFP: IP fast\n reroute with providing complete protection and without using tunnels","author":"zhang","year":"0","journal-title":"Proc IEEE\/ACM 21st Int Symp Qual Service"},{"key":"ref22","first-page":"2","article-title":"Edge-disjoint branchings","volume":"9","author":"edmonds","year":"1973","journal-title":"Combinatorial Algorithms"},{"key":"ref21","first-page":"1617","article-title":"Keep forwarding: Towards k-link failure resilient routing","author":"yang","year":"0","journal-title":"Proc IEEE InfoCom"},{"key":"ref24","first-page":"455","article-title":"Fast edge splitting and Edmonds’\n arborescence construction for unweighted graphs","author":"bhalgat","year":"0","journal-title":"Proc 19th Annu ACM-SIAM Symp Discrete Algorithms"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1995.1022"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2011.221"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2016.2516442"}],"container-title":["IEEE Transactions on Industrial Electronics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/41\/8478009\/08353827.pdf?arnumber=8353827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:52:14Z","timestamp":1657745534000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8353827\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":30,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tie.2018.2833022","relation":{},"ISSN":["0278-0046","1557-9948"],"issn-type":[{"type":"print","value":"0278-0046"},{"type":"electronic","value":"1557-9948"}],"subject":[],"published":{"date-parts":[[2019,2]]}}}