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

姬孟洛; 齐治昌; 王怀民

首页> 中文期刊> 《软件学报》 >包含依赖输入分支程序的符号化WCET分析

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《软件学报》 |2006年第3期|628-637|共10页
作者
姬孟洛; 齐治昌; 王怀民;
展开▼
作者单位

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

湖南;

长沙;

410073;

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

湖南;

长沙;

410073;

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

湖南;

长沙;

410073;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
参数化最大执行时间WCET分析; WCET分析; 程序分析; 实时系统; 软件工程;

相似文献

中文文献
外文文献
专利

1. 实时控制系统程序模式的WCET自动分析方法 [J] . 侯小静 ,姬孟洛 ,黄辰林 . 计算机工程 . 2017,第008期
2. 一种实时Java程序的WCET分析新方法研究 [J] . 吴国伟 ,李张 . 微计算机信息 . 2009,第012期
3. 基于抽象解释自动导出针对WCET分析的程序流信息的方法 [J] . 姬孟洛 ,齐治昌 . 计算机工程与科学 . 2006,第012期
4. 实时系统程序最差情况执行时间(WCET)的分析 [J] . 姬孟洛 ,齐治昌 . 计算机科学 . 2006,第010期
5. WCET分析中面向对象程序多态性问题的解决方法 [J] . 姬孟洛 ,李书浩 ,秦杰 . 计算机科学 . 2006,第011期
6. 基于语义包含的模糊函数依赖 [C] . 毛宇光 ,顾红芳 ,朱梧槚 . 第十五届全国数据库学术会议 . 1998
7. 实时程序WCET分析模型与算法 [A] . 江华 . 2008

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

摘要

著录项

相似文献

相关主题

期刊订阅