发明名称 |
一种基于分布函数的WCET快速估计方法 |
摘要 |
本发明提供了一种基于分布函数的WCET快速估计方法,通过对DSP工程目标代码(out文件)进行反汇编获得反汇编文件F;分析反汇编文件F,获取划分的各个基本块,得到程序的基本块集合B;辨识基本块集合B中各基本块之间的关系,构建程序流图C;计算每个基本块的执行时间T;将基本块执行时间T和基本块执行次数Ts作为权值得到加权的程序流图Cw;分析加权的程序流图Cw,获得总权值最大的路径,将最大的总权值作为程序最坏执行时间WCET。解决了现有技术中需运行程序得到测试样本的弊端和人工干预过多的问题以及传统PERT技术中贝塔分布参数估计方法的不合理性问题。 |
申请公布号 |
CN104572103A |
申请公布日期 |
2015.04.29 |
申请号 |
CN201510009091.X |
申请日期 |
2015.01.08 |
申请人 |
西安空间无线电技术研究所;西安电子科技大学 |
发明人 |
赖晓玲;郭宝龙;高翔;闫允一;王健;张西南 |
分类号 |
G06F9/44(2006.01)I;G06F11/36(2006.01)I |
主分类号 |
G06F9/44(2006.01)I |
代理机构 |
西安智萃知识产权代理有限公司 61221 |
代理人 |
张超 |
主权项 |
一种基于分布函数的WCET快速估计方法,其特征在于,包括以下步骤:1)、读取DSP工程反汇编文件:利用TI的反汇编工具对DSP工程编译得到的目标文件进行反汇编得到该DSP工程的反汇编文件F;2)、获得划分的基本块集合B:根据DSP反汇编文件特点及基本块划分的规则,逐行分析反汇编文件F,得到划分的各个基本块,得到程序的基本块集合B;3)、辨识基本块集合B中各基本块之间的关系,构建程序流图C;4)、计算每个基本块的执行时间T;5)、将基本块执行时间T和基本块执行次数Ts作为权值得到加权的程序流图Cw;6)、分析加权的程序流图Cw,获得总权值最大的路径,将最大的总权值作为程序最坏执行时间WCET。 |
地址 |
710100 陕西省西安市航天基地东长安街504号 |