基于大模型的FADEC软件需求符合性检查方法

• 作者: 李栋 张星星 宫丽娜 熊波 魏明强
• 来源期刊: 航空计算技术
• 学科: 工学
• 关键词: 航空发动机;提示工程;控制系统软件;需求符合性;大语言模型
• 年，卷（期）: 2025,（1）
• 所属期刊栏目: 计算方法
• 页码范围: 92-96
• 页数: 5页
• 语种: 中文

摘要

全权限数字式发动机控制技术(FADEC)在航空发动机中得到了广泛应用，软件是FADEC的核心。软件的需求符合性检查可以在开发阶段发现错误，提高开发效率和软件质量。大语言模型的训练语料丰富，具有理解软件需求和代码的能力。以航空发动机FADEC软件的容错需求检查为例，引入大语言模型，利用其上下文学习能力，从软件需求提取信号处理规则；采用思维链提示思想，提取和翻译MBD模型的数据流；通过语义相似度来对处理规则和数据流配对，并采用动态提示词来增强大语言模型的逻辑判断能力，最终自动化实现对MBD模型的软件需求符合性检查。实验结果表明，基于大语言模型的方法在MBD模型的需求符合性检查上有效。