Abstract:

Based on the generic monotone dataflow framework, abstract interpretation is used to propagate the variable value range information. Based on the resu  lt of the analysis, this paper presents a new method to automatically compute the maximal count of iterations of the loops and to identify the infeasible paths in the loops. This method facilitates the accurate calculation of Worst-Case Execution Time （WCET）.

Key words: real-time system;WCET;value range analysis;abstract interpretation