登陆
注册
上海控安为嫦娥五号软件可信提供保障
来源：上海控安
2020-12-21
2236
据国家航天局消息，北京时间12月17日1时59分，在历经了23天的太空之旅后，探月工程嫦娥五号返回器在内蒙古四子王旗预定区域成功着陆，标志着中国首次地外天体采样返回任务圆满完成。
国家航天局相关专家表示，嫦娥五号任务作为中国复杂度最高、技术跨度最大的航天系统工程，成功实现了多方面技术创新、突破了一系列关键技术，对于中国提升航天技术水平、完善探月工程体系、开展月球科学研究、组织后续月球及星际探测任务，具有承前启后、里程碑式的重要意义。
软件可信保障体系
完整覆盖软件的全生命周期
嫦娥五号任务作为我国复杂度最高、技术跨度最大的航天系统工程，成功实现了多方面技术创新、突破了一系列关键技术。采用诸多自主可控的智能化设备技术产品，为“绕、落、回”不同阶段提供全面保障。
其中，“软件”在航天器中的作用和地位越来越突出。据悉，嫦娥五号月面起飞、月球轨道交会对接和再入返回等60%以上的功能均涉及软件实现。这对航天控制软件的稳定、可靠提出极高要求。软件可信性已成为确保航天任务成功的重要因素。
早在十多年前，为了给国产软件打上学术界、产业界都认可的“安全可信”标签，上海控安首席科学家、中国科学院何积丰院士率领“可信软件”研究团队从基础理论入手，破解重重难题，在国际上首创软件的统一建模理论，通过对软件形式化方法的深入研究和工程化，形成了系统性的软件可信保障方法体系，包括软件的建模、分析、验证和测试，对软件研制的全生命周期进行完整覆盖，以确保软件的安全可信。
收藏
点赞
- 用户评论
2000
评论
