软件学报

作者：徐雄，马旭，高强，计泽坤，王淑灵，詹博华，詹乃军，李晓锋，顾斌，董晓刚，杨孟飞，刘洋，冀振燕

单位：徐雄，计算机科学国家重点实验室(中国科学院 软件研究所), 北京 10019011,马旭，计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190;中国科学院大学, 北京 10004902,高强，计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190;中国科学院大学, 北京 10004903,计泽坤，计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190;中国科学院大学, 北京 10004904,王淑灵，计算机科学国家重点实验室(中国科学院 软件研究所), 北京 10019005,詹博华，计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190;中国科学院大学, 北京 10004906,詹乃军，计算机科学国家重点实验室(中国科学院 软件研究所), 北京 100190;中国科学院大学, 北京 10004907,李晓锋，北京控制工程研究所, 北京 10019008,顾斌，北京控制工程研究所, 北京 10019009,董晓刚，北京控制工程研究所, 北京 100190010,杨孟飞，中国空间技术研究院, 北京 100094011,刘洋，北京交通大学 软件学院, 北京 100044012,冀振燕，北京交通大学 软件学院, 北京 100044013

关键词：嵌入式系统;软件IP;智能合成;知识;形式模型

基金：国家自然科学基金(62192732, 62192730)

软件IP (intellectual property)是具有知识产权的可复用的软件知识实体, 是软件智能合成的基石. 针对嵌入式系统的关键特性, 提出了面向嵌入式系统的软件IP通用模型, 包括知识模型、形式模型和实现, 并且讨论了它们三者之间的一致性关系. 与目前的主流模型相比, 该方法充分考虑了嵌入式系统的关键特性、系统对环境和平台的假设、软件中间知识的表示和使用、模型组装的正确性, 以及模型与实现之间的关系, 因此具有明显的优势. 提出的嵌入式软件IP通用模型在一定程度上揭示了软件构成的本质, 即软件并非代码的集合, 而是知识、规约和代码的三位一体. 此外, 为了简化软件IP的使用, 根据不同的使用目的(关注点), 将软件IP表示为不同的视图. 最后, 提出从存量嵌入式软件资产提取软件IP的方法, 并且通过实际案例展示了提取方法的有效性和可行性.

来源：2026年第3期

《软件学报》期刊编辑部

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