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

• 作者: 张涛 朱海涛 李坤 汪群博 程胜 赵政文
• 来源期刊: 西北工业大学学报
• 学科: 工学
• 关键词: MPSoC 价格时间自动机 UPPAAL 可调度性 模型检测
• 年，卷（期）: 2017,（2）
• 页码范围: 292-297
• 页数: 6页
• 分类号: TP316.2
• 字数: 3185字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张涛	西北工业大学软件与微电子学院	60	290	8.0	14.0
2	赵政文	西北工业大学软件与微电子学院	53	377	10.0	18.0
3	李坤	西北工业大学软件与微电子学院	14	25	4.0	4.0
4	汪群博	西北工业大学软件与微电子学院	2	1	1.0	1.0
5	程胜		1	1	1.0	1.0
6	朱海涛		1	1	1.0	1.0