作者:辛雨 甘晓 来源:中国科学报 发布时间:2018/8/27 11:31:45
选择字号:
航天嵌入式软件可信保障技术让载人航天顺利开展

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

 

■本报见习记者 辛雨 记者 甘晓

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

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

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

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

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

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

《中国科学报》 (2018-08-27 第4版 基金)
 
 打印  发E-mail给: 
    
 
以下评论只代表网友个人观点,不代表科学网观点。 

目前已有0条评论
相关新闻 相关论文

图片新闻
近亲繁殖或致早期人类畸形 “雪龙”号穿越“第四极”马里亚纳海沟
新型鼻喷剂有望对付所有流感 欧洲欲建最大模拟月球基地
>>更多
 
一周新闻排行 一周新闻评论排行
 
编辑部推荐博文
 
论坛推荐