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

Development of Standard Model Library for FADEC Software Based on SCADE

作　　者：周彰毅 张春 朱理化 黄浩 李纪波 ZHOU Zhang-yi;ZHANG Chun;ZHU Li-hua;HUANG Hao;LI Ji-bo(AECC Aero Engine Control System Institute,Wuxi Jiangsu 214063,China)

机构地区：[1]中国航发控制系统研究所,江苏无锡214063

出　　处：《航空发动机》2022年第2期96-101,共6页Aeroengine

基　　金：航空动力基金(6141B09050370)资助。

摘　　要：在航空发动机全权限数字电子控制(FADEC)软件研制过程中,可重用基准模型库的开发和使用是提升软件研发效率和质量的重要技术手段。为了提升FADEC软件复用效率,加快软件研发进程和适航认证,在分析模型库相关指南和规范的基础上,结合工程实际的需要,完成FADEC基准模型库的设计和验证,以三角函数类、方根类、滤波类和余度表决类4种典型类型为对象,通过泰勒定理、牛顿迭代和离散化等数学理论和自动控制理论进行机理分析,基于安全关键软件开发环境(SCADE)建模仿真工具完成模型库设计,通过对比仿真、模型测试和形式化验证方法等完成模型库验证。结果表明:该基准库支撑了多个FADEC软件项目的研制,其正确性和可靠性已在各项工程试验中得到反复检验,具有十分重要的工程价值,所提出的模型库设计和验证方法也具有一定的借鉴意义。In the development of aeroengine Full Authority Digital Electronic Control(FADEC)software,the development and use of reusable standard model library is an important technical means to improve the efficiency and quality of software development. In order to improve the reuse efficiency of FADEC software and speed up the software research and development process and airworthiness certification,the design and verification of FADEC standard model library were completed on the basis of analyzing the relevant guidelines and specifications of model library and combining with the actual needs of engineering. Taking four typical types of trigonometric function,square root,filter and redundancy analysis as objects,the mechanism was analyzed by mathematical theories such as Taylor Theorem,Newton iteration and discretization and automatic control theory. The model library design was completed based on SCADE modeling and simulation tool,and the model library verification was completed through comparative simulation,model test and formal verification methods.The results show that the standard model library supports the development of many FADEC software projects,and its correctness and reliability have been repeatedly tested in various engineering tests,which has very important engineering value. The design and verification method of proposed model library also have certain reference significance.

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

分 类 号：V233.7[航空宇航科学与技术—航空宇航推进理论与工程]