{"id":"https://openalex.org/W7171552853","doi":"https://doi.org/10.48550/arxiv.2607.24398","title":"DeepNC: A Fast GNN-based Pre-Verification Surrogate for TSN Configuration","display_name":"DeepNC: A Fast GNN-based Pre-Verification Surrogate for TSN Configuration","publication_year":2026,"publication_date":"2026-07-27","ids":{"openalex":"https://openalex.org/W7171552853","doi":"https://doi.org/10.48550/arxiv.2607.24398"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.24398","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.24398","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.24398","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5143796332","display_name":"Jiayi Zhu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhu, Jiayi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5143857998","display_name":"Jing Lin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lin, Jing","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107615718","display_name":"Zelong Tian","orcid":"https://orcid.org/0009-0004-8682-7048"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tian, Zelong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5143844928","display_name":"Feng He","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"He, Feng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5143842706","display_name":"Luxi Zhao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Luxi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12216","display_name":"Network Time Synchronization Technologies","score":0.9419000148773193,"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.9419000148773193,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.00570000009611249,"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.005100000184029341,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.7354999780654907},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6668000221252441},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6265000104904175},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.3894999921321869},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.35740000009536743},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.34700000286102295},{"id":"https://openalex.org/keywords/formal-proof","display_name":"Formal proof","score":0.33230000734329224}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.754800021648407},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.7354999780654907},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6668000221252441},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6265000104904175},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.3894999921321869},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.35740000009536743},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3472000062465668},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.34700000286102295},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.33230000734329224},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.32710000872612},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.31439998745918274},{"id":"https://openalex.org/C2778693205","wikidata":"https://www.wikidata.org/wiki/Q7000967","display_name":"Network calculus","level":3,"score":0.3111000061035156},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.28139999508857727},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27489998936653137},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.26899999380111694},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.26579999923706055},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.26420000195503235},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.25920000672340393},{"id":"https://openalex.org/C48921125","wikidata":"https://www.wikidata.org/wiki/Q10861030","display_name":"Linear regression","level":2,"score":0.2581999897956848}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.24398","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.24398","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.24398","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.24398","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Time-Sensitive":[0],"Networking":[1],"(TSN)":[2],"is":[3],"critical":[4],"to":[5],"deterministic":[6],"communication":[7],"in":[8],"safety-critical":[9],"domains,":[10],"with":[11],"formal":[12,83,95,139],"verification":[13,96,140,150],"such":[14],"as":[15,20,87],"Network":[16,74],"Calculus":[17],"(NC)":[18],"serving":[19],"the":[21,38,43,64,117,124,136],"cornerstone":[22],"for":[23,46,76,98],"schedulability":[24,32],"guarantees.":[25],"However,":[26],"during":[27,142],"automated":[28],"configuration-space":[29,78,143],"exploration,":[30],"repeated":[31],"analysis":[33],"consumes":[34],"over":[35,112],"90%":[36],"of":[37,67,138,156],"total":[39],"configuration":[40],"time,":[41],"becoming":[42],"primary":[44],"bottleneck":[45],"large-scale":[47],"TSN":[48,77],"configurations.":[49],"To":[50],"address":[51],"this":[52],"challenge,":[53],"we":[54],"propose":[55],"DeepNC,":[56],"a":[57,71,88],"novel":[58],"pre-verification":[59,90],"surrogate":[60],"module":[61],"that":[62,104],"pioneers":[63],"structural":[65],"fusion":[66],"NC":[68],"principles":[69],"into":[70],"Graph":[72],"Neural":[73],"(GNN)":[75],"exploration.":[79],"Rather":[80],"than":[81,153],"replacing":[82],"verification,":[84],"DeepNC":[85,105],"acts":[86],"high-speed":[89],"filter,":[91],"reserving":[92],"computationally":[93],"expensive":[94],"only":[97],"promising":[99],"candidates.":[100],"Extensive":[101],"evaluations":[102],"demonstrate":[103],"significantly":[106],"improves":[107],"worst-case":[108],"delay":[109],"prediction":[110],"accuracy":[111],"state-of-the-art":[113],"learning-based":[114],"methods,":[115],"increasing":[116],"average":[118,125],"$R^2$":[119],"by":[120,127,145,151],"55.8%":[121],"and":[122],"reducing":[123],"MAPE":[126],"65.3%.":[128],"More":[129],"importantly,":[130],"its":[131],"high-fidelity":[132],"regression":[133],"substantially":[134],"reduces":[135],"number":[137],"calls":[141],"exploration":[144],"93.25%,":[146],"while":[147],"accelerating":[148],"NC-based":[149],"more":[152],"two":[154],"orders":[155],"magnitude.":[157]},"counts_by_year":[],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2026-07-29T00:00:00"}