作者:汪群博; 赵政文; 张涛; 程胜; 朱海涛; 李...mpsoc价格时间自动机uppaal可调度性模型检测
摘要:多处理器片上系统(MPSo C)是在单一芯片上集成多个处理器的复杂So C,是多核时代So C的最新发展方向,保证MPSo C可调度是其设计的重点。针对MPSo C的特性,使用价格时间自动机,对其构建一种可调度性分析模型,并使用模型检测工具UPPAAL中的统计模型检测引擎自动模拟系统,并估算不可调度概率。实例验证结果表明,该模型检测方法降低了分析成本,可以分析传统模型检测方法所不能判定的复杂系统。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社