%0 Journal Article
%T 包含依赖输入分支程序的符号化wcet分析
%A 姬孟洛？
%A 齐治昌？
%A 王怀民？
%J 软件学报
%P 628-637
%D 2006
%X 符号化wcet(worst-caseexecutiontime)分析是用符号表达式表示任务的最大执行时间:表达式中包含了参数.通过在运行时刻快速确定表达式值,符号化wcet分析可以更精确地估算wcet.提出了一种针对其分支直接依赖于输入数据的程序的符号化wcet分析方法.首先对blieberger方法进行扩充,使得wcet符号表达式能够表达依赖输入分支,然后利用程序的控制依赖图对符号表达式进行化简,从而产生带条件的wcet符号表达式,即不同的条件对应不同的符号表达式.与已有方法不同,符号化wcet公式直接依赖于输入参数,使得运行时的wcet估算更加简单直接.
%K 参数化最大执行时间wcet分析
%K wcet分析
%K 程序分析
%K 实时系统
%K 软件工程
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20060331&flag=1