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