[发明专利]制程变异下基于UPPAAL‑SMC的MPSoC任务调度建模与评估方法

摘要

本发明提出了一种制程变异下基于UPPAAL‑SMC的MPSoC任务调度建模与评估方法，包括以下步骤根据任务调度策略，为任务集生成任务分配与调度实例；在考虑制程变异的前提下，对任务、PE和功耗进行建模，形成任务模型、PE模型和功耗模型，并进行后台配置，将任务分配与调度实例用调度列表和分支裁剪法进行模型转换；通过随机性模拟实现约束查询，并通过UPPAAL‑SMC生成统计数据，得出任务分配与调度实例的性能产出；对比同一MPSoC架构或不同MPSoC架构下不同的任务调度策略生成的不同任务分配与调度实例的性能产出，评估任务调度策略，确定表现更优的MPSoC架构。MPSoC的设计者们可以借助本发明进行决策，在TAS策略与MPSoC的架构之间进行选择，以获得最佳的组合。

主权项

一种制程变异下基于UPPAAL‑SMC的MPSoC任务调度建模与评估方法，其特征在于，包括以下步骤:步骤一：根据任务调度策略，为任务集生成任务分配与调度实例；步骤二：在考虑制程变异的前提下，对任务、PE和功耗进行建模，形成任务模型、PE模型和功耗模型，并进行后台配置，将所述任务分配与调度实例用调度列表和分支裁剪法进行模型转换；步骤三：通过随机性模拟实现约束查询，并通过UPPAAL‑SMC生成统计数据，得出所述任务分配与调度实例的性能产出；步骤四：对比同一MPSoC架构或不同MPSoC架构下不同的所述任务调度策略生成的不同所述任务分配与调度实例的所述性能产出，评估所述任务调度策略，确定表现更优的所述MPSoC架构；其中，所述UPPAAL‑SMC为静态模型检验UPPAAL，所述PE为处理单元；其中，所述MPSoC任务调度建模与评估方法由两部分构成：前台模型和后台配置；前台模型包括了对任务、PE和功耗的建模；后台配置包括了所述MPSoC任务调度建模与评估方法接收的配置设定参数，以及对任务分配与调度应用背景的描述；后台配置控制所有结构性、逻辑性的信息，当UPPAAL‑SMC对所述MPSoC任务调度建模与评估方法进行初始化时，会首先读取配置部分，并将配置应用到任务分配与调度实例中，再执行约束查询。