發(fā)布時間：2020-02-04 13:30

【摘要】：多處理器片上系統(tǒng)(MPSoC)是在單一芯片上集成多個處理器的復(fù)雜SoC,是多核時代SoC的最新發(fā)展方向,保證MPSoC可調(diào)度是其設(shè)計的重點。針對MPSoC的特性,使用價格時間自動機(jī),對其構(gòu)建一種可調(diào)度性分析模型,并使用模型檢測工具UPPAAL中的統(tǒng)計模型檢測引擎自動模擬系統(tǒng),并估算不可調(diào)度概率。實例驗證結(jié)果表明,該模型檢測方法降低了分析成本,可以分析傳統(tǒng)模型檢測方法所不能判定的復(fù)雜系統(tǒng)。
【圖文】：

MPSoC體系結(jié)構(gòu)圖

西北工業(yè)大學(xué)學(xué)報第35卷圖2MPSoC任務(wù)的價格時間自動機(jī)2．4調(diào)度管理模塊建模調(diào)度管理模塊的價格時間自動機(jī)通過初始化調(diào)度管理模塊價格時間自動機(jī)模板(如圖3所示)得到，它根據(jù)全局FP策略調(diào)度任務(wù)。圖3MPSoC調(diào)度管理模塊的價格時間自動機(jī)·294·
，

本文編號：2576337