| 基于SCADE的FADEC软件通用基准模型库开发 |
| |
| 引用本文： | 周彰毅,张春,朱理化,黄浩,李纪波.基于SCADE的FADEC软件通用基准模型库开发[J].航空发动机,2022,48(2):96-101. |
| |
| 作者姓名： | 周彰毅 张春 朱理化 黄浩 李纪波 |
| |
| 作者单位： | 中国航发控制系统研究所,江苏无锡214063 |
| |
| 基金项目： | 航空动力基金（6141B09050370）资助 |
| |
| 摘 要： | 在航空发动机全权限数字电子控制（FADEC）软件研制过程中，可重用基准模型库的开发和使用是提升软件研发效率和
质量的重要技术手段。为了提升FADEC软件复用效率，加快软件研发进程和适航认证，在分析模型库相关指南和规范的基础上，
结合工程实际的需要，完成FADEC基准模型库的设计和验证，以三角函数类、方根类、滤波类和余度表决类4种典型类型为对象，
通过泰勒定理、牛顿迭代和离散化等数学理论和自动控制理论进行机理分析，基于安全关键软件开发环境（SCADE）建模仿真工具
完成模型库设计，通过对比仿真、模型测试和形式化验证方法等完成模型库验证。结果表明：该基准库支撑了多个FADEC软件项
目的研制，其正确性和可靠性已在各项工程试验中得到反复检验，具有十分重要的工程价值，所提出的模型库设计和验证方法也
具有一定的借鉴意义。
|
| 关 键 词： | 全权限数字电子控制 基于模型开发 安全关键软件开发环境 模型库 形式化验证 航空发动机 |
Development of Standard Model Library for FADEC Software Based on SCADE |
| |
| Authors: | ZHOU Zhang-yi ZHANG Chun ZHU Li-hu HUANG Hao LI Ji-bo |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《航空发动机》浏览原始摘要信息 |
| 点击此处可从《航空发动机》下载免费的PDF全文 |
|
