Projects per year
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 | |
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 |
Fingerprint
Dive into the research topics of 'Formal modelling of software defined networking'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Robustness-as-evolvability: building a dynamic control plane with Software-Defined Networking
Aspinall, D. (Principal Investigator) & Lee, M. (Co-investigator)
1/04/15 → 31/03/18
Project: Research