全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  2006 

Symbolic WCET Analysis of Programs Containing Input-Dependent Branches
包含依赖输入分支程序的符号化WCET分析

Keywords: parametric worst-case execution time (WCET) analysis,WCET analysis,program analysis,real-time system,software engineering
参数化最大执行时间WCET分析
,WCET分析,程序分析,实时系统,软件工程

Full-Text   Cite this paper   Add to My Lib

Abstract:

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.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133