节点文献

一种基于抽象解释的WCET自动分析工具

An Automatic WCET Analysis Tool Based on Abstract Interpretation

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 JI Mengluo~1 LI Jun~2 WANG Xin~1 QI Zhichang~1 1.School of Computer Science,National University of Defense Technology,Changsha 410073; 2.Beijing Institute of Trace and Telecommunication Technology,Beijing 100094

【机构】国防科学技术大学计算机科学学院；北京跟踪与通信技术研究所；国防科学技术大学计算机科学学院长沙 410073；北京 100094；长沙 410073；

【摘要】利用基于抽象解释的变量值范围传播技术,提出了一种自动分析高级语言程序流信息的方法；并在白盒测试工具NPCA的基础上利用该方法实现了WCET分析工具NPCA-WCET。更多还原

【Abstract】 This paper presents a worst-case execution time(WCET)analysis method where its automatic program flow analysis method is based on value range propagation method supported by abstract interpretation.The WCET analysis method is for modem RISC processor including pipelining and caching.Based on this method,the paper implements a WCET analysis tool——NPCA-WCET.更多还原

【关键词】实时程序； WCET分析工具；抽象解释；
【Key words】 Real-time programs； Worst-case execution time(WCET)analysis tool； Abstract interpretation；

【基金】国家自然科学基金(60303013)

【文献出处】计算机工程 ,Computer Engineering , 编辑部邮箱 ,2006年14期

【分类号】TP311.1
【被引频次】27
【下载频次】176

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献