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

Зараз показано 1 - 2 з 2
  • Зображення мініатюри
    Публікація
    An Analysis of SDN-OpenStack Integration
    (KHARKIV NATIONAL UNIVERSITY OF RADIO ELECTRONICS, 2015) Tkachova, O.; Abdulghafoor Raed Yahya; Mohammed Jamal Salim
    This paper is devoted to analysis of integration of SDN solutions to the OpenStack. Architecture of networking OpenStack module or Neutron and plug-ins for communication with SDN is considered. Different types of SDN controllers also considered in the paper. An experimental model of SDN-OpenStack integration was created according to the solution. Such characteristics of SDN-OpenStack solution as delay, max amount of UDP and TCP flows obtained in the experiment
  • Зображення мініатюри
    Публікація
    Method for OpenFlow Protocol Verification
    (KHARKIV NATIONAL UNIVERSITY OF RADIO ELECTRONICS, 2015) Tkachova, O.; Saad, I.
    This paper is devoted to SDNs verification. The main problems in deployment and maintenance process are analyzed. Methods of formal verification are suggest as way to check correctness and corresponds to the requirement. The modification of Model Checking proposed for verification the main feature of OpenFlow protocol