欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET（worst-case execution time）分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿.
英文摘要：
Timing behaviors are crucial for real-time systems. In order to weaken or even remove the timing impact of the inserted assertions during testing, a new monitoring schema is proposed, which has little time intrusiveness than the software monitoring and supports to test the system completely. Furthermore, a WCET （worst-case execution time） analysis based on time compensation method is presented, which corrects the recorded time of events based on the accurate execution time analysis of assertions.
同期刊论文项目
同项目期刊论文
期刊信息
位置：