This Project is my Last work to obtain the degree of Electronic Engineer, this respository has the model in SDL, the testing in TTCN-3 and the Formal Method using IF toolset. All the project is in RTDS.