基于WCET分析的实时系统轨迹获取技术

• 作者: 姬孟洛 王戟 王馨 齐治昌
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 实时系统 测试预言 WCET(worst-case execution time)分析 程序监控
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 2005年中国计算机大会推荐优秀论文
• 页码范围: 1232-1240
• 页数: 9页
• 分类号: TP316
• 字数: 7270字
• 语种: 中文

摘要

时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-case execution time)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科学技术大学计算机学院	44	1257	17.0	35.0
2	齐治昌	国防科学技术大学计算机学院	38	881	15.0	29.0
3	姬孟洛	国防科学技术大学计算机学院	4	58	4.0	4.0
4	王馨	国防科学技术大学计算机学院	2	33	2.0	2.0