基于SCADE的FADEC软件通用基准模型库开发

在航空发动机全权限数字电子控制（FADEC）软件研制过程中,可重用基准模型库的开发和使用是提升软件研发效率和 质量的重要技术手段。为了提升FADEC软件复用效率,加快软件研发进程和适航认证,在分析模型库相关指南和规范的基础上, 结合工程实际的需要,完成FADEC基准模型库的设计和验证,以三角函数类、方根类、滤波类和余度表决类4种典型类型为对象, 通过泰勒定理、牛顿迭代和离散化等数学理论和自动控制理论进行机理分析,基于安全关键软件开发环境（SCADE）建模仿真工具 完成模型库设计,通过对比仿真、模型测试和形式化验证方法等完成模型库验证。结果表明：该基准库支撑了多个FADEC软件项 目的研制,其正确性和可靠性已在各项工程试验中得到反复检验,具有十分重要的工程价值,所提出的模型库设计和验证方法也 具有一定的借鉴意义。