| 引用本文: | 徐雄,马旭,高强,计泽坤,王淑灵,詹博华,詹乃军,李晓锋,顾斌,董晓刚,杨孟飞,刘洋,冀振燕.嵌入式软件IP通用模型.软件学报,2026,37(3):1240-1263 |
| |
|
| |
|
|
| 本文已被：浏览 667次 下载 1642次 |
码上扫一扫！ |
|
|
| 嵌入式软件IP通用模型 |
|
徐雄1, 马旭1,2, 高强1,2, 计泽坤1,2, 王淑灵1, 詹博华1,2, 詹乃军1,2, 李晓锋3, 顾斌3, 董晓刚3, 杨孟飞4, 刘洋5, 冀振燕5
|
|
1.计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190;2.中国科学院大学, 北京 100049;3.北京控制工程研究所, 北京 100190;4.中国空间技术研究院, 北京 100094;5.北京交通大学 软件学院, 北京 100044
|
|
| 摘要: |
| 软件IP (intellectual property)是具有知识产权的可复用的软件知识实体, 是软件智能合成的基石. 针对嵌入式系统的关键特性, 提出了面向嵌入式系统的软件IP通用模型, 包括知识模型、形式模型和实现, 并且讨论了它们三者之间的一致性关系. 与目前的主流模型相比, 该方法充分考虑了嵌入式系统的关键特性、系统对环境和平台的假设、软件中间知识的表示和使用、模型组装的正确性, 以及模型与实现之间的关系, 因此具有明显的优势. 提出的嵌入式软件IP通用模型在一定程度上揭示了软件构成的本质, 即软件并非代码的集合, 而是知识、规约和代码的三位一体. 此外, 为了简化软件IP的使用, 根据不同的使用目的(关注点), 将软件IP表示为不同的视图. 最后, 提出从存量嵌入式软件资产提取软件IP的方法, 并且通过实际案例展示了提取方法的有效性和可行性. |
| 关键词: 嵌入式系统 软件IP 智能合成 知识 形式模型 |
| DOI：10.13328/j.cnki.jos.007495 |
| 分类号:TP311 |
| 基金项目:国家自然科学基金(62192732, 62192730) |
|
| General Model of Embedded Software IP |
|
XU Xiong1, MA Xu1,2, GAO Qiang1,2, JI Ze-Kun1,2, WANG Shu-Ling1, ZHAN Bo-Hua1,2, ZHAN Nai-Jun1,2, LI Xiao-Feng3, GU Bin3, DONG Xiao-Gang3, YANG Meng-Fei4, LIU Yang5, JI Zhen-Yan5
|
|
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 made by the system about the environment and platform, representation and utilization of the immediate knowledge of software, correctness of model assembly, and relations between model and implementation. Therefore, this method has remarkable advantages. The proposed general model reveals the essential nature of software construction to some extent. Software is not merely a set of codes, but should be a combination of knowledge, specification, and codes. Additionally, for simplifying the utilization, this study shows software IP in different views according to the utilization purposes (focuses). Finally, this study puts forward an approach of extracting software IP from existing embedded software assets and validates the effectiveness of this extraction method through practical cases. |
| Key words: embedded system software IP intelligent synthesis knowledge formal model |
|
|
|
|
