| MPSoC可调度性分析的价格时间自动机模型 |
| 汪群博;赵政文;张涛;程胜;朱海涛;李坤; |
| 关键词：MPSoC;价格时间自动机;UPPAAL;可调度性;模型检测 |
| 主要内容：多处理器片上系统(MPSoC)是在单一芯片上集成多个处理器的复杂SoC,是多核时代SoC的最新发展方向,保证MPSoC可调度是其设计的重点。针对MPSoC的特性,使用价格时间自动机,对其构建一种可调度性分析模型,并使用模型检测工具UPPAA |
| 《西北工业大学学报》 2017,35(02):292-297 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号