Lab Lunch: 30 October 2018 - Vashti Gapin

Title: CARMA Networking

Abstract:

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.