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

• 作者: 张焱 李仁发 李军义 李双
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 嵌入式软件 实时性 最坏执行时间 最小传播算法 静态预估分析
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 76-82
• 页数: 7页
• 分类号: TP393
• 字数: 5503字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2015.10.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李仁发	湖南大学信息科学与工程学院	468	4582	30.0	44.0
3	李军义	湖南大学信息科学与工程学院	35	264	8.0	15.0
7	李双	湖南大学信息科学与工程学院	5	20	2.0	4.0
9	张焱	湖南大学信息科学与工程学院	8	25	3.0	5.0