MPSoC可调度性分析的价格时间自动机模型
发布时间:2020-02-04 13:30
【摘要】:多处理器片上系统(MPSoC)是在单一芯片上集成多个处理器的复杂SoC,是多核时代SoC的最新发展方向,保证MPSoC可调度是其设计的重点。针对MPSoC的特性,使用价格时间自动机,对其构建一种可调度性分析模型,并使用模型检测工具UPPAAL中的统计模型检测引擎自动模拟系统,并估算不可调度概率。实例验证结果表明,该模型检测方法降低了分析成本,可以分析传统模型检测方法所不能判定的复杂系统。
【图文】:
MPSoC体系结构图
西北工业大学学报第35卷图2MPSoC任务的价格时间自动机2.4调度管理模块建模调度管理模块的价格时间自动机通过初始化调度管理模块价格时间自动机模板(如图3所示)得到,它根据全局FP策略调度任务。图3MPSoC调度管理模块的价格时间自动机·294·
,
本文编号:2576337
【图文】:
MPSoC体系结构图
西北工业大学学报第35卷图2MPSoC任务的价格时间自动机2.4调度管理模块建模调度管理模块的价格时间自动机通过初始化调度管理模块价格时间自动机模板(如图3所示)得到,它根据全局FP策略调度任务。图3MPSoC调度管理模块的价格时间自动机·294·
,
本文编号:2576337
本文链接:https://www.wllwen.com/kejilunwen/dianzigongchenglunwen/2576337.html