An Automatic WCET Analysis Tool Based on Abstract Interpretation
Meng-Luo Ji · Jisuanji gongcheng · 2006
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.