Salim M. Models and methods for ensuring quality of service in virtualized networks

The object of research - the processes of formation and provision of services in virtualized networks. Subject of research - models and methods of providing the necessary level of service quality in virtualized networks. Research methods. The following mathematical methods were used to solve the set tasks: linear and branched temporal logic, in particular, the use of their syntax and semantics during the development of the formalization of the requirements of the specification; the E-network apparatus and the theory of formal grammars during the development of a method for analyzing the distribution of network resources and the correctness of service delivery behavior; formal methods for verifying the compliance of a ready-made NFV solution with specification requirements, such as a symbolic approach and "model validation", in developing a method for determining the equivalence of two output chains, which include NFV implementation models and specification models, respectively; methods for analyzing boundary quality indicators, based on the principles of network computing theory, in developing a method for assessing the quality of service delivery "from end to end" in the NFV infrastructure. Theoretical and practical results: the mathematical apparatus of temporal logic, in particular, extended temporal logic, was further developed; received the further development of the device E-networks as a means of modeling processes at the level of management, and at the level of provision of services in virtualized networks; For the first time, a method for verifying the compliance of a virtualized network implementation with NFV technology support for the requirements of the specification was developed; For the first time a complex of methods of modeling and further analysis of changes in quality indicators in the process of providing services in virtualized networks based on the theory of network computation has been developed.