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

• 作者: 姬孟洛 王怀民 齐治昌
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 参数化最大执行时间WCET分析 WCET分析 程序分析 实时系统 软件工程
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 操作系统
• 页码范围: 628-637
• 页数: 10页
• 分类号: TP311
• 字数: 7293字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王怀民	国防科学技术大学计算机学院	119	3450	29.0	56.0
2	齐治昌	国防科学技术大学计算机学院	38	881	15.0	29.0
3	姬孟洛	国防科学技术大学计算机学院	4	58	4.0	4.0