基于WCET分析的实时系统轨迹获取技术
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

Supported by the National Natural Science Foundation of China under Grant Nos.60233020, 90104007, 60303013 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2005AA113130 (国家高技术研究发展计划(863)); the Program for New Century Excellent Talents in University (新世纪优秀人才支持计划)


Trace Acquirement Technology of Real-Time Systems Based on WCET Analysis
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    Abstract:

    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.

    参考文献
    相似文献
    引证文献
引用本文

王馨,姬孟洛,王戟,齐治昌.基于WCET分析的实时系统轨迹获取技术.软件学报,2006,17(5):1232-1240

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2005-06-15
  • 最后修改日期:2005-12-16
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号