[发明专利]一种基于IMCL模型的异构式多平台代码生成方法

权利要求书

1.一种基于IMCL模型的异构式多平台代码生成方法，其特征在于，包括：

采用IMCL语言，对目标系统的功能进行刻画，获得目标系统的功能模型；

采用形式化方法，对所述功能模型进行分解，获得对应所述目标系统中的一个或多个平台的一个或多个平台模型；其中，所述采用形式化方法，对所述功能模型进行分解包括：

采用程序切片方法对所述功能模型进行切片，从而保证所述平台模型在功能上与所述功能模型的对应部分功能的相同；

基于形式化系统依赖图的分解方法完成所述功能模型的分解，从而保证分解后的多个平台模型之间的约束关系与所述功能模型中对应部分功能之间的约束关系的一致；

将所述一个或多个平台模型映射到对应的平台，从而对所述平台模型进行细节补充；

在抽象语法树的基础上，根据所述一个或多个平台的特点，设计对应的转换规则，从而将所述一个或多个平台模型转化为对应的平台代码。

2.根据权利要求1所述的代码生成方法，其特征在于，所述功能模型为由一个或多个子模型组成的群体模型。

3.根据权利要求1所述的代码生成方法，其特征在于，所述采用IMCL语言，对目标系统的功能进行刻画，获得目标系统的功能模型包括：

通过忽略平台的无关性，统一定义资源，抽象出包括通信协议与物理设备的调用功能，从而对所述目标系统功能进行刻画，进而获得目标系统的功能模型。

4.根据权利要求3所述的代码生成方法，其特征在于，所述功能模型包括：

所述目标系统的系统组件、物理设备、运行环境、通信协议、驱动调度以及逻辑功能。

5.根据权利要求1所述的代码生成方法，其特征在于，所述多个平台模型采用统一定义的通讯方式进行通讯。

6.根据权利要求1所述的代码生成方法，其特征在于，所述一个或多个平台模型采用IMCL语言进行描述。

7.根据权利要求1所述的代码生成方法，其特征在于，所述细节补充包括：

对应平台的运行环境、平台间的通信、物理资源和/或物理资源间的关联中的细节进行补充。

8.根据权利要求1所述的代码生成方法，其特征在于，所述抽象语法树为对应一种编程语言的源代码的树状结构。

9.根据权利要求1所述的代码生成方法，其特征在于，所述一个或多个平台包括：ARM平台、PLC平台以及PC平台。