一种支持飞行器起落架系统建模与闭环验证的方法及系统

本发明公开了一种支持飞行器起落架系统建模与闭环验证的方法及系统，所述方法包括基于KARMA语言构建飞行器起落架系统LGS的多架构元模型库；基于RFLP需求‑功能‑逻辑‑物理方法论构建LGS模型；通过代码生成规则将KARMA模型自动转换为Simulink可执行模型；在Simulink环境中运行仿真，并将结果反向映射至LGS模型，形成设计‑仿真‑修正闭环验证；本发明提高了设计验证的精度和效率、确保信息完整性，并增强模型的灵活性和适应性。