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

说明书

本公开实施例提供了一种可调度性模型的建立方法、装置、电子设备及存储介质。可应用于计算机技术领域和金融服务技术领域。该方法包括：确定架构分析与设计语言模型中的模型元素和安全关键操作系统中的系统元素之间的映射关系；根据映射关系生成映射规则表，其中，映射规则表中包括多个映射关系；从映射规则表中记录的架构分析与设计语言模型的模型元素中，确定用于建立可调度性模型所需要的目标模型元素；根据目标模型元素确定用于调度安全关键操作系统的可调度性属性配置信息；利用预设建模方法、映射规则表和可调度性属性配置信息，生成可调度性模型。

技术领域

本公开涉实施例涉及计算机技术领域和金融服务技术领域，更具体地，涉及一种可调度性模型的建立方法、可调度性模型生成装置、电子设备、计算机可读存储介质及计算机程序产品。

背景技术

在航空航天、工业控制、公共交通和金融服务等领域对系统的可调度性、可靠性等有着严格的要求。如果系统功能一旦出错，将会对人员和财产造成较大损失，此类系统一般被称为安全关键系统，安全关键系统中的软件被称为安全关键软件。良好的软件质量能够保证安全关键系统的正常运行，并保持较低的故障率。对于安全关键操作系统来说，由于其工作环境的特殊性，如果出现问题，将会对人员和财产造成不当损失。

在实现本公开构思的过程中，发明人发现相关技术中至少存在如下问题：统一建模语言(Unified Modeling Language，UML)较难描述系统的性能以及可调度性等关键特性。

发明内容

有鉴于此，本公开实施例提供了一种可调度性模型的建立方法、可调度性模型生成装置、电子设备、计算机可读存储介质及计算机程序产品。

本公开实施例的一个方面提供了一种可调度性模型的建立方法，包括：

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

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

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

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

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

根据本公开的实施例，上述可调度性属性配置信息至少包括如下信息的一种：可调度属性信息、派遣类型信息、执行时间信息、处理器信息和存储器信息。

根据本公开的实施例，上述映射规则表中的上述映射关系包括分区映射关系、模块映射关系、端口映射关系、线程映射关系、内存映射关系和模式映射关系；

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

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

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

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

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

根据本公开的实施例，可调度性模型的建立方法还包括：

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