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

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

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

本文編號(hào)：2576337