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

• 全文链接
• 请求原文

作   者：

姬孟洛;  齐治昌;  王怀民; 

作者机构：

国防科学技术大学计算机学院; 

关键词：

WCET分析;  程序分析;  软件工程;  参数化最大执行时间WCET分析;  实时系统; 

期刊名称：

软件学报

基金项目：

基于构件的高可信系统形式验证研究

i s s n：

1000-9825

年卷期：

2006 年 17 卷 03 期

页   码：

286-295

摘   要：

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