《航天嵌入式软件可信保障集成环境》

与示范验证与应用”一体化项目启动

随着我国航天事业的快速发展，空间站、探月工程、高分专项工程等一批复杂的航天任务相继实施。 软件在航天器中的作用和地位越来越凸显。 软件可信度已成为确保模型准确性的一项任务。 成功的重要因素。

目前还没有系统的解决方案来保证航天嵌入式软件的可信性。 软件质量很大程度上受人的能力和经验的影响，导致一些深层次的问题时有发生。 中国科学院院士、嫦娥五号探测器系统总设计师杨孟飞带领研究团队在国家自然科学基金重大研究计划“可信软件基础研究”和基于本重大研究计划的相关研究成果。 针对航天嵌入式软件的特点，结合已发生问题的分析，建立了航天嵌入式软件可信保障技术体系，开发了一系列可信保障工具，建立了涵盖软件需求分析的体系、设计和编码已经构建。 、航天嵌入式软件从测试、编译固化到运维全过程的可靠性保障集成环境（）。

专家认为，这项工作实现了软件可信保证从本地到系统、从依赖人到依赖工具的转变，提高了航天嵌入式软件的可信度。 这些成果已在一百多个航天模型中得到验证和应用。

研究团队成员、航天五院502所研究员顾斌介绍，项目实施以来，软件交付缺陷率大幅下降，已有百余艘航天器运行在轨道上没有软件质量问题。

“近期，我国天舟一号任务的成功实施，北斗三号任务也与这项研究取得的成果密不可分。”顾斌说。

此外，相关研究成果也被推广应用到国民经济其他领域，创造经济效益1000万元以上。