Design of static execution time analyzer using partial path

Analyzing execution time in static manner is tedious, due to unbounded external inputs in loops and control flow. Parametric WCET analysis uses parameter to get a user input. It can give formula expressed in the input variables of a program during analysis time. This can help an analyzer to offer more accurate and flexible result. But recently, it grows importance to provide information helping developer more than accuracy of dead-line verification at the static execution time analyzer. There are problems to analyze low performance and to provide useful information about flows. Existing analyzers using low level state of control flow graph offer only execution time and hard to use flow information at worst-case. Thus, in this paper, we present static execution time analyzer using partial path for rapid analyzing of WCET and its flow to serve developers. Our purposed analyzer that uses partial path instead of state of control flow graph requires less calculation and easies to check relations between flows and external inputs those were difficult to analyze before.