新闻资讯

NEWS

嫦娥五号圆满收官!上海控安为嫦娥五号软件可信提供保障

发布时间:2020-12-18 作者:上海工业控制安全创新科技有限公司 点击次数:

据国家航天局消息,北京时间12月17日1时59分,在历经了23天的太空之旅后,探月工程嫦娥五号返回器在内蒙古四子王旗预定区域成功着陆,标志着中国首次地外天体采样返回任务圆满完成。
 
国家航天局相关专家表示,嫦娥五号任务作为中国复杂度最高、技术跨度最大的航天系统工程,成功实现了多方面技术创新、突破了一系列关键技术,对于中国提升航天技术水平、完善探月工程体系、开展月球科学研究、组织后续月球及星际探测任务,具有承前启后、里程碑式的重要意义。





软件可信保障体系  完整覆盖软件的全生命周期


嫦娥五号任务作为我国复杂度最高、技术跨度最大的航天系统工程,成功实现了多方面技术创新、突破了一系列关键技术。采用诸多自主可控的智能化设备技术产品,为“绕、落、回”不同阶段提供全面保障。


其中,“软件”在航天器中的作用和地位越来越突出。据悉,嫦娥五号月面起飞、月球轨道交会对接和再入返回等60%以上的功能均涉及软件实现。这对航天控制软件的稳定、可靠提出极高要求。软件可信性已成为确保航天任务成功的重要因素。


早在十多年前,为了给国产软件打上学术界、产业界都认可的“安全可信”标签,上海控安首席科学家、中国科学院何积丰院士率领“可信软件”研究团队从基础理论入手,破解重重难题,在国际上首创软件的统一建模理论,通过对软件形式化方法的深入研究和工程化,形成了系统性的软件可信保障方法体系,包括软件的建模、分析、验证和测试,对软件研制的全生命周期进行完整覆盖,以确保软件的安全可信。


经过十多年的潜心积累,已打磨形成系列化的可信软件工具产品。例如,完全自主研发的国内首款通过国际权威认证的单元测试工具等,实现了软件可信性保障从理论到方法、方法到产品、定性到定量、局部到系统、依赖人到依靠系统化方法与工具的转变,让软件可信保障建立在坚实的科学理论基础之上,显著提高了航天嵌入式软件的可信性。该成果也荣获2020年上海市科技进步奖特等奖、北京市科学技术进步奖一等奖等一系列省部级重要奖项。


以测试工具为例,高可信工业嵌入式软件单元测试工具SmartRocket Unit,是面向工业嵌入式软件白盒测试及安全缺陷检查工具,针对高安全领域C语言实现满足分支、语句、边界以及MC/DC覆盖准则的安全可信需求,是国内首款通过TÜV南德国际权威认证的工具。





技术加持,坚守自主可控

软件是嫦娥五号“奔月”系统工程的重要组成,也是我国未来航天事业的重要基石。“可信软件”将成为现代软件技术发展和应用的重要趋势。

上海控安作为上海市政府首批建设的研发与转化功能型平台,是连接产业界和学术界的桥梁,承担着支撑重大技术研发与转化、支撑产业链创新和支撑创新创业的重要职责。

上海控安的核心技术来自于中国科学院何积丰院士团队,聚焦工控系统功能安全和信息安全关键技术创新和成果转化,补齐工业核心软件技术受制于人,易“卡脖子”的短板,提升核心技术的自主创新能力。

全体控安人有信心,通过整合产-学-研-政-资多方资源,以技术创新助力国产工业软件整体发展,有力支撑国家战略目标的实现。