Menu
Home
Contact us
Stats
Categories
Calendar
Toggle Wiki
Wiki Home
Last Changes
Rankings
List pages
Orphan pages
Sandbox
Print
Toggle Image Galleries
Galleries
Rankings
Toggle Articles
Articles home
List articles
Rankings
Toggle Blogs
List blogs
Rankings
Toggle Forums
List forums
Rankings
Toggle File Galleries
List galleries
Rankings
Toggle Maps
Mapfiles
Toggle Surveys
List surveys
Stats
ITHEA Classification Structure > C. Computer Systems Organization  > C.2 COMPUTER-COMMUNICATION NETWORKS  > C.2.1 Network Architecture and Design 
MATHEMATICAL METHODS FOR ANALYSIS OF SOFTWARE-DEFINED NETWORKS
By: Tkachova Olena, Issam Saad, Mohammed Jamal Salim (4319 reads)
Rating: (1.00/10)

Abstract: Methods and mathematical tools for formalization analysis and verification of SoftwareDefined? Network protocols are suggested in the paper. E-networks apparatus and linear temporal logics are proposed to be used as mathematical tools for modeling and analysis. These mathematical tools can be transparently used to analyze critical requirements and properties of Software-Defined? Networks implementation - OpenFlow? protocol. The suggested methodology is based on the modeling approach and sequence analysis of changes of OpenFlow? protocol elements states. Apparatus of E-networks models the element states of SDN implementation. Such approach allows taking into account the asynchronous nature of complex processes in OpenFlow? protocol and performing stateful inspection. The use of models of E-network allows analyzing such properties as reachability, boundedness, liveliness, find loops and deadlock. The given mathematical method also allows finding difference between specification and designed networks. The method is based on the verification of temporal logic within the context of relationships of satisfaction. Using temporal logic formalisms allows to analysis and verify inconsistent of specification’s requirements. For this purpose formalism was designed that allows checking out the requirements form different specification versions of OpenFlow? protocol.

Keywords: Opеnflow, FlowVisor?, slice, Е-network, temporal logic

ACM Classification Keywords: C.2.1 Network Architecture and Design - Network communications

Link:

MATHEMATICAL METHODS FOR ANALYSIS OF SOFTWARE-DEFINED NETWORKS

Tkachova Olena, Issam Saad, Mohammed Jamal Salim

http://www.foibg.com/ijitk/ijitk-vol09/ijitk09-02-p02.pdf

Print
C.2.1 Network Architecture and Design
article: INTELLIGENT FRAMEWORK FOR RECOMMENDATION OF MOBILE SERVICES TO CONSUMERS · ADAPTIVE ALGORITHM FOR MANAGEMENT BY WEIGHT COEFFICIENTS OF THE TRAFFIC ... · HIERARCHICAL TWO LAYERS CONTROL COMMUTATOR FOR IMPLEMENTATION OF FULLY ... · INFORMATIONAL MODELS OF THE ADVANCED SYSTEMS OF RADIOACCESS TO THE TELECOMMUNICA · РАЗРАБОТКА МОДЕЛИ ПОЛЬЗОВАТЕЛЯ ИНФОРМАЦИОННЫХ СЕТЕЙ КАК ПЛОХОФОРМАЛИЗОВАННОГО... · USER-CENTRIC AND CONTEXT-AWARE ABC&S · MATHEMATICAL METHODS FOR ANALYSIS OF SOFTWARE-DEFINED NETWORKS · Efficiency Interval Determination of a Calculation Procedure for Throughput Boun · РАЗРАБОТКА ИМИТАЦИОННОЙ МОДЕЛИ ДЛЯ ОПТИМИЗАЦИИ ФУНКЦИОНИРОВАНИЯ ПОЛНОСТЬЮ ... · INTERFERENCE MINIMIZATION IN PHYSICAL MODEL OF WIRELESS NETWORKS · AN ESTIMATION OF TIME REQUIRED FOR MODELING OF AN ALGORITHM CALCULATE... · SEMANTIC CONSTRUCTION OF UNIVOCAL LANGUAGE · ИССЛЕДОВАНИЕ ВЕРХНЕЙ ГРАНИЦЫ ПРОПУСКНОЙ СП · CLASS OF ALGORITHMS FOR SYNTHESSIS OF NON-CONFLICT SCHEDULE IN COMMUNICATION ... · АНАЛИЗ ЭФФЕКТИВНОСТИ АЛГОРИТМОВ РЕЗЕРВИРО� · STEPS IN THE DEVELOPMENT OF THE INFORMATION NETWORKS’ USER MODEL AS BADLY ... · COMPUTER SIMULATION OF MIMA ALGORITHM FOR INPUT BUFFERED CROSSBAR SWITCH · PERFORMANCE ANALYSIS OF CALL ADMISSION CONTROL FOR STREAMING TRAFFIC WITH ... · PRIMARY AND SECONDARY EMPIRICAL VALUES IN NETWORK REDIMENSIONING · PERFORMANCE ANALYSIS OF CALL ADMISSION CONTROL FOR STREAMING ... · TRAFFIC OFFERED BEHAVIOUR REGARDING TARGET QOS PARAMETERS ... · DIMENSIONING OF TELECOMMUNICATION NETWORK BASED ON QUALITY ... · THE MATRIX METHOD OF DETERMINING THE FAULT TOLERANCE DEGREE ... ·
Login
[ register | I forgot my password ]
World Clock
Powered by Tikiwiki Powered by PHP Powered by Smarty Powered by ADOdb Made with CSS Powered by RDF powered by The PHP Layers Menu System
RSS Wiki RSS Blogs rss Articles RSS Image Galleries RSS File Galleries RSS Forums RSS Maps rss Calendars
[ Execution time: 0.08 secs ]   [ Memory usage: 7.55MB ]   [ GZIP Disabled ]   [ Server load: 0.42 ]
Powered by Tikiwiki CMS/Groupware