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

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

*
嵌入式软件 IP 通用模型

徐 雄 1 , 马 旭 1,2 , 高 强 1,2 , 计泽坤 1,2 , 王淑灵 1 , 詹博华 1,2 , 詹乃军 1,2 , 李晓锋 3 , 顾 斌 3 ,
董晓刚 3 , 杨孟飞 4 , 刘 洋 5 , 冀振燕 5

(计算机科学国家重点实验室 (中国科学院 软件研究所), 北京 100190)
1
2
(中国科学院大学, 北京 100049)
3
(北京控制工程研究所, 北京 100190)
4
(中国空间技术研究院, 北京 100094)
5
(北京交通大学 软件学院, 北京 100044)
通信作者: 顾斌, E-mail: gubinbj@sina.com
摘 要: 软件 IP (intellectual property) 是具有知识产权的可复用的软件知识实体, 是软件智能合成的基石. 针对嵌
入式系统的关键特性, 提出了面向嵌入式系统的软件 IP 通用模型, 包括知识模型、形式模型和实现, 并且讨论了
它们三者之间的一致性关系. 与目前的主流模型相比, 该方法充分考虑了嵌入式系统的关键特性、系统对环境和
平台的假设、软件中间知识的表示和使用、模型组装的正确性, 以及模型与实现之间的关系, 因此具有明显的优
势. 提出的嵌入式软件 IP 通用模型在一定程度上揭示了软件构成的本质, 即软件并非代码的集合, 而是知识、规
约和代码的三位一体. 此外, 为了简化软件 IP 的使用, 根据不同的使用目的 (关注点), 将软件 IP 表示为不同的视
图. 最后, 提出从存量嵌入式软件资产提取软件 IP 的方法, 并且通过实际案例展示了提取方法的有效性和可行性.
关键词: 嵌入式系统; 软件 IP; 智能合成; 知识; 形式模型
中图法分类号: TP311

中文引用格式: 徐雄, 马旭, 高强, 计泽坤, 王淑灵, 詹博华, 詹乃军, 李晓锋, 顾斌, 董晓刚, 杨孟飞, 刘洋, 冀振燕. 嵌入式软件IP通
用模型. 软件学报, 2026, 37(3): 1240–1263. http://www.jos.org.cn/1000-9825/7495.htm
英文引用格式: Xu X, Ma X, Gao Q, Ji ZK, Wang SL, Zhan BH, Zhan NJ, Li XF, Gu B, Dong XG, Yang MF, Liu Y, Ji ZY. General
Model of Embedded Software IP. Ruan Jian Xue Bao/Journal of Software, 2026, 37(3): 1240–1263 (in Chinese). http://www.jos.org.cn/
1000-9825/7495.htm
General Model of Embedded Software IP
1,2
1,2
1,2
1,2
1,2
1
1
XU Xiong , MA Xu , GAO Qiang , JI Ze-Kun , WANG Shu-Ling , ZHAN Bo-Hua , ZHAN Nai-Jun ,
3
3
3
4
5
LI Xiao-Feng , GU Bin , DONG Xiao-Gang , YANG Meng-Fei , LIU Yang , JI Zhen-Yan 5
1
(State Key Laboratory of Computer Science (Institute of Software, Chinese Academy of Sciences), Beijing 100190, China)
2
(University of Chinese Academy of Sciences, Beijing 100049, China)
3
(Beijing Institute of Control Engineering, Beijing 100190, China)
4
(China Academy of Space Technology, Beijing 100094, China)
5
(School of Software Engineering, Beijing Jiaotong University, Beijing 100044, China)
Abstract: Software intellectual property (IP) is a reusable software knowledge entity with intellectual property, serving as the basis for
intelligent software synthesis. In view of the key features of the embedded systems, this study proposes a general model of software IP for
the systems, including the knowledge model, formal model, and implementation, and discusses the consistency between the three.
Compared with the current mainstream models, the proposed method fully considers the key features of embedded systems, assumptions

* 基金项目: 国家自然科学基金 (62192732, 62192730)
收稿时间: 2024-02-01; 修改时间: 2025-03-21; 采用时间: 2025-06-20; jos 在线出版时间: 2025-11-13
CNKI 网络首发时间: 2025-11-14