Применение аппарата Е-сетей для решения задач анализа и верификации программно-конфигурируемых сетей
Цифровой репозитарии Национального технического университета "Харьковский политехнический институт" (eNTUKhPIIR)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Применение аппарата Е-сетей для решения задач анализа и верификации программно-конфигурируемых сетей
|
|
Creator |
Ткачева, Е. Б.
Иссам Саад Мохаммед Джамал Салим |
|
Subject |
сетевая инфраструктура
программно-конфигурируемые сети моделирование Е-сеть задача анализа и верификации Software Defined Network SDN problem analysis and verification software-designed networks odeling E-network |
|
Description |
В статье предложены формализмы, позволяющие описывать набор основных свойств программно-конфигурируемых сетей. В рамках задачи анализа и верификации предложен метод, который базируется на модельном подходе и анализе последовательности смены состояний элементов модели сети. В качестве аппарата моделирования предложено использовать аппарат Е-сетей. Проводится анализ таких свойств модели, как достижимость, ограниченность, живость.
In 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. |
|
Date |
2015-11-12T12:29:12Z
2015-11-12T12:29:12Z 2015 |
|
Type |
Article
|
|
Identifier |
Ткачева Е. Б. Применение аппарата Е-сетей для решения задач анализа и верификации программно-конфигурируемых сетей / Е. Б. Ткачева, Иссам Саад, Мохаммед Джамал Салим // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2015. – № 32 (1141). – С. 148-159.
http://repository.kpi.kharkov.ua/handle/KhPI-Press/18131 |
|
Language |
ru
|
|
Publisher |
НТУ "ХПИ"
|
|