作者：李军义 李双 张焱 李仁发嵌入式软件实时性最坏执行时间最小传播算法静态预估分析
摘要：针对现有嵌入式系统最坏执行时间（WCET）的静态分析方法效率低下问题,利用最小传播算法对程序流进行分析,获得程序中每一个基本块的最小树约束,通过象征性循环上界约束对所求函数中的内部循环变量进行再次约束,并结合最小树约束获得程序的WCET表达式。使用静态预估分析方法对每一个基本块的底层指令周期进行绝对估值,将底层指令周期代入WCET表达式计算出程序最终的WCET值。实验结果表明,与基于程序控制流程图的程序执行时间静态分析方法相比,该方法在保证程序分析精度的同时,大幅提高了分析效率。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
