{"id":"https://openalex.org/W7117488426","doi":"https://doi.org/10.1145/3742875.3754683","title":"Optimal Real-time Inter-zone Message Communication via Ethernet Backbone in Software Defined Vehicles","display_name":"Optimal Real-time Inter-zone Message Communication via Ethernet Backbone in Software Defined Vehicles","publication_year":2025,"publication_date":"2025-09-28","ids":{"openalex":"https://openalex.org/W7117488426","doi":"https://doi.org/10.1145/3742875.3754683"},"language":null,"primary_location":{"id":"doi:10.1145/3742875.3754683","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3742875.3754683","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Symposium on Formal Methods and Models for System Design","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012731062","display_name":"Ashiqur Rahaman Molla","orcid":null},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Ashiqur Rahaman Molla","raw_affiliation_strings":["IIT Kharagpur, Kharagpur, India"],"raw_orcid":"https://orcid.org/0009-0002-6711-9535","affiliations":[{"raw_affiliation_string":"IIT Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017440447","display_name":"R. Kota","orcid":null},"institutions":[{"id":"https://openalex.org/I39244652","display_name":"Indian Institute of Information Technology, Design and Manufacturing, Kancheepuram","ror":"https://ror.org/023c9pb11","country_code":"IN","type":"education","lineage":["https://openalex.org/I39244652"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ram Mohan Chowdary Kota","raw_affiliation_strings":["IIITDM Kancheepuram, Chennai, India"],"raw_orcid":"https://orcid.org/0009-0007-2713-4286","affiliations":[{"raw_affiliation_string":"IIITDM Kancheepuram, Chennai, India","institution_ids":["https://openalex.org/I39244652"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107512437","display_name":"Jaishree Mayank","orcid":null},"institutions":[{"id":"https://openalex.org/I189109744","display_name":"Indian Institute of Technology Dhanbad","ror":"https://ror.org/013v3cc28","country_code":"IN","type":"education","lineage":["https://openalex.org/I189109744"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Jaishree Mayank","raw_affiliation_strings":["IIT(ISM) Dhanbad, Dhanbad, India"],"raw_orcid":"https://orcid.org/0009-0001-6278-5742","affiliations":[{"raw_affiliation_string":"IIT(ISM) Dhanbad, Dhanbad, India","institution_ids":["https://openalex.org/I189109744"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Arnab Sarkar","orcid":"https://orcid.org/0000-0002-5930-2180"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Arnab Sarkar","raw_affiliation_strings":["IIT Kharagpur, Kharagpur, India"],"raw_orcid":"https://orcid.org/0000-0002-5930-2180","affiliations":[{"raw_affiliation_string":"IIT Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101597015","display_name":"Arijit Mondal","orcid":"https://orcid.org/0000-0001-5060-1427"},"institutions":[{"id":"https://openalex.org/I132153292","display_name":"Indian Institute of Technology Patna","ror":"https://ror.org/01ft5vz71","country_code":"IN","type":"education","lineage":["https://openalex.org/I132153292"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Arijit Mondal","raw_affiliation_strings":["IIT Patna, Bihar, India"],"raw_orcid":"https://orcid.org/0000-0001-5060-1427","affiliations":[{"raw_affiliation_string":"IIT Patna, Bihar, India","institution_ids":["https://openalex.org/I132153292"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085224640","display_name":"Soumyajit Dey","orcid":"https://orcid.org/0000-0001-9329-6389"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Soumyajit Dey","raw_affiliation_strings":["IIT Kharagpur, Kharagpur, India"],"raw_orcid":"https://orcid.org/0000-0001-9329-6389","affiliations":[{"raw_affiliation_string":"IIT Kharagpur, Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5012731062"],"corresponding_institution_ids":["https://openalex.org/I145894827"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.64621816,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"72","last_page":"80"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12216","display_name":"Network Time Synchronization Technologies","score":0.7476999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12216","display_name":"Network Time Synchronization Technologies","score":0.7476999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.2004999965429306,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.020600000396370888,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/connection-oriented-ethernet","display_name":"Connection-oriented Ethernet","score":0.5314000248908997},{"id":"https://openalex.org/keywords/ethernet","display_name":"Ethernet","score":0.5275999903678894},{"id":"https://openalex.org/keywords/carrier-ethernet","display_name":"Carrier Ethernet","score":0.5220000147819519},{"id":"https://openalex.org/keywords/multiplexing","display_name":"Multiplexing","score":0.4410000145435333},{"id":"https://openalex.org/keywords/ethernet-over-pdh","display_name":"Ethernet over PDH","score":0.4392000138759613},{"id":"https://openalex.org/keywords/ethernet-over-sdh","display_name":"Ethernet over SDH","score":0.42890000343322754},{"id":"https://openalex.org/keywords/metro-ethernet","display_name":"Metro Ethernet","score":0.4043000042438507},{"id":"https://openalex.org/keywords/network-calculus","display_name":"Network calculus","score":0.3682999908924103},{"id":"https://openalex.org/keywords/telecommunications-network","display_name":"Telecommunications network","score":0.36550000309944153},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.3619999885559082}],"concepts":[{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.7487999796867371},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7325999736785889},{"id":"https://openalex.org/C186844356","wikidata":"https://www.wikidata.org/wiki/Q5161679","display_name":"Connection-oriented Ethernet","level":4,"score":0.5314000248908997},{"id":"https://openalex.org/C172173386","wikidata":"https://www.wikidata.org/wiki/Q79984","display_name":"Ethernet","level":2,"score":0.5275999903678894},{"id":"https://openalex.org/C151898751","wikidata":"https://www.wikidata.org/wiki/Q5046350","display_name":"Carrier Ethernet","level":3,"score":0.5220000147819519},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5174000263214111},{"id":"https://openalex.org/C19275194","wikidata":"https://www.wikidata.org/wiki/Q222903","display_name":"Multiplexing","level":2,"score":0.4410000145435333},{"id":"https://openalex.org/C195801177","wikidata":"https://www.wikidata.org/wiki/Q5403360","display_name":"Ethernet over PDH","level":5,"score":0.4392000138759613},{"id":"https://openalex.org/C30188135","wikidata":"https://www.wikidata.org/wiki/Q1118613","display_name":"Ethernet over SDH","level":4,"score":0.42890000343322754},{"id":"https://openalex.org/C151643298","wikidata":"https://www.wikidata.org/wiki/Q3050434","display_name":"Metro Ethernet","level":4,"score":0.4043000042438507},{"id":"https://openalex.org/C2778693205","wikidata":"https://www.wikidata.org/wiki/Q7000967","display_name":"Network calculus","level":3,"score":0.3682999908924103},{"id":"https://openalex.org/C192126672","wikidata":"https://www.wikidata.org/wiki/Q1068715","display_name":"Telecommunications network","level":2,"score":0.36550000309944153},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.3619999885559082},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.3596999943256378},{"id":"https://openalex.org/C88796919","wikidata":"https://www.wikidata.org/wiki/Q1142907","display_name":"Backbone network","level":2,"score":0.3589000105857849},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.3490999937057495},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.3490000069141388},{"id":"https://openalex.org/C513196756","wikidata":"https://www.wikidata.org/wiki/Q3295108","display_name":"Media access control","level":3,"score":0.3294999897480011},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.3278999924659729},{"id":"https://openalex.org/C2776257435","wikidata":"https://www.wikidata.org/wiki/Q1576430","display_name":"Bandwidth (computing)","level":2,"score":0.3228999972343445},{"id":"https://openalex.org/C50661577","wikidata":"https://www.wikidata.org/wiki/Q901831","display_name":"Time-division multiplexing","level":3,"score":0.3068999946117401},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.3059000074863434},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.3057999908924103},{"id":"https://openalex.org/C83529365","wikidata":"https://www.wikidata.org/wiki/Q4972103","display_name":"Broadcast communication network","level":2,"score":0.2937000095844269},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.2867000102996826},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.2856999933719635},{"id":"https://openalex.org/C158207573","wikidata":"https://www.wikidata.org/wiki/Q5747224","display_name":"Heterogeneous network","level":4,"score":0.2851000130176544},{"id":"https://openalex.org/C137471899","wikidata":"https://www.wikidata.org/wiki/Q11381","display_name":"Local area network","level":2,"score":0.28220000863075256},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.2775999903678894},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.2775000035762787},{"id":"https://openalex.org/C173512123","wikidata":"https://www.wikidata.org/wiki/Q5978010","display_name":"Statistical time division multiplexing","level":3,"score":0.2712000012397766},{"id":"https://openalex.org/C158156997","wikidata":"https://www.wikidata.org/wiki/Q1416645","display_name":"Models of communication","level":2,"score":0.2687000036239624},{"id":"https://openalex.org/C68178114","wikidata":"https://www.wikidata.org/wiki/Q5403359","display_name":"Ethernet flow control","level":3,"score":0.2685000002384186},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.2639000117778778}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3742875.3754683","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3742875.3754683","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Symposium on Formal Methods and Models for System Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1951928664","https://openalex.org/W1996944555","https://openalex.org/W2048202374","https://openalex.org/W2168584995","https://openalex.org/W2535850491","https://openalex.org/W2552372042","https://openalex.org/W2625820481","https://openalex.org/W2983260997","https://openalex.org/W3170788757","https://openalex.org/W3182733970","https://openalex.org/W3196030705","https://openalex.org/W4281653835","https://openalex.org/W4282020622","https://openalex.org/W4315783889","https://openalex.org/W4393934422","https://openalex.org/W4399070579","https://openalex.org/W4400407673","https://openalex.org/W4400810480"],"related_works":[],"abstract_inverted_index":{"The":[0],"future":[1],"of":[2,24,123,167,195],"automotive":[3],"communication":[4,40,87,237],"hinges":[5],"on":[6,43,176],"integrating":[7],"legacy":[8],"real-time":[9,236],"protocols":[10,53],"with":[11],"advanced":[12],"Ethernet":[13,60,168,183],"technologies":[14],"to":[15,119,134,142],"empower":[16],"Software-Defined":[17],"Vehicles":[18],"(SDVs).":[19],"SDVs":[20,81],"propose":[21],"the":[22,25,44,66,71,96,120,124,196,224],"adoption":[23],"zonal":[26,160],"computing":[27],"architectures,":[28],"which":[29],"centralize":[30],"vehicle":[31],"functions":[32],"into":[33,171],"distinct":[34,51],"zones":[35,48],"connected":[36],"by":[37],"a":[38,77,102,164,228],"high-speed":[39],"backbone.":[41,98],"While":[42],"one":[45],"hand,":[46],"different":[47],"can":[49],"employ":[50],"network":[52,110,139],"like":[54],"CAN,":[55],"FlexRay,":[56],"etc.,":[57],"Time":[58],"Sensitive":[59],"(IEEE802.1Q)":[61],"is":[62],"being":[63],"projected":[64],"as":[65,227],"most":[67],"promising":[68],"protocol":[69],"for":[70,90,105,156,231],"central":[72,97],"backbone":[73],"network.":[74],"With":[75],"such":[76],"heterogeneous":[78,109],"distributed":[79],"platform,":[80],"demand":[82],"reliable":[83],"and":[84,117,180,188,218,234],"deterministic":[85],"end-to-end":[86],"strategies,":[88],"especially":[89],"zone-to-backbone":[91],"or":[92],"interzonal":[93],"traffic":[94,216],"via":[95],"Although,":[99],"there":[100],"exist":[101],"few":[103],"strategies":[104],"message":[106,161,178],"transmission":[107],"across":[108],"domains,":[111],"they":[112,127],"are":[113],"ad-hoc":[114,144],"in":[115,211,238],"nature":[116],"oblivious":[118],"precise":[121],"demands":[122],"control":[125],"applications":[126],"cater":[128],"to.":[129],"These":[130],"drawbacks":[131],"may":[132],"lead":[133],"poor":[135],"bandwidth":[136],"utilization":[137,213],"and/or":[138],"congestion.":[140],"Opposed":[141],"these":[143],"techniques,":[145],"this":[146],"work":[147],"proposes":[148],"an":[149],"optimal":[150],"SMT":[151],"(Satisfiability":[152],"Modulo":[153],"Theories)":[154],"formulation":[155,198],"i)":[157],"multiplexing":[158],"periodic":[159],"frames":[162,184],"onto":[163],"minimum":[165],"number":[166],"frames,":[169],"taking":[170],"account":[172],"(m,":[173],"k)-firmness-based":[174],"relaxations":[175],"specific":[177],"flows,":[179],"ii)":[181],"routing":[182],"between":[185],"specified":[186],"source":[187],"destination":[189],"switches.":[190],"Through":[191],"extensive":[192],"experimental":[193],"evaluations":[194],"proposed":[197,225],"using":[199],"Z3":[200],"solver":[201],"demonstrate":[202],"substantial":[203],"performance":[204],"improvements,":[205],"showing":[206],"at":[207],"least":[208],"30%":[209],"gain":[210],"frame":[212],"under":[214],"diverse":[215],"conditions":[217],"timing":[219],"constraints.":[220],"Our":[221],"results":[222],"validate":[223],"approach":[226],"robust":[229],"solution":[230],"ensuring":[232],"efficient":[233],"predictable":[235],"futuristic":[239],"SDVs.":[240]},"counts_by_year":[],"updated_date":"2025-12-30T23:08:21.542490","created_date":"2025-12-29T00:00:00"}