| 基于WCET分析的实时系统轨迹获取技术 |
| |
| 作者姓名： | 王馨 姬孟洛 王戟 齐治昌 |
| |
| 作者单位： | 国防科学技术大学,计算机学院,湖南,长沙,410073;国防科学技术大学,计算机学院,湖南,长沙,410073;国防科学技术大学,计算机学院,湖南,长沙,410073;国防科学技术大学,计算机学院,湖南,长沙,410073 |
| |
| 基金项目： | 中国科学院资助项目;国家科技攻关项目;新世纪优秀人才支持计划 |
| |
| 摘 要： | 时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-case execution time)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿.
|
| 关 键 词： | 实时系统 测试预言 WCET(worst-case execution time)分析 程序监控 |
| 收稿时间： | 2005-06-15 |
| 修稿时间： | 2005-12-16 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|
