ECDAR

Ecdar is an abbreviation of Environment for Compositional Design and Analysis of Real Time Systems. This repo offers the graphical user interface, j-Ecdar engine, and Reveaal engine bundled in a single Zip archive for Linux and Windows. The bundle includes a custom JRE that alleviates the need to install a specific Java version on the target machine.

How to run

First, download the Zip archive and extract it to where you want the project to reside. Then execute the binary (ecdar on Linux or Mac and ecdar.bat on Windows). You are now running ECDAR!

Build process

The folder contained in the zip file was generated using the build script contained in this repository (only tested on Ubuntu 22.04 LTS).

Requirements

The script requires the following:

• A cloned version of the Ecdar-GUI repository
• Compiled versions (both UNIX and Windows) of the j-Ecdar and Reveaal engines placed in the lib directory of the cloned Ecdar-GUI repository
• A copy of the Script contained in this repository

Step 1

Execute the script included in this repository from inside the cloned Ecdar-GUI root directory.

Ex. (bold text represents user input):
~/Documents/gitHub/Ecdar-GUI/$ ./../ECDAR/generate_platform_specific_distributions.sh

Step 2

Provide a version for the generated distributions

Ex. (bold text represents user input):
~/Documents/gitHub/Ecdar-GUI/$ ./../ECDAR/generate_platform_specific_distributions.sh
The version of this release: 2.3.4

Result

This will generate a directory called ecdar-x.y.z in the /home/[USER]/Documents directory, where x.y.z is the version. The directory will contain a versioned directory for each supported operating systems. These directories contain all required dependencies and both the j-Ecdar and Reveaal engines, which can be automatically picked up from the interface as default backends.

Adding a new release

A few things are currently being done when a new release of the system is added to this repository.

1. A version tag is chosen by following the recommended versioning syntax (as described on GitHub when creating a new release)
2. The script included in this repository is executed locally and the chosen version is provided as input
3. Each generated platform specific distribution is zipped individually and uploaded as attachments
4. A short description of the release is added, ideally containing a list of new features and fixes
5. The release is generated
6. The www.ecdar.net download page is updated with a link to the new release and the release description

ℹ️ The webpage can be edited here, at /content/download.md