Page 301 - 《软件学报》2026年第3期

软件学报 ISSN 1000-9825, CODEN RUXUEW E-mail: jos@iscas.ac.cn
2026,37(3):1264−1289 [doi: 10.13328/j.cnki.jos.007549] [CSTR: 32375.14.jos.007549] http://www.jos.org.cn
©中国科学院软件研究所版权所有. Tel: +86-10-62562563

*
空间飞行器控制软件在轨自适应可信演化框架

李晓锋 1,2 , 罗懿行 2 , 王路桥 3 , 董晓刚 2 , 李建文 4 , 顾 斌 2 , 董云卫 1 , 杨孟飞 5

1
(西北工业大学 软件学院, 陕西 西安 710129)
2
(北京控制工程研究所, 北京 100190)
3
(西安电子科技大学 计算机科学与技术学院, 陕西 西安 710071)
4
(华东师范大学 软件工程学院, 上海 200062)
5
(中国空间技术研究院, 北京 100194)
通信作者: 董晓刚, E-mail: dongxiaogang@263.net
摘 要: 空间飞行器的智能自主水平和在轨稳定运行能力是提升航天任务成功率的关键, 而软件自适应演化技术
则是实现这一目标的重要途径, 并成为当前软件工程领域的研究热点. 首先对空间飞行器控制软件自适应演化的
研究现状和存在问题进行综述. 然后, 针对空间飞行器在轨运行环境的开放性、宿主计算资源的有限性以及飞行
任务对实时响应的高要求, 提出名为 MAPE-KV (monitor-analyze-plan-execute over knowledge and verification) 的空
间飞行器控制软件在轨自适应可信演化框架. 此外, 在该框架的指导下对航天器软件应用逻辑、自适应控制逻辑、
可信保障逻辑以及支撑知识库进行设计. 最后, 通过非预期故障和业务变更两类典型案例验证所提框架的有效性,
仿真结果表明该方法能够有效应对星载软件在运行过程中面临的异常事件挑战.
关键词: 空间飞行器; 控制软件; 在轨; 自适应; 可信保障
中图法分类号: TP311

中文引用格式: 李晓锋, 罗懿行, 王路桥, 董晓刚, 李建文, 顾斌, 董云卫, 杨孟飞. 空间飞行器控制软件在轨自适应可信演化框架.
软件学报, 2026, 37(3): 1264–1289. http://www.jos.org.cn/1000-9825/7549.htm
英文引用格式: Li XF, Luo YX, Wang LQ, Dong XG, Li JW, Gu B, Dong YW, Yang MF. On-orbit Self-adaptive and Trustworthy
Evolution Framework for Spacecraft Control Software. Ruan Jian Xue Bao/Journal of Software, 2026, 37(3): 1264–1289 (in Chinese).
http://www.jos.org.cn/1000-9825/7549.htm

On-orbit Self-adaptive and Trustworthy Evolution Framework for Spacecraft Control Software
4
2
1,2
2
2
1
3
LI Xiao-Feng , LUO Yi-Xing , WANG Lu-Qiao , DONG Xiao-Gang , LI Jian-Wen , GU Bin , DONG Yun-Wei ,
YANG Meng-Fei 5
1
(School of Software, Northwestern Polytechnical University, Xi’an 710129, China)
2
(Beijing Institute of Control Engineering, Beijing 100190, China)
3
(School of Computer Science and Technology, Xidian University, Xi’an 710071, China)
4
(Software Engineering Institute, East China Normal University, Shanghai 200062, China)
5
(China Academy of Space Technology, Beijing 100194, China)
Abstract: The intelligent autonomy and stable on-orbit operation capabilities of spacecraft are crucial to enhancing the success rate of
space missions. Software self-adaptive evolution technology is an essential approach to achieving this goal and has become a research
hotspot in the field of software engineering. This study first provides an overview of the research status and existing issues in the self-
adaptive evolution of spacecraft control software. Then, in response to the openness of the spacecraft on-orbit operating environment, the
limited computing resources of the host, and the high real-time response requirements of flight missions, an on-orbit self-adaptive and

* 基金项目: 国家自然科学基金 (U21B2015, 62192730, 62192735, 62402038)
收稿时间: 2024-09-26; 修改时间: 2025-05-06; 采用时间: 2025-09-02; jos 在线出版时间: 2025-12-24
CNKI 网络首发时间: 2025-12-26