基于时间自动机的嵌入式系统调度分析工具

• 作者: 于淼 李允 桂盛霖 罗蕾
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 形式化方法 时间自动机 可调度性 嵌入式实时系统 任务模型
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 290-292
• 分类号: TP311.1
• 字数: 4015字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.03.095

摘要

为验证嵌入式实时系统开发过程中任务集的可调度性,设计并实现一种嵌入式系统调度分析工具.提出通用任务模型,建立任务与事件到达自动机和任务状态自动机的状态关系映射,利用基于模型检测的时间自动机可达性方法判定系统的可调度性.仿真实例结果表明,该工具的分析准确性较高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李允	电子科技大学计算机科学与工程学院	25	207	9.0	13.0
2	罗蕾	电子科技大学计算机科学与工程学院	58	583	14.0	21.0
3	桂盛霖	电子科技大学计算机科学与工程学院	13	85	6.0	9.0
4	于淼	西南交通大学信息科学与技术学院	6	26	3.0	5.0