Korovchenko O. Models and methods for analysis and verification telecommunications protocols based on the E-networks and formal grammars

Object - the design and analysis of telecommunication protocols. The purpose - improving the efficiency of methods of analysis and verification of telecommunication protocols through the use of e-networks and formal grammars, thus reducing development time and implementation of protocols. Methods - the theory of temporal logic, the theory of formal grammars, verification, synthesis models, mathematical modeling, simulation and field experiment. Results -developed a method of formalizing the specification of telecommunication protocols, which reveals the contradictions in the protocol specification, developed a method for the analysis of telecommunication protocols, which allows to solve the problem verify the behavior and evaluate the effectiveness of resource allocation, developed a method for verifying communications protocols, which allow you to correct implementation of the protocol specification. Introduced - in the implementation of the project "Development of programs optimizing the traffic routing", the company "Telesens" project and STP, which aims to develop a system of balancing traffic in a segment of the telecommunications network, the company "CiEc Consulting." Sphere of application - multiservice telecommunication systems