UPPAAL-based software-defined network verification

@article{Podymov2013UPPAALbasedSN,
  title={UPPAAL-based software-defined network verification},
  author={Vladislav Podymov and Uliana Popesko},
  journal={2013 Tools & Methods of Program Analysis},
  year={2013},
  pages={9-14}
}
A lot of efforts were made in the last few years in the area of software-defined networks (SDN) - a special kind of computer networks in which the switching device control is fully centralized. This paper investigates the problems of formal description and verification of SDN as a real-time system. We provide a UML-based description of SDN, using the UML diagram editor Dia. To verify real-time properties of SDN, we use a well-known model-checking tool UPPAAL. The main result of the research is… CONTINUE READING

Similar Papers

Loading similar papers…