面向嵌入式系统的异构模型转换方法研究

随着嵌入式系统的高速发展，各种特定于技术和应用域的模型大量并存，它们彼此异构难以集成，相应工具无法复用，这为下一代嵌入式系统的发展提出了严峻的挑战。此外，由于嵌入式系统本身固有一些性质，如并发、时态行为等，这些性质会在不同的建模语言中以不同的方式进行捕获和描述。因此异构模型之间的转换必然要解决如何保持此类性质在转换前后的模型中不变的问题。本课题采用逆向思维，从嵌入式系统的固有性质入手，基于元建模技术对相关性质进行面向方面的建模，并结合模型驱动思想构造嵌入式系统异构模型转换框架，采用性质制导的思想构造异构模型之间的转换。同时，在转换框架中将语义映射和语法转换相互隔离，分而治之，以降低转换规则构造难度，并提高转换框架的通用性。最后，选定UML-MARTE等一批嵌入式建模规范及实现平台进行了具体的转换研究。本课题研究工作旨在为有效控制下一代嵌入式系统开发的复杂性提供支持。

随着嵌入式系统的高速发展，各种特定于技术和应用域的模型大量并存，它们彼此异构难以集成，相应工具无法复用，这为下一代嵌入式系统的发展提出了严峻的挑战。 此外，嵌入式系统本身固有一些性质，如并发、时态行为等，这些性质会在不同的建模 语言中以不同的方式进行捕获和描述。因此异构模型之间的转换必然要解决如何保持此类性 质在转换前后的模型中不变的问题。本课题从嵌入式系统的固有性质入手， 基于元建模技术对相关性质进行面向方面的建模，并结合模型驱动思想构造嵌入式系统异构 模型转换框架，采用性质制导的思想构造异构模型之间的转换。同时，在转换框架中将语义 映射和语法转换相互隔离，分而治之，以降低转换规则构造难度，并提高转换框架的通用性。基于本项目的研究成果，在国际会议及期刊上发表了17篇英文学术论文，均为SCI或EI收录。相关的9项研究成果也以专利形式进行了申请，目前正在审理中。此外，所开发的工具获得了4项软件著作权的授权。