[发明专利]可调度性模型的建立方法、装置、电子设备及存储介质

权利要求书

1.一种可调度性模型的建立方法，包括：

确定架构分析与设计语言模型中的模型元素和安全关键操作系统中的系统元素之间的映射关系；

根据所述映射关系生成映射规则表，其中，所述映射规则表中包括多个所述映射关系；

从所述映射规则表中记录的所述架构分析与设计语言模型的模型元素中，确定用于建立可调度性模型所需要的目标模型元素；

根据所述目标模型元素确定用于调度所述安全关键操作系统的可调度性属性配置信息；以及

利用预设建模方法、所述映射规则表和所述可调度性属性配置信息，生成所述可调度性模型。

2.根据权利要求1所述的方法，其中，所述可调度性属性配置信息至少包括如下信息的一种：可调度属性信息、派遣类型信息、执行时间信息、处理器信息和存储器信息。

3.根据权利要求2所述的方法，其中，所述映射规则表中的所述映射关系包括分区映射关系、模块映射关系、端口映射关系、线程映射关系、内存映射关系和模式映射关系；

其中，所述利用预设建模方法、所述映射规则表和所述可调度性属性配置信息，生成所述可调度性模型，包括：

利用所述预设建模方法、所述线程映射关系、所述端口映射关系、所述执行时间信息、所述派遣类型信息和所述可调度属性信息，生成软件架构模型；

利用所述预设建模方法、所述模式映射关系和所述端口映射关系，生成数据组件模型；

利用所述预设建模方法、所述模块映射关系、所述分区映射关系、所述内存映射关系、所述存储器信息和所述处理器信息，生成执行平台组件模型；

根据所述软件架构模型、所述数据组件模型和所述执行平台组件模型，生成所述可调度性模型。

4.根据权利要求1所述的方法，还包括：

获取验证分析工具，其中，所述验证分析工具具有对所述可调度性模型的可调度性进行分析的功能；以及

利用所述验证分析工具对所述可调度性模型的可调度性进行分析，得到可调度性分析结果；以及

展示所述可调度性分析结果。

5.根据权利要求1所述的方法，其中：所述系统元素至少包括如下元素中的一种：系统分区元素、系统模块元素、系统端口元素、系统线程元素、系统内存元素和系统模式元素。

6.根据权利要求1所述的方法，其中：所述模型元素至少包括如下元素中的一种：处理器元素、虚拟处理器元素、组件进程元素、组件线程元素、时间数据端口元素、数据端口元素、组件内存元素。

7.一种可调度性模型生成装置，包括：

映射模块，用于确定架构分析与设计语言模型中的模型元素和安全关键操作系统中的系统元素之间的映射关系；

第一生成模块，用于根据所述映射关系生成映射规则表，其中，所述映射规则表中包括多个所述映射关系；

第一确定模块，用于从所述映射规则表中记录的所述架构分析与设计语言模型的模型元素中，确定用于建立可调度性模型所需要的目标模型元素；

第二确定模块，用于根据所述目标模型元素确定用于调度所述安全关键操作系统的可调度性属性配置信息；以及

第二生成模块，用于利用预设建模方法、所述映射规则表和所述可调度性属性配置信息，生成所述可调度性模型。

8.一种电子设备，包括：

一个或多个处理器；

存储器，用于存储一个或多个程序，

其中，当所述一个或多个程序被所述一个或多个处理器执行时，使得所述一个或多个处理器实现权利要求1～6中任一项所述的方法。

9.一种计算机可读存储介质，其上存储有可执行指令，该指令被处理器执行时使处理器实现权利要求1～6中任一项所述的方法。

10.一种计算机程序产品，所述计算机程序产品包括计算机程序，所述计算机程序被处理器执行时用于实现权利要求1～6中任一项所述的方法。