Вісник № 32

Переглянути

Зараз показуємо 1 - 1 з 1

Применение аппарата Е-сетей для решения задач анализа и верификации программно-конфигурируемых сетей
(НТУ "ХПИ", 2015) Ткачева, Е. Б.; Иссам Саад; Мохаммед Джамал Салим
В статье предложены формализмы, позволяющие описывать набор основных свойств программно-конфигурируемых сетей. В рамках задачи анализа и верификации предложен метод, который базируется на модельном подходе и анализе последовательности смены состояний элементов модели сети. В качестве аппарата моделирования предложено использовать аппарат Е-сетей. Проводится анализ таких свойств модели, как достижимость, ограниченность, живость.