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

李晓锋 等: 空间飞行器控制软件在轨自适应可信演化框架 1289

[55] Holzmann GJ. Mars code. Communications of the ACM, 2014, 57(2): 64–73. [doi: 10.1145/2560217.2560218]
[56] Chien PC, Lee NZ. CPV: A circuit-based program verifier. In: Proc. of the 30th Int’l Conf. on Tools and Algorithms for the Construction
and Analysis of Systems. Luxembourg City: Springer, 2024. 365–370. [doi: 10.1007/978-3-031-57256-2_22]
[57] Wang W, Zhang N, Tian C, Duan ZH, Xu ZJ, Yu CF. Verifying chips design at RTL level. In: Proc. of the 17th Int’l Symp. on
Theoretical Aspects of Software Engineering. Bristol: Springer, 2023. 146–163. [doi: 10.1007/978-3-031-35257-7_9]
[58] Johannsen C, Jones P, Kempa B, Rozier KY, Zhang P. R2U2 version 3.0: Re-imagining a toolchain for specification, resource estimation,
and optimized observer generation for runtime verification in hardware and software. In: Proc. of the 35th Int’l Conf. on Computer Aided
Verification. Paris: Springer, 2023. 483–497. [doi: 10.1007/978-3-031-37709-9_23]
[59] Chai M, Wang HF, Tang T, Liu HJ. Runtime verification of train control systems with parameterized modal live sequence charts. Journal
of Systems and Software, 2021, 177: 110962. [doi: 10.1016/j.jss.2021.110962]
[60] Ceci M, Sannier N, Abualhaija S, Shin D, Bianculli D, Halling M. Toward automated compliance checking of fund activities using
runtime verification techniques. In: Proc. of the 2024 IEEE/ACM Workshop on Software Engineering Challenges in Financial Firms.
Lisbon: IEEE, 2024. 19–20
[61] Tsigkanos C, Nenzi L, Loreti M, Garriga M, Dustdar S, Ghezzi C. Inferring analyzable models from trajectories of spatially-distributed
Internet of Things. In: Proc. of the 14th IEEE/ACM Int’l Symp. on Software Engineering for Adaptive and Self-managing Systems
(SEAMS). Montreal: IEEE, 2019. 100–106. [doi: 10.1109/SEAMS.2019.00021]

附中文参考文献
[1] 杨孟飞, 顾斌, 段振华, 金芝, 詹乃军, 董云卫, 田聪, 李戈, 董晓刚, 李晓锋. 嵌入式软件智能合成框架及关键科学问题. 中国空间科
学技术, 2022, 42(4): 1–7. [doi: 10.16708/j.cnki.1000-758X.2022.0046]
[3] 王颖, 吴宏鑫. 基于椭圆轨道的空间交会停靠全系数自适应控制方法研究. 宇航学报, 2001, 22(5): 15–19. [doi: 10.3321/j.issn:1000-
1328.2001.05.003]
[4] 张洪华, 梁俊, 黄翔宇, 赵宇, 王立, 关轶峰, 程铭, 李骥, 王鹏基, 于洁, 袁利. 嫦娥三号自主避障软着陆控制技术. 中国科学: 技术科
学, 2014, 44(6): 559–568. [doi: 10.1360/092014-51]
[5] 陈昊. 高可信嵌入式系统软件的关键技术研究 [博士学位论文]. 成都: 电子科技大学, 2018.
[18] 张源清. SaaS 平台下融合规则引擎的工作流服务的设计与实现 [硕士学位论文]. 北京: 北京邮电大学, 2017.
[19] 姜跃平, 汪卫, 施伯乐, 董继润. ECA 规则的模型和行为特定理论. 软件学报, 1997, 8(3): 190–196. https://www.jos.org.cn/jos/article/
abstract/19970305
[21] 张震. 空间数据库规则技术研究 [硕士学位论文]. 长沙: 国防科学技术大学, 2010.
[22] 胡利平, 梁晓龙, 何吕龙, 张佳强, 任宝祥, 齐铎. 基于情景分析的航空集群决策规则库构建方法. 航空学报, 2020, 41(S1): 723737.
[doi: 10.7527/S1000-6893.2019.23737]
[23] 李青山, 王璐, 褚华, 张曼. 一种基于智能体技术的软件自适应动态演化机制. 软件学报, 2015, 26(4): 760–777. http://www.jos.org.cn/
1000-9825/4757.htm [doi: 10.13328/j.cnki.jos.004757]
[25] 刘道文, 杨拥军. 基于混沌局部搜索的粒子群算法及其应用. 计算机技术与发展, 2021, 31(4): 216–220. [doi: 10.3969/j.issn.1673-
629X.2021.04.037]
[26] 王璐, 霍其恩, 李青山, 王展, 姜宇轩. 基于并行搜索优化的指控系统自适应决策方法. 软件学报, 2022, 33(5): 1774–1799. http://www.
jos.org.cn/1000-9825/6561.htm [doi: 10.13328/j.cnki.jos.006561]
[32] 庄福振, 罗平, 何清, 史忠植. 迁移学习研究进展. 软件学报, 2015, 26(1): 26–39. http://www.jos.org.cn/1000-9825/4631.htm [doi: 10.13328/
j.cnki.jos.004631]

作者简介
李晓锋, 研究员, CCF 专业会员, 主要研究领域为可信软件, 软件自适应, 智能化软件工程.
罗懿行, 博士, 工程师, CCF 专业会员, 主要研究领域为软件需求工程, 软件自适应.
王路桥, 博士, 工程师, CCF 专业会员, 主要研究领域为软件自适应, 任务指令智能规划.
董晓刚, 研究员, 主要研究领域为嵌入式软件, 软件自适应.
李建文, 博士, 教授, 博士生导师, CCF 专业会员, 主要研究领域为形式化验证.
顾斌, 博士, 研究员, 博士生导师, 主要研究领域为可信软件, 嵌入式系统, 计算机控制.
董云卫, 博士, 教授, 博士生导师, CCF 杰出会员, 主要研究领域为嵌入式系统, 形式化验证, 可信软件.
杨孟飞, 博士, 研究员, 博士生导师, CCF 会士, 主要研究领域为空间飞行器系统设计, 可信软件, 计算机控制.