当前位置:主页 > 科技论文 > 电子信息论文 >

MPSoC可调度性分析的价格时间自动机模型

发布时间:2020-02-04 13:30
【摘要】:多处理器片上系统(MPSoC)是在单一芯片上集成多个处理器的复杂SoC,是多核时代SoC的最新发展方向,保证MPSoC可调度是其设计的重点。针对MPSoC的特性,使用价格时间自动机,对其构建一种可调度性分析模型,并使用模型检测工具UPPAAL中的统计模型检测引擎自动模拟系统,并估算不可调度概率。实例验证结果表明,该模型检测方法降低了分析成本,可以分析传统模型检测方法所不能判定的复杂系统。
【图文】:

MPSoC可调度性分析的价格时间自动机模型


MPSoC体系结构图

调度管理,模块,全局,策略


西北工业大学学报第35卷图2MPSoC任务的价格时间自动机2.4调度管理模块建模调度管理模块的价格时间自动机通过初始化调度管理模块价格时间自动机模板(如图3所示)得到,它根据全局FP策略调度任务。图3MPSoC调度管理模块的价格时间自动机·294·


本文编号:2576337

资料下载
论文发表

本文链接:https://www.wllwen.com/kejilunwen/dianzigongchenglunwen/2576337.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户1b08e***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com