基于模型检测的多处理器实时系统可调度性自动化分析

• 作者: 杜伊
• 来源期刊: 现代计算机：中旬刊
• 学科: 工学
• 关键词: 模型检测技术 多处理器实时系统可调度性 自动化 可视化
• 年，卷（期）: 2017,（1）
• 页码范围: 20-24
• 页数: 5页
• 分类号: TP393

摘要

近年来,模型检测技术获得快速的发展,已有学者将模型检测技术用于多处理器实时系统可调度性分析。但如果对每个实际系统都手工建立模型进行可调度性验证,过程繁琐且模型不可重复利用。针对此,开发一个工具用于自动完成可调度性检测,并可视化显示结果。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜伊	四川大学计算机学院	6	4	2.0	2.0