嫦娥五号圆满收官！上海控安为嫦娥五号软件可信提供保障 – 作者:shanghaikongan

据国家航天局消息，北京时间12月17日1时59分，在历经了23天的太空之旅后，探月工程嫦娥五号返回器在内蒙古四子王旗预定区域成功着陆，标志着中国首次地外天体采样返回任务圆满完成。

国家航天局相关专家表示，嫦娥五号任务作为中国复杂度最高、技术跨度最大的航天系统工程，成功实现了多方面技术创新、突破了一系列关键技术，对于中国提升航天技术水平、完善探月工程体系、开展月球科学研究、组织后续月球及星际探测任务，具有承前启后、里程碑式的重要意义。

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

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

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

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

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

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

技术加持，坚守自主可控软件是嫦娥五号“奔月”系统工程的重要组成，也是我国未来航天事业的重要基石。“可信软件”将成为现代软件技术发展和应用的重要趋势。上海控安作为上海市政府首批建设的研发与转化功能型平台，是连接产业界和学术界的桥梁，承担着支撑重大技术研发与转化、支撑产业链创新和支撑创新创业的重要职责。上海控安的核心技术来自于中国科学院何积丰院士团队，聚焦工控系统功能安全和信息安全关键技术创新和成果转化，补齐工业核心软件技术受制于人，易“卡脖子”的短板，提升核心技术的自主创新能力。全体控安人有信心，通过整合产-学-研-政-资多方资源，以技术创新助力国产工业软件整体发展，有力支撑国家战略目标的实现。

来源：freebuf.com 2020-12-18 11:05:32 by: shanghaikongan