主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
姬孟洛,齐治昌,王怀民.包含依赖输入分支程序的符号化WCET分析.软件学报,2006,17(3):628-637
包含依赖输入分支程序的符号化WCET分析
Symbolic WCET Analysis of Programs Containing Input-Dependent Branches
投稿时间:2004-07-01  修订日期:2005-08-29
DOI:
中文关键词:  参数化最大执行时间WCET分析  WCET分析  程序分析  实时系统  软件工程
英文关键词:parametric worst-case execution time (WCET) analysis  WCET analysis  program analysis  real-time system  software engineering
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60303013(国家自然科学基金)
作者单位
姬孟洛 国防科学技术大学计算机学院,湖南,长沙,410073 
齐治昌 国防科学技术大学计算机学院,湖南,长沙,410073 
王怀民 国防科学技术大学计算机学院,湖南,长沙,410073 
摘要点击次数: 3056
全文下载次数: 2959
中文摘要:
      符号化WCET(worst-case execution time)分析是用符号表达式表示任务的最大执行时间:表达式中包含了参数.通过在运行时刻快速确定表达式值,符号化WCET分析可以更精确地估算WCET.提出了一种针对其分支直接依赖于输入数据的程序的符号化WCET分析方法.首先对Blieberger方法进行扩充,使得WCET符号表达式能够表达依赖输入分支,然后利用程序的控制依赖图对符号表达式进行化简,从而产生带条件的WCET符号表达式,即不同的条件对应不同的符号表达式.与已有方法不同,符号化WCET公式直接依赖于输入参数,使得运行时的WCET估算更加简单直接.
英文摘要:
      Symbolic WCET (worst-case execution time) analysis yields symbolic upper bound expressions for tasks that contain parameters. Quickly evaluated at run-time, such expressions can improve the accuracy of WCET estimate. This paper proposes a symbolic WCET analysis method that is especially for the input-data dependent branches. First, the formulas described by Blieberger is expanded, so that they can express the input-data dependent branches. Simplification of the formulas using control-dependent graph yields conditional symbolic expressions that have different forms corresponding to different input value ranges. Different from the existing methods, the symbolic formulas are directly dependent on input-data, so WCET estimate evaluation at run-time is more simple and straightforward.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利