UPPAAL Model

The UPPAAL tool can be found here, and the model file is here.

CARML Model

The link for the CARMA Plug-in which has full installation instructions is here.

The link to CLI is here.

The source file of the CARMA model can be found here.

For the first graph, the files are those in the format of SDN_sp_*_carma where * is the number of ms between each hop and the MultiVeSta files are SDN_*_1000.quatex where * is the number of ms that there is a shared network resource.

The CARMA files for the second graph are .SDN_4ft_2f_ys_*.carma where * is the number of ms between each hop and SDN_4ft_2f_ns_100.carma which has no path hopping.