If you load a UPPAAL model for a distributed network protocol into this application, you can get useful insight of what going on in the protocol over time.
- The topology should be a 2D array named
CONFIG_connected - The parameters that make sense to configure should be prefixed with
CONFIG_ - The variables that makes sense to observe during simulations should be prefixed with
OUTPUT_
This tool is work in progress, developed as part of a master thesis on Aalborg University.
We use the following libraries in our application: ANTLR4, GraphStream, JUnit, GmapsFX. The licenses of the libraries is found in the License directory and must be adhered to in addition to our own.
des103f17