Skip to content

Latest commit

 

History

History
12 lines (8 loc) · 917 Bytes

README.md

File metadata and controls

12 lines (8 loc) · 917 Bytes
Raw

Visualizing Behavior of Distributed Network Protocols using UPPAAL Simulations

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