{"id":"https://openalex.org/W4416429934","doi":"https://doi.org/10.1109/iccad66269.2025.11240753","title":"ISO 26262-Aligned Functional Safety Verification Framework with Explainable Graph Neural Network","display_name":"ISO 26262-Aligned Functional Safety Verification Framework with Explainable Graph Neural Network","publication_year":2025,"publication_date":"2025-10-26","ids":{"openalex":"https://openalex.org/W4416429934","doi":"https://doi.org/10.1109/iccad66269.2025.11240753"},"language":null,"primary_location":{"id":"doi:10.1109/iccad66269.2025.11240753","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240753","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","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/A5100538103","display_name":"Yutao Sun","orcid":null},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yutao Sun","raw_affiliation_strings":["Beijing University of Posts and Telecommunications,School of Integrated Circuits,Beijing,China"],"affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications,School of Integrated Circuits,Beijing,China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043587907","display_name":"Jiehua Huang","orcid":null},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiehua Huang","raw_affiliation_strings":["Beijing University of Posts and Telecommunications,School of Integrated Circuits,Beijing,China"],"affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications,School of Integrated Circuits,Beijing,China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081322261","display_name":"Xianzhen Liao","orcid":"https://orcid.org/0000-0002-6636-8647"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiangping Liao","raw_affiliation_strings":["Beijing University of Posts and Telecommunications,School of Integrated Circuits,Beijing,China"],"affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications,School of Integrated Circuits,Beijing,China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032989378","display_name":"Zhijun Wang","orcid":"https://orcid.org/0000-0002-0321-7884"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhijun Wang","raw_affiliation_strings":["Beijing University of Posts and Telecommunications,School of Integrated Circuits,Beijing,China"],"affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications,School of Integrated Circuits,Beijing,China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086598535","display_name":"Liping Liang","orcid":"https://orcid.org/0009-0007-6809-2537"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liping Liang","raw_affiliation_strings":["Beijing University of Posts and Telecommunications,School of Integrated Circuits,Beijing,China"],"affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications,School of Integrated Circuits,Beijing,China","institution_ids":["https://openalex.org/I139759216"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100538103"],"corresponding_institution_ids":["https://openalex.org/I139759216"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19982501,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.24570000171661377,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.24570000171661377,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.12860000133514404,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.10930000245571136,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/interpretability","display_name":"Interpretability","score":0.7017999887466431},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.5848000049591064},{"id":"https://openalex.org/keywords/functional-safety","display_name":"Functional safety","score":0.5462999939918518},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.536300003528595},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5220999717712402},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.3919000029563904},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.3878999948501587},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.3776000142097473},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.3702000081539154}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7070000171661377},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.7017999887466431},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.5848000049591064},{"id":"https://openalex.org/C148493468","wikidata":"https://www.wikidata.org/wiki/Q2646951","display_name":"Functional safety","level":2,"score":0.5462999939918518},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.536300003528595},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5220999717712402},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.3919000029563904},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39079999923706055},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.3878999948501587},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.3776000142097473},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.3702000081539154},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36550000309944153},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.3571999967098236},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.34459999203681946},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.3366999924182892},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3287999927997589},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.3249000012874603},{"id":"https://openalex.org/C87833898","wikidata":"https://www.wikidata.org/wiki/Q1060280","display_name":"Advanced driver assistance systems","level":2,"score":0.3208000063896179},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.32030001282691956},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.3190000057220459},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.31779998540878296},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3131999969482422},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.30219998955726624},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.29330000281333923},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.28459998965263367},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2759000062942505},{"id":"https://openalex.org/C2778520156","wikidata":"https://www.wikidata.org/wiki/Q449343","display_name":"Automotive electronics","level":3,"score":0.26989999413490295},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.26499998569488525}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad66269.2025.11240753","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240753","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W2912460102","https://openalex.org/W2938993579","https://openalex.org/W2945827377","https://openalex.org/W2969352854","https://openalex.org/W2979282337","https://openalex.org/W2990393443","https://openalex.org/W3041678444","https://openalex.org/W3048039335","https://openalex.org/W3142835241","https://openalex.org/W3162621823","https://openalex.org/W3215929450","https://openalex.org/W4210454259","https://openalex.org/W4231449374","https://openalex.org/W4294310855","https://openalex.org/W4312293526","https://openalex.org/W4383750184","https://openalex.org/W4385237263","https://openalex.org/W4390098507","https://openalex.org/W4390776924","https://openalex.org/W4401568173","https://openalex.org/W4402389806","https://openalex.org/W4404133792","https://openalex.org/W4408048129"],"related_works":[],"abstract_inverted_index":{"The":[0],"growing":[1],"complexity":[2],"and":[3,15,37,97,103,122,205],"integration":[4],"of":[5,46],"automotive":[6,52,67,212],"electronic":[7],"systems,":[8],"driven":[9],"by":[10,139],"advancements":[11],"in":[12,66,125,211],"intelligent":[13],"vehicles":[14],"autonomous":[16],"driving,":[17],"make":[18],"functional":[19],"safety":[20,197],"(FuSa)":[21],"verification":[22,65,210],"critical":[23,82,101],"for":[24,50,63,76,208],"ensuring":[25,164],"system":[26],"reliability.":[27],"Traditional":[28],"fault":[29,83,126,152],"injection":[30,153],"(FI)":[31],"methods":[32,146],"face":[33],"inefficiencies,":[34],"scalability":[35],"limitations,":[36],"interpretability":[38],"gaps,":[39],"hard":[40],"to":[41,80,89,99,119,143],"meet":[42],"the":[43,115,131,135,151,174],"stringent":[44],"requirements":[45],"ISO":[47,167],"26262":[48,168],"standards":[49],"safety-critical":[51],"systems.":[53],"This":[54],"paper":[55],"proposes":[56],"an":[57],"explainable":[58,156],"Graph":[59],"Neural":[60],"Network(GNN)-based":[61],"framework":[62,116,136,175],"FuSa":[64,209],"electronics":[68],"through":[69,108],"three":[70],"core":[71],"contributions:":[72],"graph":[73],"neural":[74],"networks":[75],"modeling":[77],"circuit":[78],"structures":[79],"identify":[81],"nodes,":[84],"gradient-driven":[85],"feature":[86,172,182],"importance":[87],"analysis":[88],"optimize":[90],"selective":[91],"hardening":[92],"with":[93,166,179,195],"minimal":[94,181],"resource":[95],"overhead":[96,187],"GNNExplainer":[98],"visualize":[100],"nodes":[102],"connections":[104],"driving":[105],"fault-criticality":[106],"predictions":[107],"subgraph":[109],"analysis.":[110],"Validated":[111],"across":[112],"diverse":[113],"circuits":[114],"achieves":[117,176],"up":[118],"99.6%":[120],"precision":[121],"99.8%":[123],"F1-score":[124],"detection":[127],"while":[128,147,188],"significantly":[129,184],"reducing":[130,185],"simulation":[132],"time.":[133],"Notably,":[134],"improves":[137],"accuracy":[138,178],"approximately":[140],"5%":[141],"compared":[142],"state-of-the-art":[144],"(SOTA)":[145],"requiring":[148],"only":[149],"half":[150],"data.":[154],"Integrated":[155],"artificial":[157],"intelligence":[158],"techniques":[159],"provide":[160],"transparent":[161],"decision":[162],"traces,":[163],"compliance":[165],"traceability":[169],"requirements.":[170],"Through":[171],"selection,":[173],"comparable":[177],"a":[180,202],"set,":[183],"computational":[186],"maintaining":[189],"performance.":[190],"By":[191],"bridging":[192],"AI-driven":[193],"automation":[194],"rigorous":[196],"certification,":[198],"this":[199],"work":[200],"establishes":[201],"scalable,":[203],"efficient,":[204],"interpretable":[206],"solution":[207],"SoCs.":[213]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-11-20T00:00:00"}