Применение аппарата Е-сетей для решения задач анализа и верификации программно-конфигурируемых сетей

dc.contributor.authorТкачева, Е. Б.ru
dc.contributor.authorИссам Саадru
dc.contributor.authorМохаммед Джамал Салимru
dc.date.accessioned2015-11-12T12:29:12Z
dc.date.available2015-11-12T12:29:12Z
dc.date.issued2015
dc.description.abstractВ статье предложены формализмы, позволяющие описывать набор основных свойств программно-конфигурируемых сетей. В рамках задачи анализа и верификации предложен метод, который базируется на модельном подходе и анализе последовательности смены состояний элементов модели сети. В качестве аппарата моделирования предложено использовать аппарат Е-сетей. Проводится анализ таких свойств модели, как достижимость, ограниченность, живость.ru
dc.description.abstractIn the article formalism allowing to describe a set of basic properties of software-configurable network. As part of the tasks of analysis and verification method is proposed, which is based on the modeling approach and sequence analysis of changing states of the elements of the network model. As an apparatus simulation is proposed to use the E-machine networks. The analysis of the model properties as accessibility, limited, liveliness.en
dc.identifier.citationТкачева Е. Б. Применение аппарата Е-сетей для решения задач анализа и верификации программно-конфигурируемых сетей / Е. Б. Ткачева, Иссам Саад, Мохаммед Джамал Салим // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2015. – № 32 (1141). – С. 148-159.ru
dc.identifier.urihttps://repository.kpi.kharkov.ua/handle/KhPI-Press/18131
dc.language.isoru
dc.publisherНТУ "ХПИ"ru
dc.subjectсетевая инфраструктураru
dc.subjectпрограммно-конфигурируемые сетиru
dc.subjectмоделированиеru
dc.subjectЕ-сетьru
dc.subjectзадача анализа и верификацииru
dc.subjectSoftware Defined Networken
dc.subjectSDNen
dc.subjectproblem analysis and verificationen
dc.subjectsoftware-designed networksen
dc.subjectodelingen
dc.subjectE-networken
dc.titleПрименение аппарата Е-сетей для решения задач анализа и верификации программно-конфигурируемых сетейru
dc.title.alternativeUsing the apparatus of E-networks for solving problems of analysis and verification of software-designed networksen
dc.typeArticleen

Файли

Контейнер файлів

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
vestnik_HPI_2015_32_Tkacheva_Primenenie_apparata.pdf
Розмір:
450.78 KB
Формат:
Adobe Portable Document Format

Ліцензійна угода

Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
11.21 KB
Формат:
Item-specific license agreed upon to submission
Опис:

Колекції