{"id":"https://openalex.org/W7165627395","doi":"https://doi.org/10.48550/arxiv.2606.23395","title":"Automated Semantic Fault Localization in SysML v2: A Human-in-the-Loop Framework Using Knowledge-Graph Augmented LLMs","display_name":"Automated Semantic Fault Localization in SysML v2: A Human-in-the-Loop Framework Using Knowledge-Graph Augmented LLMs","publication_year":2026,"publication_date":"2026-06-22","ids":{"openalex":"https://openalex.org/W7165627395","doi":"https://doi.org/10.48550/arxiv.2606.23395"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.23395","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.23395","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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.23395","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5117246587","display_name":"Haitham Al-Shami","orcid":"https://orcid.org/0000-0003-0475-3547"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Al-Shami, Haitham","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139163490","display_name":"Rohail Malik","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Malik, Rohail","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048385367","display_name":"Riku Ala-Laurinaho","orcid":"https://orcid.org/0000-0002-3246-8199"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ala-Laurinaho, Riku","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012900928","display_name":"Jari Veps\u00e4l\u00e4inen","orcid":"https://orcid.org/0000-0002-9379-5687"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Veps\u00e4l\u00e4inen, Jari","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5125550803","display_name":"Raine Viitala","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Viitala, Raine","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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.16680000722408295,"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"}},"topics":[{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.16680000722408295,"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.07670000195503235,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.0731000006198883,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/systems-modeling-language","display_name":"Systems Modeling Language","score":0.7093999981880188},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5922999978065491},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.5117999911308289},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.46480000019073486},{"id":"https://openalex.org/keywords/semantic-mapping","display_name":"Semantic mapping","score":0.45980000495910645},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.4300000071525574},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.40689998865127563},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.3986999988555908}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7441999912261963},{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.7093999981880188},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5922999978065491},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.5117999911308289},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.46480000019073486},{"id":"https://openalex.org/C2775955345","wikidata":"https://www.wikidata.org/wiki/Q7449071","display_name":"Semantic mapping","level":2,"score":0.45980000495910645},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.4300000071525574},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.40689998865127563},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4032000005245209},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.3986999988555908},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.3578000068664551},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35749998688697815},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.33559998869895935},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.32910001277923584},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3248000144958496},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.31150001287460327},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30410000681877136},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.2969000041484833},{"id":"https://openalex.org/C92548554","wikidata":"https://www.wikidata.org/wiki/Q2262868","display_name":"Domain model","level":3,"score":0.29670000076293945},{"id":"https://openalex.org/C90312973","wikidata":"https://www.wikidata.org/wiki/Q7449052","display_name":"Semantic data model","level":2,"score":0.290800005197525},{"id":"https://openalex.org/C92446256","wikidata":"https://www.wikidata.org/wiki/Q3306762","display_name":"Data validation","level":2,"score":0.29010000824928284},{"id":"https://openalex.org/C146849305","wikidata":"https://www.wikidata.org/wiki/Q370766","display_name":"Ground truth","level":2,"score":0.2847000062465668},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.2827000021934509},{"id":"https://openalex.org/C110903229","wikidata":"https://www.wikidata.org/wiki/Q7449064","display_name":"Semantic integration","level":4,"score":0.2808000147342682},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.28040000796318054},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2637999951839447},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2549999952316284},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.2535000145435333}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.23395","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.23395","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.23395","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.23395","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.702411949634552,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"SysML":[0],"v2's":[1],"textual":[2],"syntax":[3],"enables":[4],"compiler-based":[5],"validation":[6],"of":[7,84,163],"model":[8,97,199],"structure":[9],"and":[10,37,52,94,130,136,148],"language":[11],"conformance.":[12],"However,":[13],"semantic":[14,171],"mistakes":[15],"that":[16,145,168,201],"preserve":[17],"syntactic":[18],"validity":[19],"but":[20],"violate":[21],"domain":[22,67,92],"rules":[23,73],"cannot":[24],"be":[25],"detected":[26],"through":[27,33],"compilers.":[28],"These":[29],"errors":[30,55],"can":[31],"propagate":[32],"the":[34,82,96,111,114,119,123,126,159],"design":[35,160],"process":[36],"surface":[38],"late":[39],"as":[40],"costly":[41],"integration":[42],"failures.":[43],"This":[44],"paper":[45],"presents":[46],"a":[47,59,66,194],"human-in-the-loop":[48],"framework":[49,112,192],"for":[50,152],"identifying":[51],"repairing":[53],"such":[54],"automatically.":[56],"It":[57],"combines":[58],"fine-tuned":[60,139],"Small":[61],"Language":[62],"Model":[63],"(SLM)":[64],"with":[65,182],"knowledge":[68,78,120],"graph":[69,79,121],"encoding":[70],"physical":[71],"compatibility":[72],"between":[74,125],"system":[75],"elements.":[76],"The":[77,191],"also":[80],"guides":[81],"generation":[83],"synthetic":[85],"training":[86],"data":[87],"by":[88,188],"systematically":[89],"introducing":[90],"plausible":[91],"violations,":[93],"augments":[95],"at":[98],"inference":[99],"time":[100],"to":[101,140,178],"ground":[102],"repair":[103,173],"suggestions":[104],"in":[105,158],"valid":[106],"engineering":[107],"constraints.":[108],"We":[109],"demonstrate":[110],"using":[113],"vehicle":[115],"systems":[116],"domain,":[117],"where":[118],"captures":[122],"relationships":[124],"mechanical,":[127],"electrical,":[128],"fluid,":[129],"signal":[131],"interfaces.":[132],"Two":[133],"SLMs,":[134],"Qwen2.5-Coder-1.5B":[135],"DeepSeek-Coder-6.7B,":[137],"are":[138],"output":[141,184],"unified":[142],"diff":[143],"patches":[144],"localize":[146],"faults":[147],"present":[149],"candidate":[150],"repairs":[151],"engineer":[153],"review,":[154],"preserving":[155],"human":[156],"judgment":[157],"process.":[161],"Evaluation":[162],"1,184":[164],"test":[165],"samples":[166],"shows":[167],"fine-tuning":[169],"improves":[170],"fault":[172],"from":[174],"less":[175],"than":[176,180],"3%":[177],"more":[179],"91%,":[181],"patch-based":[183],"reducing":[185],"token":[186],"length":[187],"over":[189],"60%.":[190],"offers":[193],"practical":[195],"path":[196],"toward":[197],"AI-assisted":[198],"verification":[200],"complements":[202],"existing":[203],"MBSE":[204],"tools.":[205]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-24T00:00:00"}