The ECDAR is a tool for analysis of timed specifications. It is part of the UPPAAL framework. It can downloaded at this address:
http://people.cs.aau.dk/~adavid/ecdar/

This project re-implements some functionalities of ECDAR. It features some translations to transform UPPAAL XML models. Such translations includes.
- parallel composition
- conjunction
- consistency game
- compatibility game
- constant scaling
- robust game
The tool possesses its own engines:
- pytiga for the analysis of timed games, thanks to Peter Bulychev.
- pytigarefinement for alternating timed simulation checking
- pyrobustcegar for robustness analysis

The tool works with the following tools:
- PyUPPAAL: https://launchpad.net/pyuppaal
- DBMPyUPPAAL: https://launchpad.net/dbmpyuppaal. It requires the louismarie branch: tlouismarie/dbmpyuppaal/louismarie. To install DBMPyUPPAAL you need PyDBM: https://launchpad.net/pydbm and the UPPAAL DBM library: http://people.cs.aau.dk/~adavid/UDBM/index.html
- PyPPL : https://launchpad.net/pyppl. This requires the Parma Polyhedra Library: http://bugseng.com/products/ppl

The tool doesn't provide any GUI. Original ECDAR can be used to edit UPPAAL models. A python console can be used to use the tool.