包含依赖输入分支程序的符号化wcet分析

符号化wcet(worst-caseexecutiontime)分析是用符号表达式表示任务的最大执行时间:表达式中包含了参数.通过在运行时刻快速确定表达式值,符号化wcet分析可以更精确地估算wcet.提出了一种针对其分支直接依赖于输入数据的程序的符号化wcet分析方法.首先对blieberger方法进行扩充,使得wcet符号表达式能够表达依赖输入分支,然后利用程序的控制依赖图对符号表达式进行化简,从而产生带条件的wcet符号表达式,即不同的条件对应不同的符号表达式.与已有方法不同,符号化wcet公式直接依赖于输入参数,使得运行时的wcet估算更加简单直接.