摘要 |
PROBLEM TO BE SOLVED: To provide a parametric execution time analysis apparatus and an analysis method.SOLUTION: Reuse of a software component with a real time property in a different environment is generally difficult because execution time depends on an execution environment such as a processor. A conventional method based on a finite automaton could not handle a program with recursive call. A method in the invention uses mathematical programming to optimize a parameter for satisfying a real-time restriction even in a different execution environment by using a parametric execution time analysis to obtain the execution time of a program in the form of an expression using a parameter for the execution time of each processing and a repetition frequency. Therefore, the method can handle the program including recursion, on the basis of generalized Parikh's theorem. |