Mathematical Tools for SDN Formalisation and Verification

被引：0
|
作者：
Abu-Jassar, Amer Tahseen Salameh [1 ]
机构：
[1] Irbed Natl Univ, Irbid, Jordan
来源：
2015 SECOND INTERNATIONAL SCIENTIFIC-PRACTICAL CONFERENCE PROBLEMS OF INFOCOMMUNICATIONS SCIENCE AND TECHNOLOGY (PIC S&T 2015) | 2015年
关键词：
SDN architecture; OpenFlow protocol; switch OpenFlow; verification; Algebra of communicating shared resources;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper is devoted to analysis of existing components and architecture of Software-Defined Networks. The main features of SDN and components interaction are considered. Based on the results we propose formalisms that define rules coordination and interaction of the main components and controls SDN architecture. The methodology and mathematical tools for formalization and verifying OpenFlow protocol are suggested. This methods can be transparently used to analyze critical requirements and properties prior to system implementation. For analysis and verification of OpenFlow protocol was designed formalism that allows checking out the requirements form different specification versions of OpenFlow protocol.
引用
收藏
页码：35 / 38
页数：4
相关论文
共 50 条
  • [1] Mathematical Tools and Methods for Analysis of SDN: A Comprehensive Survey
    Girish, L.
    Rao, Sridhar K. N.
    [J]. PROCEEDINGS OF THE 2016 2ND INTERNATIONAL CONFERENCE ON CONTEMPORARY COMPUTING AND INFORMATICS (IC3I), 2016, : 718 - 724
  • [2] Experiences in the formalisation and verification of medical protocols
    Marcos, M
    Balser, M
    ten Teije, A
    van Harmelen, F
    Duelli, C
    [J]. ARTIFICIAL INTELLIGENCE IN MEDICINE, PROCEEDINGS, 2003, 2780 : 132 - 141
  • [3] Modular Formalisation and Verification of STV Algorithms
    Ghale, Milad K.
    Gore, Rajeev
    Pattinson, Dirk
    Tiwari, Mukesh
    [J]. ELECTRONIC VOTING, 2018, 11143 : 51 - 66
  • [4] Automated Formalisation for Verification of Diagrammatic Models
    Williams, James R.
    Polack, Fiona A. C.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 263 : 211 - 226
  • [5] Formalisation and verification in a type-theoretic framework
    Luo, Zhaohui
    [J]. ELECTRONICS AND COMMUNICATIONS: PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON ELECTRONICS, HARDWARE, WIRELESS AND OPTICAL COMMUNICATIONS (EHAC '08), 2008, : 16 - 16
  • [6] Analysis of meeting protocols by formalisation, simulation, and verification
    Jonker C.M.
    Schut M.C.
    Treur J.
    Yolum P.
    [J]. Computational and Mathematical Organization Theory, 2007, 13 (3) : 283 - 314
  • [7] Engineering Software for Modular Formalisation and Verification of STV Algorithms
    Ghale, Milad K.
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2018, 2018, 11232 : 459 - 463
  • [8] Formalisation and verification of programmable logic controllers timers in Coq
    Wan, H.
    Chen, G.
    Song, X.
    Gu, M.
    [J]. IET SOFTWARE, 2011, 5 (01) : 32 - 42
  • [9] A Formalisation of Java']Java Strings for Program Specification and Verification
    Bubel, Richard
    Hahnle, Reiner
    Geilmann, Ulrich
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 90 - +
  • [10] Formalisation and implementation of an algorithm for bytecode verification of @NonNull types
    Male, Chris
    Pearce, David J.
    Potanin, Alex
    Dymnikov, Constantine
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (07) : 587 - 608
12345