Перегляд за автором "Tkachova, O. B."

Зараз показано 1 - 4 з 4
  • Зображення мініатюри
    Публікація
    Analysis of the effectiveness of the load balancing mechanisms in Software-Defined Networking
    (ХНУРЭ, 2016) Tkachova, O. B.; Abdulghafoor Raed Yahya; Hassan Mohamed Muhi-Aldeen
    The paper is devoted to analysis of load balancing mechanisms in Software-Defined Networking. Software-Defined Networking has a lot of benefits, however the use of classical traffic engineering principles for traffic management in Software-Defined Network presents a problem. Analysis of the effectiveness of management mechanisms, and in particular, algorithms for network load balancing that enable to take into account the centralised structure and heterogeneous nature of traffic in software-defined networks is proposed.
  • Зображення мініатюри
    Публікація
    Application of the theory of formal grammars and the E-nets tools for analysis of correctness of network resources distribution in the NFV infrastructure
    (ХНУРЭ, 2016) Duravkin, E. V.; Tkachova, O. B.; Mohammed Jamal Salim
    The work is devoted to the development of new methods for the analysis of the correctness of resource allocation in networks with the NFV support. An overview of functional and non-functional requirements for the NFV infrastructure and methods of their verification is presented. As a consequence of the analysis it is proposed to use the E-networks tools for modeling processes of providing services. It is suggested to use the theory of formal grammars as a tool of analysis of the network resources allocation. The algorithm of constructing chains of derivation of the language of R-type for the analyzed model of the E-network is generated and tested
  • Зображення мініатюри
    Публікація
    Methods for contradictions detection in OpenFlow protocol specification
    (ХНУРЭ, 2015) Tkachova, O. B.; Abdulghafoor Raed Yahya
    Methods of contradictions detectin in the requirements of the OpenFlow protocol specification are offered: the method of successive comparison of formalism requirements and the method of construction of the reachability tree of protocol states graph. The method of sequential detection and collation of all specification formalisms that containe the statement being verified makes it possible to solve effectively a number of narrowly focused tasks. The method for checking the reachability of the graph of states corresponding to the requirements of the specification, which makes it possible to identify all the multiple contradictions within the specification or its fragment.
  • Зображення мініатюри
    Публікація
    Patterns for reliable Web-services
    (Проблеми телекомунікацій, 2012) Amer Tahseen Salameh Abu-Jassar; Tkachova, O. B.
    This paper is devoted to developing an approach to ensure the reliability of Web-services in SOA which based on the use of special design patterns. Proposed patterns provide reliable delivery of messages and patterns that allow estimate the current level of reliability.