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

来源 :软件学报 | 被引量 : 0次 | 上传用户：simetl1235

【摘要】

：

符号化WCET（worst-case execution time）分析是用符号表达式表示任务的最大执行时间：表达式中包含了参数．通过在运行时刻快速确定表达式值，符号化WCET分析可以更精确地估算WCET．提

【作者】

：

姬孟洛齐治昌王怀民

【机构】

：

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

【出处】

：

软件学报

【发表日期】

：

2006年3期

【关键词】

：

参数化最大执行时间WCET分析 WCET分析程序分析实时系统软件工程 parametric worst-case execution time （WCET

【基金项目】

：

Supported by the National Natural Science Foundation of China under Grant No.60303013 （国家自然科学基金）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

教师实现主导功能的条件

期刊

教师主导功能条件技校

经尿道电切加膀胱粘膜下注射丝裂霉素治疗腺性膀胱炎40例

腺性膀胱炎是一种膀胱粘膜增生性病变。我院2003年5月-2007年1月对40例腺性膀胱炎实行经尿道电切加膀胱粘膜下注射丝裂霉素预防复发，疗效满意，现报告如下。

期刊

腺性膀胱炎粘膜下注射丝裂霉素

垂体微腺瘤的早期诊断与手术治疗

垂体腺瘤是鞍区最常见的肿瘤，〈10mm称垂体微腺瘤。随着MRI的普遍应用和内分泌检测手段的提高，使垂体微腺瘤的早期诊断与治疗成为可能，收集我院2004年1月-2006年11月收治的30例

期刊

垂体微腺瘤早期诊断手术治疗