Lab Lunch: 30 October 2018 - Vashti Gapin

Title: CARMA Networking


CARMA is a process-algebra-style modelling language developed in the EU project QUANTICOL for the quantitative modelling and analysis of collective adaptive systems. In this talk, I will demonstrate how CARMA is a good fit for modelling network structure and performance, focussing on software defined networking (SDN). Results are obtained by simulation as well as statistical model checking using MultiVeStA which is integrated into the CARMA software tool.

Oct 30 2018 -

Lab Lunch: 30 October 2018 - Vashti Gapin

Speaker: Vashti Galpin

MF2 level 4