典型文献
基于SCADE的FADEC软件通用基准模型库开发
文献摘要：
在航空发动机全权限数字电子控制(FADEC)软件研制过程中,可重用基准模型库的开发和使用是提升软件研发效率和质量的重要技术手段.为了提升FADEC软件复用效率,加快软件研发进程和适航认证,在分析模型库相关指南和规范的基础上,结合工程实际的需要,完成FADEC基准模型库的设计和验证,以三角函数类、方根类、滤波类和余度表决类4种典型类型为对象,通过泰勒定理、牛顿迭代和离散化等数学理论和自动控制理论进行机理分析,基于安全关键软件开发环境(SCADE)建模仿真工具完成模型库设计,通过对比仿真、模型测试和形式化验证方法等完成模型库验证.结果表明:该基准库支撑了多个FADEC软件项目的研制,其正确性和可靠性已在各项工程试验中得到反复检验,具有十分重要的工程价值,所提出的模型库设计和验证方法也具有一定的借鉴意义.
文献关键词：
全权限数字电子控制;基于模型开发;安全关键软件开发环境;模型库;形式化验证;航空发动机
中图分类号：
作者姓名：
周彰毅;张春;朱理化;黄浩;李纪波
作者机构：
中国航发控制系统研究所,江苏无锡214063
文献出处：
引用格式：
[1]周彰毅;张春;朱理化;黄浩;李纪波-.基于SCADE的FADEC软件通用基准模型库开发)[J].航空发动机,2022(02):96-101
A类：
安全关键软件,安全关键软件开发环境,基于模型开发
B类：
SCADE,FADEC,模型库,航空发动机,全权限数字电子控制,软件研制,研制过程,可重用,软件研发,研发效率,软件复用,和适航,适航认证,南和,工程实际,三角函数,余度,表决,典型类型,泰勒,牛顿迭代,离散化,数学理论,自动控制理论,机理分析,建模仿真,仿真工具,成模,模型测试,形式化验证,验证方法,软件项目,工程试验,复检
AB值：
0.336706
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
