Ecdar is an abbreviation of Environment for Compositional Design and Analysis of Real Time Systems. This repo contains the source code for the graphical user interface, in order to run queries you will need the j-ecdar and revaal executables.
This repository utilizes the Ecdar-Proto repository for structuring the communication between the GUI and the engines. This dependency is implemented as a submodule which needs to be pulled and updated. If you have not yet cloned the code from this repository (the GUI), you can clone both the GUI and the submodule containing the Proto repository by running the following command:
git clone --recurse-submodules git@github.com:Ecdar/Ecdar-GUI.gitIf you have already cloned this repository, you can clone the Proto submodule by running the following command, from a terminal inside the GUI repository directory:
git submodule update --init --recursiveYou will need a working JVM verion 11 with java FX in order to run the GUI. We suggest downloading from https://www.azul.com/downloads/?version=java-11-lts&package=jdk-fx.
To run the gui use the gradle wrapper script
./gradlew(.bat) run Download the latest version of the engine from:
Unpack and move the downloaded files to the lib folder. You can also configure custom engine locations from the GUI.
  |
 |
|---|
See sample projects in the samples folder.
This project is a hard fork of https://github.com/ulriknyman/H-Uppaal.