| 引用本文: | 李晓锋,罗懿行,王路桥,董晓刚,李建文,顾斌,董云卫,杨孟飞.空间飞行器控制软件在轨自适应可信演化框架.软件学报,2026,37(3):1264-1289 |
| |
|
| |
|
|
| 本文已被：浏览 667次 下载 673次 |
码上扫一扫！ |
|
|
| 空间飞行器控制软件在轨自适应可信演化框架 |
|
李晓锋1,2, 罗懿行2, 王路桥3, 董晓刚2, 李建文4, 顾斌2, 董云卫1, 杨孟飞5
|
|
1.西北工业大学 软件学院, 陕西 西安 710129;2.北京控制工程研究所, 北京 100190;3.西安电子科技大学 计算机科学与技术学院, 陕西 西安 710071;4.华东师范大学 软件工程学院, 上海 200062;5.中国空间技术研究院, 北京 100194
|
|
| 摘要: |
| 空间飞行器的智能自主水平和在轨稳定运行能力是提升航天任务成功率的关键, 而软件自适应演化技术则是实现这一目标的重要途径, 并成为当前软件工程领域的研究热点. 首先对空间飞行器控制软件自适应演化的研究现状和存在问题进行综述. 然后, 针对空间飞行器在轨运行环境的开放性、宿主计算资源的有限性以及飞行任务对实时响应的高要求, 提出名为MAPE-KV (monitor-analyze-plan-execute over knowledge and verification)的空间飞行器控制软件在轨自适应可信演化框架. 此外, 在该框架的指导下对航天器软件应用逻辑、自适应控制逻辑、可信保障逻辑以及支撑知识库进行设计. 最后, 通过非预期故障和业务变更两类典型案例验证所提框架的有效性, 仿真结果表明该方法能够有效应对星载软件在运行过程中面临的异常事件挑战. |
| 关键词: 空间飞行器 控制软件 在轨 自适应 可信保障 |
| DOI：10.13328/j.cnki.jos.007549 |
| 分类号:TP311 |
| 基金项目:国家自然科学基金(U21B2015, 62192730, 62192735, 62402038) |
|
| On-orbit Self-adaptive and Trustworthy Evolution Framework for Spacecraft Control Software |
|
LI Xiao-Feng1,2, LUO Yi-Xing2, WANG Lu-Qiao3, DONG Xiao-Gang2, LI Jian-Wen4, GU Bin2, DONG Yun-Wei1, YANG Meng-Fei5
|
|
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 trustworthy evolution framework for spacecraft control software, termed MAPE-KV (monitor-analyze-plan-execute over knowledge and verification), is proposed. In addition, under the guidance of this framework, the application logic, self-adaptive control logic, trustworthiness assurance logic, and supporting knowledge base for spacecraft software are designed. Finally, the effectiveness of the proposed framework is validated through two typical scenarios: unexpected failures and service changes. Simulation results demonstrate that the proposed method can effectively address the challenges posed by unexpected events during the operation of spaceborne software. |
| Key words: spacecraft control software on-orbit self-adaptive trustworthy assurance |
|
|
|
|
