航天嵌入式软件可信保障技术让载人航天顺利开展

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

“航天嵌入式软件可信性保障集成环境和示范验证与应用 ”集成项目启动

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

　　在专家们看来，这项工作实现了软件可信性保障从局部到系统、从依赖人到依靠工具的转变，提高了航天嵌入式软件的可信性。这些成果已经在百余个航天型号中得到验证和应用。

　　据研究团队成员、航天五院502所研究员顾斌介绍，该项目实施以来，软件交付的缺陷率显著下降，百余个航天器在轨运行未发生软件质量问题。

　　“近期，我国天舟一号任务成功实施，北斗三号任务也离不开在该研究中取得的成果。”顾斌说。

　　此外，相关研究成果还推广应用到国民经济的其他领域，创造了超过1000万元的经济效益。