Formal modelling of software defined networking

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

This paper investigates the application of CARMA, a recently developed quantitative process-algebra-based modelling language, to the stochastic modelling of software defined networking (SDN). In SDN, a single controller (or hierarchy of controllers) determines the behaviour of the switches that forward traffic through the network, and it is used in a variety of settings including cloud and data centres. This research is the initial phase of developing a methodology for agile formal modelling of performance and security aspects of SDN, and focusses on the fat-tree network topology. The results demonstrate that the CARMA language and its software tools which include the MultiVeStA statistical model checker provide a good basis for modelling SDN.
Original languageEnglish
Title of host publication14th International Conference on integrated Formal Methods (IFM 2018)
PublisherSpringer, Cham
Number of pages20
ISBN (Electronic)978-3-319-98938-9
ISBN (Print)978-3-319-98937-2
Publication statusE-pub ahead of print - 9 Aug 2018
Event14th International Conference on integrated Formal Methods - Co. Kildare, Ireland
Duration: 5 Sept 20187 Sept 2018

Publication series

NameLecture Notes in Computer Science (LNCS)
PublisherSpringer, Cham
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference14th International Conference on integrated Formal Methods
Abbreviated titleIFM 2018
CityCo. Kildare
Internet address


Dive into the research topics of 'Formal modelling of software defined networking'. Together they form a unique fingerprint.

Cite this