{"id":"https://openalex.org/W7165935482","doi":"https://doi.org/10.48550/arxiv.2606.25296","title":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","display_name":"SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety","publication_year":2026,"publication_date":"2026-06-24","ids":{"openalex":"https://openalex.org/W7165935482","doi":"https://doi.org/10.48550/arxiv.2606.25296"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.25296","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.25296","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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.2606.25296","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113365649","display_name":"Xuanyi Tan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tan, Xuanyi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090354528","display_name":"Arjun Chaudhuri","orcid":"https://orcid.org/0000-0001-9353-6397"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chaudhuri, Arjun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139335900","display_name":"Rubin Parekhji","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Parekhji, Rubin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5033880864","display_name":"Krishnendu Chakrabarty","orcid":"https://orcid.org/0000-0003-4475-6435"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chakrabarty, Krishnendu","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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.24650000035762787,"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"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.24650000035762787,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.24410000443458557,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.08540000021457672,"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/assertion","display_name":"Assertion","score":0.7396000027656555},{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.652899980545044},{"id":"https://openalex.org/keywords/criticality","display_name":"Criticality","score":0.5845000147819519},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.4250999987125397},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.38519999384880066},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.37880000472068787},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.374099999666214},{"id":"https://openalex.org/keywords/failure-mode-effects-and-criticality-analysis","display_name":"Failure mode, effects, and criticality analysis","score":0.3625999987125397},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.3391999900341034}],"concepts":[{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.7396000027656555},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6651999950408936},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.652899980545044},{"id":"https://openalex.org/C125611927","wikidata":"https://www.wikidata.org/wiki/Q17008131","display_name":"Criticality","level":2,"score":0.5845000147819519},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.43529999256134033},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.4250999987125397},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.38519999384880066},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.37880000472068787},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.374099999666214},{"id":"https://openalex.org/C30098461","wikidata":"https://www.wikidata.org/wiki/Q909342","display_name":"Failure mode, effects, and criticality analysis","level":3,"score":0.3625999987125397},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3504999876022339},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.3391999900341034},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.33709999918937683},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.3334999978542328},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.3073999881744385},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.3021000027656555},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.2971000075340271},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2962000072002411},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.2870999872684479},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.2793000042438507},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.27469998598098755},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.2741999924182892},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C2780234205","wikidata":"https://www.wikidata.org/wiki/Q2281276","display_name":"Safety case","level":2,"score":0.26489999890327454},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.26420000195503235},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.26409998536109924},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.26089999079704285},{"id":"https://openalex.org/C137112911","wikidata":"https://www.wikidata.org/wiki/Q4105090","display_name":"Nuclear criticality safety","level":3,"score":0.25529998540878296},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.25296","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.25296","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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.2606.25296","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.25296","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"With":[0],"advances":[1],"in":[2,16,192],"autonomous":[3],"driving":[4],"and":[5,32,58,70,81,84,115,139],"electric":[6],"vehicle":[7],"technologies,":[8],"functional":[9],"safety":[10,82],"has":[11],"become":[12],"a":[13,59,163],"critical":[14],"requirement":[15],"automotive":[17],"chip":[18],"design.":[19],"Traditional":[20],"simulation-based":[21,199],"fault":[22,37,49,150,193],"analysis":[23],"is":[24,94,119,168],"often":[25],"overly":[26],"conservative":[27],"at":[28],"the":[29,103,129],"module":[30],"level":[31],"fails":[33],"to":[34,75,88,101,121,170],"accurately":[35],"reflect":[36],"criticality.":[38],"This":[39],"paper":[40],"presents":[41],"SafeGen,":[42],"an":[43],"LLM-driven,":[44],"formal-verification-assisted":[45],"framework":[46],"for":[47,162],"functional-safety-oriented":[48],"criticality":[50,151,194],"assessment.":[51],"SafeGen":[52,177],"leverages":[53],"large":[54],"language":[55],"models":[56],"(LLMs)":[57],"document-level":[60],"Hyper":[61],"Knowledge":[62],"Graph":[63],"(HyperKG)":[64],"that":[65,110,176],"incorporates":[66],"Failure":[67],"Modes,":[68],"Effects,":[69],"Diagnostic":[71],"Analysis":[72],"(FMEDA)":[73],"guidelines":[74],"extract":[76],"verifiable":[77],"specifications":[78],"from":[79],"design":[80],"documents":[83],"evaluate":[85],"their":[86],"relevance":[87],"overall":[89],"system":[90,167],"safety.":[91],"The":[92],"HyperKG":[93],"further":[95],"enriched":[96],"with":[97,143,197],"register-transfer-level":[98],"(RTL)":[99],"information":[100],"guide":[102],"generation":[104,185],"of":[105],"Functional":[106],"Safety":[107],"Assertions":[108],"(FSAs)":[109],"are":[111],"both":[112,137],"semantically":[113],"grounded":[114],"design-aware.":[116],"Each":[117],"assertion":[118,156,184],"linked":[120],"its":[122],"corresponding":[123],"specification,":[124],"enabling":[125],"traceable":[126],"reasoning":[127],"throughout":[128],"assessment":[130,195],"process.":[131],"A":[132,158],"gate-to-RTL":[133],"fault-mapping":[134],"mechanism":[135],"supporting":[136],"stuck-at":[138],"bridging":[140],"faults,":[141],"combined":[142],"formal":[144],"property":[145],"verification":[146],"(FPV),":[147],"enables":[148],"semantic-level":[149],"grading":[152],"based":[153],"on":[154],"specification-linked":[155],"violations.":[157],"digital-physical":[159],"co-simulation":[160],"platform":[161],"field-oriented":[164],"control":[165],"(FOC)":[166],"developed":[169],"validate":[171],"SafeGen.":[172],"Experimental":[173],"results":[174],"demonstrate":[175],"generates":[178],"higher-quality":[179],"assertions":[180],"than":[181],"existing":[182],"LLM-based":[183],"frameworks":[186],"while":[187],"providing":[188],"greater":[189],"semantic":[190],"interpretability":[191],"compared":[196],"traditional":[198],"approaches.":[200]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-26T00:00:00"}