Loading...
Please wait, while we are loading the content...
Similar Documents
Symbolic wcet analysis of programs containing input-dependent branches.
| Content Provider | CiteSeerX |
|---|---|
| Abstract | 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. Key words: parametric worst-case execution time (WCET) analysis; WCET analysis; program analysis; real-time system; software engineering |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Symbolic Wcet Analysis Program Containing Input-dependent Branch Input-data Dependent Branch Wcet Analysis Wcet Estimate Evaluation Program Analysis Software Engineering Parametric Worst-case Execution Time Symbolic Formula Different Input Value Real-time System Symbolic Wcet Analysis Method Different Form Symbolic Wcet Worst-case Execution Time Wcet Estimate |
| Content Type | Text |
| Resource Type | Article |