以高效率为目标的模型驱动开发航天嵌入式软件  

Model driven development of Aerospace Embedded Software Aiming at High-Efficiency

作　　者：郭泽[1] 张笃周 范松涛[1] Guo Ze;Zhang Duzhou;Fan Songtao(Beijing Institute of Control Engineering,Beijing 100094,China;China Academy of Space Technology,Beijing 100094,China)

机构地区：[1]北京控制工程研究所,北京100094 [2]中国空间技术研究院,北京100094

出　　处：《质量与可靠性》2021年第3期52-56,共5页Quality and Reliability

摘　　要：航天领域中嵌入式软件属于高可信软件,在轨维护困难,其失效引起的灾难后果严重。为了提高航天嵌入式软件的可靠性和安全性,国内外专家和工程人员对基于模型设计(Model Based Design,MBD)方法开展了诸多研究。MBD是一种软件开发的方法论,以模型替代文档传递设计思想,用自动代码生成技术替代手工编码,减少软件开发中的二义性和人为错误。以某卫星导航制导与控制分系统(GNC)嵌入式软件研发为例,论述使用MBD方法开发软件的工程技术路线,并针对MBD工具进行二次开发。结果表明,该方法开发航天高可信嵌入式软件具有传统方法不具备的优势。更重要的是,实现了MBD所开发嵌入式软件的在轨稳定运行,凸显了软件工程化技术的先进性。Embedded software in aerospace field belongs to high trust software,which is difficult to maintain on orbit,and its failure causes serious disaster consequences.In order to improve the reliability and security of aerospace embedded software,experts and engineers at home and abroad have carried out many researches on model based design(MBD).MBD is a methodology of software development,which replaces the design idea of document transmission with model,and replaces manual coding with automatic code generation technology,so as to reduce ambiguity and human errors in software development.Taking the embedded software development of GNC system of a satellite as an example,this paper discusses the engineering technology route of using MBD method to develop software,which can be carries out secondary development practice for MBD tools.The results show that MBD has the advantages that traditional methods do not have.More importantly,the implementation of the MBD software embedded in the orbit of stable operation is the first time in China,which highlights the advanced technology of software technology.

关 键 词：基于模型设计 高效率 航天 嵌入式软件 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]