首页    期刊浏览 2024年12月01日 星期日
登录注册

文章基本信息

  • 标题:Safe measurement-based WCET estimation
  • 作者:Jean-Fran{\c{c}}ois Deverge ; Isabelle Puaut
  • 期刊名称:OASIcs : OpenAccess Series in Informatics
  • 电子版ISSN:2190-6807
  • 出版年度:2007
  • 卷号:1
  • DOI:10.4230/OASIcs.WCET.2005.808
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:This paper explores the issues to be addressed to provide safe worst-case execution time (WCET) estimation methods based on measurements. We suggest to use structural testing for the exhaustive exploration of paths in a program. Since test data generation is in general too complex to be used in practice for most real-size programs, we propose to generate test data for program segments only, using program clustering. Moreover, to be able to combine execution time of program segments and to obtain the WCET of the whole program, we advocate the use of compiler techniques to reduce (ideally eliminate) the timing variability of program segments and to make the time of program segments independent from one another.
  • 关键词:Real-Time; Timing Analysis; Test-Case generation; Processor Architecture
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有