Automated Semantic Fault Localization in SysML v2 Using Knowledge-Graph Augmented LLMs

arXiv·medium signal

SysML v2's textual syntax enables compiler-based structural validation, but semantic faults slip past it; this human-in-the-loop framework combines knowledge-graph augmentation with LLMs to localize them. A concrete example of pairing a knowledge graph with an LLM to push fault localization beyond what syntax checking alone can catch — relevant to anyone building GraphRAG-style developer tooling.