计算机工程
計算機工程
계산궤공정
Computer Engineering
2015年
10期
76-82
,共7页
李军义%李双%张焱%李仁发
李軍義%李雙%張焱%李仁髮
리군의%리쌍%장염%리인발
嵌入式软件%实时性%最坏执行时间%最小传播算法%静态预估分析
嵌入式軟件%實時性%最壞執行時間%最小傳播算法%靜態預估分析
감입식연건%실시성%최배집행시간%최소전파산법%정태예고분석
embedded software%real-time%Worst-case Execution Time (WCET)%Minimum Propagation Algorithm (MPA)%static prediction analysis
针对现有嵌入式系统最坏执行时间(WCET)的静态分析方法效率低下问题,利用最小传播算法对程序流进行分析,获得程序中每一个基本块的最小树约束,通过象征性循环上界约束对所求函数中的内部循环变量进行再次约束,并结合最小树约束获得程序的WCET表达式.使用静态预估分析方法对每一个基本块的底层指令周期进行绝对估值,将底层指令周期代入WCET表达式计算出程序最终的WCET值.实验结果表明,与基于程序控制流程图的程序执行时间静态分析方法相比,该方法在保证程序分析精度的同时,大幅提高了分析效率.
針對現有嵌入式繫統最壞執行時間(WCET)的靜態分析方法效率低下問題,利用最小傳播算法對程序流進行分析,穫得程序中每一箇基本塊的最小樹約束,通過象徵性循環上界約束對所求函數中的內部循環變量進行再次約束,併結閤最小樹約束穫得程序的WCET錶達式.使用靜態預估分析方法對每一箇基本塊的底層指令週期進行絕對估值,將底層指令週期代入WCET錶達式計算齣程序最終的WCET值.實驗結果錶明,與基于程序控製流程圖的程序執行時間靜態分析方法相比,該方法在保證程序分析精度的同時,大幅提高瞭分析效率.
침대현유감입식계통최배집행시간(WCET)적정태분석방법효솔저하문제,이용최소전파산법대정서류진행분석,획득정서중매일개기본괴적최소수약속,통과상정성순배상계약속대소구함수중적내부순배변량진행재차약속,병결합최소수약속획득정서적WCET표체식.사용정태예고분석방법대매일개기본괴적저층지령주기진행절대고치,장저층지령주기대입WCET표체식계산출정서최종적WCET치.실험결과표명,여기우정서공제류정도적정서집행시간정태분석방법상비,해방법재보증정서분석정도적동시,대폭제고료분석효솔.