基于SCADE的航空发动机FADEC软件开发
|
摘要
机载软件开发面临复杂性、安全性和成本等方面的巨大挑战。针对某航空发动机数控系统的研制,结合FADEC软件的开发特点和目标,探索SCADE基于模型开发在FADEC软件开发中的应用。探索了两种不同的SCADE基于模型开发解决方案,基于这两种方案分别完成两个FADEC软件配置项的应用软件开发。通过模型测试、模型覆盖率分析和软件硬件集成测试验证了开发结果的正确性。提出了联合SCADE和Simulink的基于模型开发流程并明确其注意事项。分析SCADE的两种基于模型开发解决方案的适用范围以及方案选择时的考虑因素,总结分析了SCADE用于机载软件开发的优势和不足。
The development of airborne software is faced with great challenges in complexity, security and cost.For the development of an aero-engine numerical control system, with the combination of the features and objectives of FADEC software, the application of SCADE in the development of FADEC software is explored. Two different SCADE model-based development( MBD) resolutions were researched and two FADEC applications were developed by these two resolutions respectively. The correctness of the development results was verified by model test, model coverage analysis and software and hardware integration test. A new development process was proposed by the combination of SCADE and Simulink, and some of the key notes were illuminated. The application scope of these two SCADE MBD resolutions is analyzed and considerations for choice are proposed. The merits and demerits of SCADE in the development of airborne software are analyzed and summarized.
The development of airborne software is faced with great challenges in complexity, security and cost.For the development of an aero-engine numerical control system, with the combination of the features and objectives of FADEC software, the application of SCADE in the development of FADEC software is explored. Two different SCADE model-based development( MBD) resolutions were researched and two FADEC applications were developed by these two resolutions respectively. The correctness of the development results was verified by model test, model coverage analysis and software and hardware integration test. A new development process was proposed by the combination of SCADE and Simulink, and some of the key notes were illuminated. The application scope of these two SCADE MBD resolutions is analyzed and considerations for choice are proposed. The merits and demerits of SCADE in the development of airborne software are analyzed and summarized.
引文
[1]刘杰.基于模型的设计及其嵌人式实现[M].北京:北京航空航天大学出版社,2010.
[2]邓焱弢,骆光照,陈哲,等.基于模型设计的处理器在回路联合仿真系统[J].测控技术,2011,30(3):45-48.
[3]RTCA,Inc.Model-Based Development and Verification Supplement to DO-178C and DO-278A:RTCA DO-331[S].2011.
[4]邢亮,卢伟.机载适航标准DO-178B/C软件开发过程研究[J].航空计算技术,2016,46(6):73-75.
[5]李虎,马晋,郑凤,等.SCADE模型驱动开发过程研究及高安全性分析[J].航空电子技术,2013,44(1):15-19.
[6]王群伟,吴成富,陈怀民,等.基于SCADE的无人机三余度飞控系统设计及验证[J].测控技术,2007,26(4):52-54.
[7]ESTEREL Technologies.Efficient Development of Safe Avionics Software with DO-178B Objectives Using SCADE Suit-[Z].2012.
[8]ESTEREL Technologies.Gateway Guidelines for Simulink-[Z].2014.
[9]方伟,周彰毅.SCADE在航空发动机FADEC软件开发中的应用[J].航空发动机,2016,42(5):43-47.
[2]邓焱弢,骆光照,陈哲,等.基于模型设计的处理器在回路联合仿真系统[J].测控技术,2011,30(3):45-48.
[3]RTCA,Inc.Model-Based Development and Verification Supplement to DO-178C and DO-278A:RTCA DO-331[S].2011.
[4]邢亮,卢伟.机载适航标准DO-178B/C软件开发过程研究[J].航空计算技术,2016,46(6):73-75.
[5]李虎,马晋,郑凤,等.SCADE模型驱动开发过程研究及高安全性分析[J].航空电子技术,2013,44(1):15-19.
[6]王群伟,吴成富,陈怀民,等.基于SCADE的无人机三余度飞控系统设计及验证[J].测控技术,2007,26(4):52-54.
[7]ESTEREL Technologies.Efficient Development of Safe Avionics Software with DO-178B Objectives Using SCADE Suit-[Z].2012.
[8]ESTEREL Technologies.Gateway Guidelines for Simulink-[Z].2014.
[9]方伟,周彰毅.SCADE在航空发动机FADEC软件开发中的应用[J].航空发动机,2016,42(5):43-47.