Formal modelling of software defined networking

Vashti Galpin

doi:10.1007/978-3-319-98938-9_11

Formal modelling of software defined networking

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	14th International Conference on integrated Formal Methods (IFM 2018)
Publisher	Springer
Pages	172-193
Number of pages	20
ISBN (Electronic)	978-3-319-98938-9
ISBN (Print)	978-3-319-98937-2
DOIs	https://doi.org/10.1007/978-3-319-98938-9_11
Publication status	E-pub ahead of print - 9 Aug 2018
Event	14th International Conference on integrated Formal Methods - Co. Kildare, Ireland Duration: 5 Sept 2018 → 7 Sept 2018 https://ifm2018.cs.nuim.ie/

Publication series

Name	Lecture Notes in Computer Science (LNCS)
Publisher	Springer, Cham
Volume	11023
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	14th International Conference on integrated Formal Methods
Abbreviated title	IFM 2018
Country/Territory	Ireland
City	Co. Kildare
Period	5/09/18 → 7/09/18
Internet address	https://ifm2018.cs.nuim.ie/

Access to Document

10.1007/978-3-319-98938-9_11

Formal modelling of software defined networkingAccepted author manuscript, 310 KB

https://link.springer.com/chapter/10.1007/978-3-319-98938-9_11

Robustness-as-evolvability: building a dynamic control plane with Software-Defined Networking
Aspinall, D. (Principal Investigator) & Lee, M. (Co-investigator)
EPSRC
1/04/15 → 31/03/18
Project: Research

Cite this

@inproceedings{33a890e5b0b24b7385661ca21b51acdf,

title = "Formal modelling of software defined networking",

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.",

author = "Vashti Galpin",

year = "2018",

month = aug,

day = "9",

doi = "10.1007/978-3-319-98938-9_11",

language = "English",

isbn = "978-3-319-98937-2",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "172--193",

booktitle = "14th International Conference on integrated Formal Methods (IFM 2018)",

address = "United Kingdom",

note = "14th International Conference on integrated Formal Methods, IFM 2018 ; Conference date: 05-09-2018 Through 07-09-2018",

url = "https://ifm2018.cs.nuim.ie/",

}

TY - GEN

T1 - Formal modelling of software defined networking

AU - Galpin, Vashti

PY - 2018/8/9

Y1 - 2018/8/9

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-98938-9_11

DO - 10.1007/978-3-319-98938-9_11

M3 - Conference contribution

SN - 978-3-319-98937-2

T3 - Lecture Notes in Computer Science (LNCS)

SP - 172

EP - 193

BT - 14th International Conference on integrated Formal Methods (IFM 2018)

PB - Springer

T2 - 14th International Conference on integrated Formal Methods

Y2 - 5 September 2018 through 7 September 2018

ER -

Formal modelling of software defined networking

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

Robustness-as-evolvability: building a dynamic control plane with Software-Defined Networking

Cite this