Validation Method for Telecommunications Protocol with Internal Events.

This paper proposes a new method for efficient validation of the telecommunication protocol, containing the internal events, including those for the timer and resource management. The proposed validation method first converts the protocol containing the internal event into the equivalent protocol not containing the internal event. Then the original protocol is validated by applying the already-proposed validation method for the protocol not containing the internal event to the result of conversion. This paper discusses mainly the principle and the algorithm of the protocol equivalent conversion. The features of the proposed validation method are that the protocol is validated with the minimum processes and signals, which reduces the processing time and the memory capacity needed in the validation and also improves the efficiency. [ABSTRACT FROM AUTHOR]