%0 Journal Article %T Symbolic WCET Analysis of Programs Containing Input-Dependent Branches
包含依赖输入分支程序的符号化WCET分析 %A JI Meng-Luo %A QI Zhi-Chang %A WANG Huai-Min %A
姬孟洛 %A 齐治昌 %A 王怀民 %J 软件学报 %D 2006 %I %X Symbolic WCET (worst-case execution time) analysis yields symbolic upper bound expressions for tasks that contain parameters. Quickly evaluated at run-time, such expressions can improve the accuracy of WCET estimate. This paper proposes a symbolic WCET analysis method that is especially for the input-data dependent branches. First, the formulas described by Blieberger is expanded, so that they can express the input-data dependent branches. Simplification of the formulas using control-dependent graph yields conditional symbolic expressions that have different forms corresponding to different input value ranges. Different from the existing methods, the symbolic formulas are directly dependent on input-data, so WCET estimate evaluation at run-time is more simple and straightforward. %K parametric worst-case execution time (WCET) analysis %K WCET analysis %K program analysis %K real-time system %K software engineering
参数化最大执行时间WCET分析 %K WCET分析 %K 程序分析 %K 实时系统 %K 软件工程 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=0200F61B4CEF9D90&yid=37904DC365DD7266&vid=BCA2697F357F2001&iid=38B194292C032A66&sid=3EABEBD973E45554&eid=826ED638BDB6F0D0&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=14