软件学报

作者：李晓锋，罗懿行，王路桥，董晓刚，李建文，顾斌，董云卫，杨孟飞

单位：李晓锋，西北工业大学 软件学院, 陕西 西安 710129;北京控制工程研究所, 北京 10019011,罗懿行，北京控制工程研究所, 北京 10019002,王路桥，西安电子科技大学 计算机科学与技术学院, 陕西 西安 71007103,董晓刚，北京控制工程研究所, 北京 10019004,李建文，华东师范大学 软件工程学院, 上海 20006205,顾斌，北京控制工程研究所, 北京 10019006,董云卫，西北工业大学 软件学院, 陕西 西安 71012907,杨孟飞，中国空间技术研究院, 北京 10019408

关键词：空间飞行器;控制软件;在轨;自适应;可信保障

基金：国家自然科学基金(U21B2015, 62192730, 62192735, 62402038)

空间飞行器的智能自主水平和在轨稳定运行能力是提升航天任务成功率的关键, 而软件自适应演化技术则是实现这一目标的重要途径, 并成为当前软件工程领域的研究热点. 首先对空间飞行器控制软件自适应演化的研究现状和存在问题进行综述. 然后, 针对空间飞行器在轨运行环境的开放性、宿主计算资源的有限性以及飞行任务对实时响应的高要求, 提出名为MAPE-KV (monitor-analyze-plan-execute over knowledge and verification)的空间飞行器控制软件在轨自适应可信演化框架. 此外, 在该框架的指导下对航天器软件应用逻辑、自适应控制逻辑、可信保障逻辑以及支撑知识库进行设计. 最后, 通过非预期故障和业务变更两类典型案例验证所提框架的有效性, 仿真结果表明该方法能够有效应对星载软件在运行过程中面临的异常事件挑战.

来源：2026年第3期

《软件学报》期刊编辑部

查看软件学报杂志2026年第3期