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. Oct 30 2018 13.00 - 14.00 Lab Lunch: 30 October 2018 - Vashti Gapin Speaker: Vashti Galpin MF2 level 4
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. Oct 30 2018 13.00 - 14.00 Lab Lunch: 30 October 2018 - Vashti Gapin Speaker: Vashti Galpin MF2 level 4
