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

• 作者: 郭泽 张笃周 范松涛
• 来源期刊: 质量与可靠性
• 关键词: 基于模型设计 高效率 航天 嵌入式软件
• 年，卷（期）: 2021,（3）
• 所属期刊栏目: 软件质量管理专栏|Special Topic on Software Quality Management
• 页码范围: 52-56
• 页数: 5页
• 语种: 中文

摘要

航天领域中嵌入式软件属于高可信软件,在轨维护困难,其失效引起的灾难后果严重.为了提高航天嵌入式软件的可靠性和安全性,国内外专家和工程人员对基于模型设计(Model Based Design,MBD)方法开展了诸多研究.MBD是一种软件开发的方法论,以模型替代文档传递设计思想,用自动代码生成技术替代手工编码,减少软件开发中的二义性和人为错误.以某卫星导航制导与控制分系统(GNC)嵌入式软件研发为例,论述使用MBD方法开发软件的工程技术路线,并针对MBD工具进行二次开发.结果表明,该方法开发航天高可信嵌入式软件具有传统方法不具备的优势.更重要的是,实现了MBD所开发嵌入式软件的在轨稳定运行,凸显了软件工程化技术的先进性.