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

文章来源:未知 作者:admin 更新时间:2018-09-03

“航天嵌入式软件可信性保障集成环境和示范验证与应用 ”集成项目启动
  随着我国航天事业的快速发展,空间站、探月工程、高分专项等一批复杂航天任务陆续实施,软件在航天器中的作用和地位越来越突出,软件可信性已成为确保型号任务成功的重要因素。
  目前,航天嵌入式软件可信性保障尚未形成系统解决方案,软件质量受人的能力、经验影响较大,导致一些深层次问题时有发生。中国科学院院士、嫦娥五号探测器系统总设计师杨孟飞带领研究团队,在国家自然科学基金委重大研究计划“可信软件基础研究”的支持下,以该重大研究计划相关研究成果为基础,针对航天嵌入式软件的特点,结合已发生问题的分析,建立了航天嵌入式软件可信性保障技术体系,研制了一系列可信保障工具,并构造了一个覆盖从软件需求分析、设计、编码、测试、编译固化到运行维护全过程的航天嵌入式软件可信性保障集成环境(SpaceIDep)。
  在专家们看来,这项工作实现了软件可信性保障从局部到系统、从依赖人到依靠工具的转变,提高了航天嵌入式软件的可信性。这些成果已经在百余个航天型号中得到验证和应用。
  据研究团队成员、航天五院502所研究员顾斌介绍,该项目实施以来,软件交付的缺陷率显著下降,百余个航天器在轨运行未发生软件质量问题。
  “近期,我国天舟一号任务成功实施,北斗三号任务也离不开在该研究中取得的成果。”顾斌说。
  此外,相关研究成果还推广应用到国民经济的其他领域,创造了超过1000万元的经济效益。

上一篇:2018 年软件安全漏洞数量和严重性创下历史新高

下一篇:ISC 2018金融科技安全论坛在京举行 “科技+安全+生态”智造金融新未来

Copyright © 2016-2017 ZhiQueTech. All Rights Reserved

地址:山东省·济南市·长清大学科技园·青年城3号楼十层

鲁ICP备16036139号