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

摘要：

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

关键词：全权限数字电子控制、基于模型开发、安全关键软件开发环境、模型库、形式化验证、航空发动机

所属期刊栏目：48

分类号：V233.7(航空发动机（推进系统）)

资助基金：航空动力基金6141B09050370

在线出版日期：2022-05-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：96-101