HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Compositional model checking of an SDN platform

Abdul Majith 1 Ocan Sankur 1 Hervé Marchand 1 Thai Dinh 2
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Software-Defined Network (SDN) technology provides the possibility to turn the network infrastructure into a dynamic programmable fabric capable of meeting the application needs in real-time. Thanks to the independence of the control plane from the data plane, the control entity, generally called as controller, has also the flexibility to implement proprietary complex algorithms. Within such a dynamic and complex environment, this document advocates for applying formal verification methods and more precisely composition model checking to ensure the correct behavior of the overall SDN system at design phase. To illustrate this purpose, it proposes to build different comprehensive formal models of a typical SDN platform selected here as a study object. Thorough performance results related to each model are provided and discussed. Thanks to such formal verifications, it is possible to pinpoint issues such as the one regarding network isolation within a complex SDN architecture. Although dealing with formal methods, this document attempts to strike a balance between theory, experimental work and network architecture discussion.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03229532
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Wednesday, May 19, 2021 - 11:30:05 AM
Last modification on : Monday, April 4, 2022 - 9:28:24 AM
Long-term archiving on: : Friday, August 20, 2021 - 6:11:24 PM

File

drcn2021.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03229532, version 1

Citation

Abdul Majith, Ocan Sankur, Hervé Marchand, Thai Dinh. Compositional model checking of an SDN platform. DRCN 2021 - 17th International Conference on the Design of Reliable Communication Networks, Apr 2021, Milan, Italy. pp.1-8. ⟨hal-03229532⟩

Share

Metrics

Record views

29

Files downloads

71