SysML v2

LLM 和知识图增强 SysML v2 语义故障定位

研究人员开发了一个新颖的框架，用于自动检测和修复 SysML v2 模型中的语义错误，这些错误是传统编译器无法捕获的。该系统集成了经过微调的小型语言模型 (SLM) 和领域特定的知识图。知识图编码了系统元素之间物理兼容性的规则，并有助于为 SLM 训练生成合成数据。该框架在车辆系统领域进行了测试，通过输出统一的 diff 补丁供工程师审查，将语义故障修复率从不到 3% 提高到 91% 以上。