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

徐雄 等: 嵌入式软件 IP 通用模型 1259

此, 基于软件 IP 的方法具有非常好的组合性, 可以提高嵌入式系统的开发效率以及安全性.
(3) 功能的独立性、完整性以及全局变量的使用. CBD 的构件不是功能独立的, 它依赖于外部的其他功能;
DbC 描述的契约没有功能的具体实现, 因此它不是功能完整的. MDD 模型是功能独立的且完整的, 软件 IP 模型借
鉴了 MDD 模型这一优点. 此外, CBD 和 DbC 中没有全局变量的定义, 部分 MDD 模型支持全局变量的使用, 但是
需要在模型中引入表示全局变量的数据模块. 软件 IP 模型本身不包含全局变量的定义, 但是在代码合成阶段支持
使用全局变量对合成的代码进行优化.
然而, 本文提出的理论需要经过实践的检验, 因此, 在本文的基础上, 我们下一步将研究航天控制领域更多的
案例, 并且构建软件 IP 知识库, 为面向嵌入式系统的软件 IP 知识建模奠定实践基础.

致谢 感谢中国科学院软件研究所硕士生杨范芃在软件 IP 形式模型提取方面所做出的重要贡献; 感谢国防科技
大学陈振邦教授及其博士生刘坤林、杜一德在软件 IP 实现提取方面提供的宝贵指导与深入的技术讨论; 感谢北
京交通大学硕士生冯浩杰、熊泽昌在软件 IP 知识模型提取过程中给予的技术支持. 各位同仁的专业见解与协助,
为本研究的顺利开展提供了有力支撑, 在此谨致诚挚谢意.

References
[1] Estefan JA. Survey of model-based systems engineering (MBSE) methodologies. INCOSE MBSE Focus Group, 2007. 1–12.
[2] Karris ST. Introduction to Simulink with Engineering Applications. Fremont: Orchard Publications, 2006.
[3] Ansys Inc. Ansys SCADE suite: Model-based development environment for critical embedded software. 2025. https://www.ansys.com/
products/embedded-software/ansys-scade-suite
[4] SAE International. Architecture analysis & design language (AADL) AS5506C. 2017. https://legacy.sae.org/standards/content/as5506c/
[5] Fritzson P. Principles of Object Oriented Modeling and Simulation with Modelica 3.3: A Cyber-physical Approach. Hoboken: John
Wiley & Sons, 2014. [doi: 10.1002/9781118989166]
[6] McIlroy M. Mass-produced software components. In: Proc. of the 1968 NATO Conf. on Software Engineering. Garmisch: Springer,
1968. 88–98.
[7] Oracle Corporation. Enterprise JavaBeans technology. 2025. https://www.oracle.com/java/technologies/enterprise-javabeans-technology.
html
[8] Object Management Group. The common object request broker: Architecture and specification. Revision 2.5. 2001. https://www.omg.
org/spec/CORBA/2.5/PDF/
[9] Microsoft Corporation. [MS-DCOM]: Distributed component object model (DCOM) remote protocol. 2025. https://learn.microsoft.com/
en-us/openspecs/windows_protocols/ms-dcom/4a893f3d-bd29-48cd-9f43-d9777a4415b0
[10] Benveniste A, Caillaud B, Nickovic D, Passerone R, Raclet JB, Reinkemeier P, Sangiovanni-Vincentelli A, Damm W, Henzinger TA,
Larsen KG. Contracts for system design. Foundations and Trends® in Electronic Design Automation, 2018, 12(2–3): 124–400. [doi: 10.
1561/1000000053]
[11] IEEE. IEEE standard for IP-XACT, standard structure for packaging, integrating, and reusing IP within tool flows. New York: IEEE,
2023. [doi: 10.1109/IEEESTD.2023.10054520]
[12] Intel Corporation. Introduction to Intel® FPGA IP cores: UG-01056. 2020. https://www.intel.com/content/www/us/en/docs/
programmable/683102/20-3/introduction.html
[13] Saleh R, Wilton S, Mirabbasi S, Hu A, Greenstreet M, Lemieux G, Pande PP, Grecu C, Ivanov A. System-on-chip: Reuse and
integration. Proc. of the IEEE, 2006, 94(6): 1050–1069. [doi: 10.1109/JPROC.2006.873611]
[14] Yang MF, Gu B, Duan ZH, Jin Z, Zhan NJ, Dong YW, Tian C, Li G, Dong XG, Li XF. Intelligent program synthesis framework and
key scientific problems for embedded software. Chinese Space Science and Technology, 2022, 42(4): 1–7 (in Chinese with English
abstract). [doi: 10.16708/j.cnki.1000-758X.2022.0046]
[15] Booch G, Jacobson I, Rumbaugh J. The unified modeling language. Unix Review, 1996, 14(13): 5.
[16] Hause M. The SysML modelling language. In: Proc. of the 5th European Systems Engineering Conf. INCOSE, 2006. 1–12.
[17] Neto AC, Sartori F, Piccolo F, Vitelli R, de Tommasi G, Zabeo L, Barbalace A, Fernandes H, Valcarcel DF, Batista AJN. MARTe: A
multiplatform real-time framework. IEEE Trans. on Nuclear Science, 2010, 57(2): 479–486. [doi: 10.1109/TNS.2009.2037815]
[18] MathWorks. Simulink documentation. 2021. https://www.mathworks.com/help/simulink
TM
[19] Modelica Association. Modelica —A unified object-oriented language specification for physical systems modeling: Version 1.4. 2000.
https://modelica.org/documents/ModelicaTutorial14.pdf