Comparison and Analysis of two Symbolic Worst-Case Execution Time Analysis Methods

The result of a traditional real-time WCET(worst-case execution time) analysis method is usually a constant, and is applied everywhere. This causes over-pessimism. If we can replace the constant with an algebraic expression parameterized with some of the subprogram parameters or (and) operation configuration parameters, and later evaluated it using specific parameters in specific environment. This will result in a tighter value. This paper discuses symbolic worst case execution time analysis methods, analyzes the characteristics of symbolic worst case execution time analysis methods, compares and studies two existing symbolic worst case execution time analysis methods, gives future research directions.