基于MPA与静态预估的最坏执行时间分析方法

摘要：

针对现有嵌入式系统最坏执行时间(WCET)的静态分析方法效率低下问题,利用最小传播算法对程序流进行分析,获得程序中每一个基本块的最小树约束,通过象征性循环上界约束对所求函数中的内部循环变量进行再次约束,并结合最小树约束获得程序的WCET表达式.使用静态预估分析方法对每一个基本块的底层指令周期进行绝对估值,将底层指令周期代入WCET表达式计算出程序最终的WCET值.实验结果表明,与基于程序控制流程图的程序执行时间静态分析方法相比,该方法在保证程序分析精度的同时,大幅提高了分析效率.

关键词：嵌入式软件、实时性、最坏执行时间、最小传播算法、静态预估分析

所属期刊栏目：41

分类号：TP393(计算技术、计算机技术)

资助基金：广东省产学研合作重大专项基金资助项目2012-391

在线出版日期：2015-12-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：76-82