Edinburgh Research Explorer

Formal modelling of software defined networking

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

https://link.springer.com/chapter/10.1007/978-3-319-98938-9_11
Original languageEnglish
Title of host publication14th International Conference on integrated Formal Methods (IFM 2018)
PublisherSpringer, Cham
Pages172-193
Number of pages20
ISBN (Electronic)978-3-319-98938-9
ISBN (Print)978-3-319-98937-2
DOIs
Publication statusE-pub ahead of print - 9 Aug 2018
Event14th International Conference on integrated Formal Methods - Co. Kildare, Ireland
Duration: 5 Sep 20187 Sep 2018
https://ifm2018.cs.nuim.ie/

Conference

Conference14th International Conference on integrated Formal Methods
Abbreviated titleIFM 2018
CountryIreland
CityCo. Kildare
Period5/09/187/09/18
Internet address

Abstract

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.

Event

14th International Conference on integrated Formal Methods

5/09/187/09/18

Co. Kildare, Ireland

Event: Conference

Download statistics

No data available

ID: 64031981