Modeling and Verifying SDN with Multiple Controllers
| Title | Modeling and Verifying SDN with Multiple Controllers |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Xiao, Lili, Xiang, Shuangqing, Zhuy, Huibiao |
| Conference Name | Proceedings of the 33rd Annual ACM Symposium on Applied Computing |
| Publisher | ACM |
| Conference Location | New York, NY, USA |
| ISBN Number | 978-1-4503-5191-1 |
| Keywords | Collaboration, composability, compositionality, CSP, hyperflow, Modeling, policy-based governance, privacy, protocol verification, pubcrawl, SDN, verification |
| Abstract | SDN (Software Defined Network) with multiple controllers draws more attention for the increasing scale of the network. The architecture can handle what SDN with single controller is not able to address. In order to understand what this architecture can accomplish and face precisely, we analyze it with formal methods. In this paper, we apply CSP (Communicating Sequential Processes) to model the routing service of SDN under HyperFlow architecture based on OpenFlow protocol. By using model checker PAT (Process Analysis Toolkit), we verify that the models satisfy three properties, covering deadlock freeness, consistency and fault tolerance. |
| URL | https://dl.acm.org/citation.cfm?doid=3167132.3167381 |
| DOI | 10.1145/3167132.3167381 |
| Citation Key | xiao_modeling_2018 |